fipaos.parser.sl
Class ASCII_CharStream


public final class ASCII_CharStream

An implementation of interface CharStream, where the stream is assumed to
contain only ASCII characters (without unicode processing).


Field Summary
 (package private) intavailable
           
 intbufpos
           
 (package private) intbufsize
           
 final static booleanstaticFlag
           
 (package private) inttokenBegin
           

Constructor Summary
ASCII_CharStream(java.io.Reader dstream, int startline, int startcolumn, int buffersize)
           
ASCII_CharStream(java.io.Reader dstream, int startline, int startcolumn)
           
ASCII_CharStream(java.io.InputStream dstream, int startline, int startcolumn, int buffersize)
           
ASCII_CharStream(java.io.InputStream dstream, int startline, int startcolumn)
           

Method Summary
 voidadjustBeginLineColumn(int newLine, int newCol)
          Method to adjust line and column numbers for the start of a token.
 final voidbackup(int amount)
           
 final charBeginToken()
           
 voidDone()
           
 final intgetBeginColumn()
           
 final intgetBeginLine()
           
 final intgetEndColumn()
           
 final intgetEndLine()
           
 final StringGetImage()
           
 final char[]GetSuffix(int len)
           
 final charreadChar()
           
 voidReInit(java.io.Reader dstream, int startline, int startcolumn, int buffersize)
           
 voidReInit(java.io.Reader dstream, int startline, int startcolumn)
           
 voidReInit(java.io.InputStream dstream, int startline, int startcolumn, int buffersize)
           
 voidReInit(java.io.InputStream dstream, int startline, int startcolumn)
           

Field Detail

available

int available

bufpos

public int bufpos

bufsize

int bufsize

staticFlag

public final static boolean staticFlag

tokenBegin

int tokenBegin
Constructor Detail

ASCII_CharStream

public ASCII_CharStream(java.io.Reader dstream, int startline, int startcolumn, int buffersize)

ASCII_CharStream

public ASCII_CharStream(java.io.Reader dstream, int startline, int startcolumn)

ASCII_CharStream

public ASCII_CharStream(java.io.InputStream dstream, int startline, int startcolumn, int buffersize)

ASCII_CharStream

public ASCII_CharStream(java.io.InputStream dstream, int startline, int startcolumn)
Method Detail

adjustBeginLineColumn

public void adjustBeginLineColumn(int newLine, int newCol)
Method to adjust line and column numbers for the start of a token.

backup

public final void backup(int amount)

BeginToken

public final char BeginToken()
throws java.io.IOException

Done

public void Done()

getBeginColumn

public final int getBeginColumn()

getBeginLine

public final int getBeginLine()

getEndColumn

public final int getEndColumn()

getEndLine

public final int getEndLine()

GetImage

public final String GetImage()

GetSuffix

public final char[] GetSuffix(int len)

readChar

public final char readChar()
throws java.io.IOException

ReInit

public void ReInit(java.io.Reader dstream, int startline, int startcolumn, int buffersize)

ReInit

public void ReInit(java.io.Reader dstream, int startline, int startcolumn)

ReInit

public void ReInit(java.io.InputStream dstream, int startline, int startcolumn, int buffersize)

ReInit

public void ReInit(java.io.InputStream dstream, int startline, int startcolumn)

Association Links

to Class java.io.Reader