bsh

Class JavaCharStream

java.lang.Object

bsh.JavaCharStream

public class JavaCharStream
extends java.lang.Object

The implementation (but not declared as such) of the interface CharStream generated by Javacc/java (by JavaCodeGenerator.java & JavaTemplates.java with java/JavaCharStream.template) where the stream is assumed to contain only ASCII characters with java-like Unicode escape processing.

Field Summary

Fields

Modifier and Type	Field and Description
protected int[]	bufcolumn
protected char[]	buffer
protected int[]	bufline
int	bufpos
protected int	column
protected int	inBuf
protected java.io.Reader	inputStream
protected int	line
protected int	maxNextCharInd
protected char[]	nextCharBuf
protected int	nextCharInd
protected boolean	prevCharIsCR
protected boolean	prevCharIsLF
static boolean	staticFlag Whether parser is static.
protected int	tabSize

Constructor Summary

Constructors

Constructor and Description
JavaCharStream(java.io.InputStream dstream) Constructor on InputStream.
JavaCharStream(java.io.InputStream dstream, int startline, int startcolumn) Constructor on InputStream.
JavaCharStream(java.io.InputStream dstream, int startline, int startcolumn, int buffersize) Constructor on InputStream.
JavaCharStream(java.io.InputStream dstream, java.lang.String encoding) Constructor on InputStream.
JavaCharStream(java.io.InputStream dstream, java.lang.String encoding, int startline, int startcolumn) Constructor on InputStream.
JavaCharStream(java.io.InputStream dstream, java.lang.String encoding, int startline, int startcolumn, int buffersize) Constructor on InputStream.
JavaCharStream(java.io.Reader dstream) Constructor on Reader.
JavaCharStream(java.io.Reader dstream, int startline, int startcolumn) Constructor on Reader.
JavaCharStream(java.io.Reader dstream, int startline, int startcolumn, int buffersize) Constructor on Reader.

Method Summary

Modifier and Type	Method and Description
void	adjustBeginLineColumn(int newLine, int newCol) Adjust line and column numbers for the start of a token.
protected void	AdjustBuffSize()
void	backup(int amount) Backup a number of characters.
char	BeginToken() Get starting character for token.
void	Done() Set buffers back to null when finished.
protected void	ExpandBuff(boolean wrapAround)
protected void	FillBuff()
int	getBeginColumn() Get the token beginning character column number.
int	getBeginLine() Get the token beginning character line number.
int	getEndColumn() Get the token ending character column number.
int	getEndLine() Get the token ending character line number.
java.lang.String	GetImage() Get the token image.
char[]	GetSuffix(int len) Get the suffix.
int	getTabSize()
protected char	ReadByte()
char	readChar() Read a character.
void	ReInit(java.io.InputStream dstream) Reinitialise on InputStream.
void	ReInit(java.io.InputStream dstream, int startline, int startcolumn) Reinitialise on InputStream.
void	ReInit(java.io.InputStream dstream, int startline, int startcolumn, int buffersize) Reinitialise on InputStream.
void	ReInit(java.io.InputStream dstream, java.lang.String encoding) Reinitialise on InputStream.
void	ReInit(java.io.InputStream dstream, java.lang.String encoding, int startline, int startcolumn) Reinitialise on InputStream.
void	ReInit(java.io.InputStream dstream, java.lang.String encoding, int startline, int startcolumn, int buffersize) Reinitialise on InputStream.
void	ReInit(java.io.Reader dstream) Reinitialise on Reader.
void	ReInit(java.io.Reader dstream, int startline, int startcolumn) Reinitialise on Reader.
void	ReInit(java.io.Reader dstream, int startline, int startcolumn, int buffersize) Reinitialise on Reader.
void	setTabSize(int i)
protected void	UpdateLineColumn(char c)

Methods inherited from class java.lang.Object

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

Field Detail

staticFlag

public static final boolean staticFlag

Whether parser is static.

See Also:

Constant Field Values

inputStream

protected java.io.Reader inputStream

bufpos

public int bufpos

buffer

protected char[] buffer

maxNextCharInd

protected int maxNextCharInd

inBuf

protected int inBuf

nextCharBuf

protected char[] nextCharBuf

nextCharInd

protected int nextCharInd

bufline

protected int[] bufline

bufcolumn

protected int[] bufcolumn

line

protected int line

column

protected int column

prevCharIsCR

protected boolean prevCharIsCR

prevCharIsLF

protected boolean prevCharIsLF

tabSize

protected int tabSize

Constructor Detail

JavaCharStream

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

Constructor on Reader.

JavaCharStream

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

Constructor on Reader.

JavaCharStream

public JavaCharStream(java.io.Reader dstream)

Constructor on Reader.

JavaCharStream

public JavaCharStream(java.io.InputStream dstream,
                      java.lang.String encoding,
                      int startline,
                      int startcolumn,
                      int buffersize)
               throws java.io.UnsupportedEncodingException

Constructor on InputStream.

Parameters:

dstream - - the underlying data source

encoding - - the character encoding of the data stream

startline - - line number of the first character of the stream, mostly for error messages

startcolumn - - column number of the first character of the stream

buffersize - - size of the buffer

Throws:

