mark.core.text
Class NonwhiteScanner

java.lang.Object
  |
  +--mark.core.text.Scanner
        |
        +--mark.core.text.NonwhiteScanner

All Implemented Interfaces:

NonwhiteScannerConstants

public class NonwhiteScanner

extends Scanner

implements NonwhiteScannerConstants

Field Summary

Token	jj_nt
Token	token
NonwhiteScannerTokenManager	token_source

Fields inherited from interface mark.core.text.NonwhiteScannerConstants

DEFAULT, EOF, tokenImage, tWord

Constructor Summary

NonwhiteScanner(java.io.InputStream stream)

NonwhiteScanner(NonwhiteScannerTokenManager tm)

NonwhiteScanner(java.io.Reader stream)

Method Summary

void	disable_tracing()
void	enable_tracing()
ParseException	generateParseException()
Token	getNextToken()
Token	getToken(int index)
void	ReInit(java.io.InputStream stream)
void	ReInit(NonwhiteScannerTokenManager tm)
void	ReInit(java.io.Reader stream)

Methods inherited from class mark.core.text.Scanner

forName, nextToken, nextTokenString, pushBack, readTokens

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

token_source

public NonwhiteScannerTokenManager token_source

token

public Token token

jj_nt

public Token jj_nt

Constructor Detail

NonwhiteScanner

public NonwhiteScanner(java.io.InputStream stream)

NonwhiteScanner

public NonwhiteScanner(java.io.Reader stream)

NonwhiteScanner

public NonwhiteScanner(NonwhiteScannerTokenManager tm)

Method Detail

ReInit

public void ReInit(java.io.InputStream stream)

ReInit

public void ReInit(java.io.Reader stream)

ReInit

public void ReInit(NonwhiteScannerTokenManager tm)

getNextToken

public final Token getNextToken()

Specified by:

getNextToken in class Scanner

getToken

public final Token getToken(int index)

generateParseException

public final ParseException generateParseException()

enable_tracing

public final void enable_tracing()

disable_tracing

public final void disable_tracing()