public class HtmlCharStream extends java.lang.Object implements CharStream
| Modifier and Type | Field and Description |
|---|---|
protected boolean |
_lineEndCR |
protected boolean |
_lineEndCRLF |
protected boolean |
_lineEndLF |
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 boolean |
prevCharIsCR |
protected boolean |
prevCharIsLF |
static boolean |
staticFlag |
| Constructor and Description |
|---|
HtmlCharStream(java.io.InputStream dstream,
int startline,
int startcolumn,
int buffersize,
java.lang.String charset) |
HtmlCharStream(java.io.InputStream dstream,
int startline,
int startcolumn,
java.lang.String charset) |
HtmlCharStream(java.io.InputStream dstream,
java.lang.String charset) |
HtmlCharStream(java.io.Reader dstream) |
HtmlCharStream(java.io.Reader dstream,
int startline,
int startcolumn) |
HtmlCharStream(java.io.Reader dstream,
int startline,
int startcolumn,
int buffersize) |
| Modifier and Type | Method and Description |
|---|---|
void |
adjustBeginLineColumn(int newLine,
int newCol)
Method to adjust line and column numbers for the start of a token.
|
void |
backup(int amount)
Backs up the input stream by amount steps.
|
char |
BeginToken()
Returns the next character that marks the beginning of the next token.
|
void |
Done()
The lexer calls this function to indicate that it is done with the stream
and hence implementations can free any resources held by this class.
|
protected void |
ExpandBuff(boolean wrapAround) |
protected void |
FillBuff() |
int |
getBeginColumn()
Returns the column number of the first character for current token (being
matched after the last call to BeginTOken).
|
int |
getBeginLine()
Returns the line number of the first character for current token (being
matched after the last call to BeginTOken).
|
int |
getColumn()
Deprecated.
|
int |
getEndColumn()
Returns the column number of the last character for current token (being
matched after the last call to BeginTOken).
|
int |
getEndLine()
Returns the line number of the last character for current token (being
matched after the last call to BeginTOken).
|
java.lang.String |
GetImage()
Returns a string made up of characters from the marked token beginning
to the current buffer position.
|
java.lang.String |
getKindOfLineEnd()
Retrieve the kind of end of line.
|
int |
getLine()
Deprecated.
|
char[] |
GetSuffix(int len)
Returns an array of characters that make up the suffix of length 'len' for
the currently matched token.
|
char |
readChar()
Returns the next character from the selected input.
|
void |
ReInit(java.io.InputStream dstream) |
void |
ReInit(java.io.InputStream dstream,
int startline,
int startcolumn) |
void |
ReInit(java.io.InputStream dstream,
int startline,
int startcolumn,
int buffersize) |
void |
ReInit(java.io.Reader dstream) |
void |
ReInit(java.io.Reader dstream,
int startline,
int startcolumn) |
void |
ReInit(java.io.Reader dstream,
int startline,
int startcolumn,
int buffersize) |
protected void |
UpdateLineColumn(char c) |
public static final boolean staticFlag
public int bufpos
protected int[] bufline
protected int[] bufcolumn
protected int column
protected int line
protected boolean prevCharIsCR
protected boolean prevCharIsLF
protected boolean _lineEndCR
protected boolean _lineEndLF
protected boolean _lineEndCRLF
protected java.io.Reader inputStream
protected char[] buffer
protected int maxNextCharInd
protected int inBuf
public HtmlCharStream(java.io.Reader dstream,
int startline,
int startcolumn,
int buffersize)
public HtmlCharStream(java.io.Reader dstream,
int startline,
int startcolumn)
public HtmlCharStream(java.io.Reader dstream)
public HtmlCharStream(java.io.InputStream dstream,
int startline,
int startcolumn,
int buffersize,
java.lang.String charset)
throws java.io.UnsupportedEncodingException
java.io.UnsupportedEncodingExceptionpublic HtmlCharStream(java.io.InputStream dstream,
int startline,
int startcolumn,
java.lang.String charset)
throws java.io.UnsupportedEncodingException
java.io.UnsupportedEncodingExceptionpublic HtmlCharStream(java.io.InputStream dstream,
java.lang.String charset)
throws java.io.UnsupportedEncodingException
java.io.UnsupportedEncodingExceptionprotected void ExpandBuff(boolean wrapAround)
protected void FillBuff()
throws java.io.IOException
java.io.IOExceptionpublic char BeginToken()
throws java.io.IOException
CharStreamBeginToken in interface CharStreamjava.io.IOExceptionprotected void UpdateLineColumn(char c)
public char readChar()
throws java.io.IOException
CharStreamreadChar in interface CharStreamjava.io.IOExceptionpublic int getColumn()
CharStreamgetColumn in interface CharStreamgetEndColumn()public int getLine()
CharStreamgetLine in interface CharStreamgetEndLine()public int getEndColumn()
CharStreamgetEndColumn in interface CharStreampublic int getEndLine()
CharStreamgetEndLine in interface CharStreampublic int getBeginColumn()
CharStreamgetBeginColumn in interface CharStreampublic int getBeginLine()
CharStreamgetBeginLine in interface CharStreampublic void backup(int amount)
CharStreambackup in interface CharStreampublic void ReInit(java.io.Reader dstream,
int startline,
int startcolumn,
int buffersize)
public void ReInit(java.io.Reader dstream,
int startline,
int startcolumn)
public void ReInit(java.io.Reader dstream)
public void ReInit(java.io.InputStream dstream,
int startline,
int startcolumn,
int buffersize)
public void ReInit(java.io.InputStream dstream)
public void ReInit(java.io.InputStream dstream,
int startline,
int startcolumn)
public java.lang.String GetImage()
CharStreamGetImage in interface CharStreampublic char[] GetSuffix(int len)
CharStreamGetSuffix in interface CharStreampublic void Done()
CharStreamDone in interface CharStreampublic void adjustBeginLineColumn(int newLine,
int newCol)
public java.lang.String getKindOfLineEnd()