java.io.UnsupportedEncodingException - if encoding is invalid or unsupported

JavaCharStream

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

Constructor on InputStream.

Parameters:

dstream - - the underlying data source

startline - - line number of the first character of the stream, mostly for error messages

startcolumn - - column number of the first character of the stream

buffersize - - size of the buffer

JavaCharStream

public JavaCharStream(java.io.InputStream dstream,
                      java.lang.String encoding,
                      int startline,
                      int startcolumn)
               throws java.io.UnsupportedEncodingException

Constructor on InputStream.

Parameters:

dstream - - the underlying data source

encoding - - the character encoding of the data stream

startline - - line number of the first character of the stream, mostly for error messages

startcolumn - - column number of the first character of the stream

Throws:

java.io.UnsupportedEncodingException - if encoding is invalid or unsupported

JavaCharStream

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

Constructor on InputStream.

Parameters:

dstream - - the underlying data source

startline - - line number of the first character of the stream, mostly for error messages

startcolumn - - column number of the first character of the stream

JavaCharStream

public JavaCharStream(java.io.InputStream dstream,
                      java.lang.String encoding)
               throws java.io.UnsupportedEncodingException

Constructor on InputStream.

Parameters:

dstream - - the underlying data source

encoding - - the character encoding of the data stream

Throws:

java.io.UnsupportedEncodingException - if encoding is invalid or unsupported

JavaCharStream

public JavaCharStream(java.io.InputStream dstream)

Constructor on InputStream.

Parameters:

dstream - - the underlying data source

Method Detail

BeginToken

public char BeginToken()
                throws java.io.IOException

Get starting character for token.

Throws:

java.io.IOException

readChar

public char readChar()
              throws java.io.IOException

Read a character.

Throws:

java.io.IOException

AdjustBuffSize

protected void AdjustBuffSize()

ExpandBuff

protected void ExpandBuff(boolean wrapAround)

ReadByte

protected char ReadByte()
                 throws java.io.IOException

Throws:

java.io.IOException

FillBuff

protected void FillBuff()
                 throws java.io.IOException

Throws:

java.io.IOException

UpdateLineColumn

protected void UpdateLineColumn(char c)

backup

public void backup(int amount)

Backup a number of characters.

Done

public void Done()

Set buffers back to null when finished.

GetImage

public java.lang.String GetImage()

Get the token image.

Returns:

the token image

GetSuffix

public char[] GetSuffix(int len)

Get the suffix.

Parameters:

len - - the length of the array to return.

Returns:

the suffix

ReInit

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

Reinitialise on Reader.

ReInit

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

Reinitialise on Reader.

ReInit

public void ReInit(java.io.Reader dstream)

Reinitialise on Reader.

ReInit

public void ReInit(java.io.InputStream dstream,
                   java.lang.String encoding,
                   int startline,
                   int startcolumn,
                   int buffersize)
            throws java.io.UnsupportedEncodingException

Reinitialise on InputStream.

Parameters:

dstream - - the underlying data source

encoding - - the character encoding of the data stream

startline - - line number of the first character of the stream, mostly for error messages

startcolumn - - column number of the first character of the stream

buffersize - - size of the buffer

Throws:

java.io.UnsupportedEncodingException - if encoding is invalid or unsupported

ReInit

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

Reinitialise on InputStream.

Parameters:

dstream - - the underlying data source

startline - - line number of the first character of the stream, mostly for error messages

startcolumn - - column number of the first character of the stream

buffersize - - size of the buffer

ReInit

public void ReInit(java.io.InputStream dstream,
                   java.lang.String encoding,
                   int startline,
                   int startcolumn)
            throws java.io.UnsupportedEncodingException

Reinitialise on InputStream.

Parameters:

dstream - - the underlying data source

encoding - - the character encoding of the data stream

startline - - line number of the first character of the stream, mostly for error messages

startcolumn - - column number of the first character of the stream

Throws:

java.io.UnsupportedEncodingException - if encoding is invalid or unsupported

ReInit

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

Reinitialise on InputStream.

Parameters:

dstream - - the underlying data source

startline - - line number of the first character of the stream, mostly for error messages

startcolumn - - column number of the first character of the stream

ReInit

public void ReInit(java.io.InputStream dstream,
                   java.lang.String encoding)
            throws java.io.UnsupportedEncodingException

Reinitialise on InputStream.

Parameters:

dstream - - the underlying data source

encoding - - the character encoding of the data stream

Throws:

java.io.UnsupportedEncodingException - if encoding is invalid or unsupported

ReInit

public void ReInit(java.io.InputStream dstream)

Reinitialise on InputStream.

Parameters:

dstream - - the underlying data source

getBeginLine

public int getBeginLine()

Get the token beginning character line number.

getBeginColumn

public int getBeginColumn()

Get the token beginning character column number.

getEndLine

public int getEndLine()

Get the token ending character line number.

getEndColumn

public int getEndColumn()

Get the token ending character column number.

adjustBeginLineColumn

public void adjustBeginLineColumn(int newLine,
                                  int newCol)

Adjust line and column numbers for the start of a token.

Parameters:

newLine - - the new line number.

newCol - - the new column number.

getTabSize

public int getTabSize()

setTabSize

public void setTabSize(int i)