Package net.sf.tweety.lp.asp.parser
Class SimpleCharStream
- java.lang.Object
-
- net.sf.tweety.lp.asp.parser.SimpleCharStream
-
public class SimpleCharStream extends java.lang.Object
An implementation of interface CharStream, where the stream is assumed to contain only ASCII characters (without unicode processing).
-
-
Field Summary
Fields Modifier and Type Field Description (package private) int
available
protected int[]
bufcolumn
protected char[]
buffer
protected int[]
bufline
int
bufpos
Position in buffer.(package private) int
bufsize
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
Whether parser is static.protected int
tabSize
(package private) int
tokenBegin
-
Constructor Summary
Constructors Constructor Description SimpleCharStream(java.io.InputStream dstream)
SimpleCharStream(java.io.InputStream dstream, int startline, int startcolumn)
SimpleCharStream(java.io.InputStream dstream, int startline, int startcolumn, int buffersize)
SimpleCharStream(java.io.InputStream dstream, java.lang.String encoding)
SimpleCharStream(java.io.InputStream dstream, java.lang.String encoding, int startline, int startcolumn)
SimpleCharStream(java.io.InputStream dstream, java.lang.String encoding, int startline, int startcolumn, int buffersize)
SimpleCharStream(java.io.Reader dstream)
SimpleCharStream(java.io.Reader dstream, int startline, int startcolumn)
SimpleCharStream(java.io.Reader dstream, int startline, int startcolumn, int buffersize)
-
Method Summary
Modifier and Type Method Description void
adjustBeginLineColumn(int newLine, int newCol)
void
backup(int amount)
char
BeginToken()
void
Done()
Reset buffer when finished.protected void
ExpandBuff(boolean wrapAround)
protected void
FillBuff()
int
getBeginColumn()
int
getBeginLine()
int
getColumn()
Deprecated.int
getEndColumn()
int
getEndLine()
java.lang.String
GetImage()
int
getLine()
Deprecated.char[]
GetSuffix(int len)
protected int
getTabSize(int i)
char
readChar()
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.InputStream dstream, java.lang.String encoding)
void
ReInit(java.io.InputStream dstream, java.lang.String encoding, int startline, int startcolumn)
void
ReInit(java.io.InputStream dstream, java.lang.String encoding, 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
setTabSize(int i)
protected void
UpdateLineColumn(char c)
-
-
-
Field Detail
-
staticFlag
public static final boolean staticFlag
Whether parser is static.- See Also:
- Constant Field Values
-
bufsize
int bufsize
-
available
int available
-
tokenBegin
int tokenBegin
-
bufpos
public int bufpos
Position in buffer.
-
bufline
protected int[] bufline
-
bufcolumn
protected int[] bufcolumn
-
column
protected int column
-
line
protected int line
-
prevCharIsCR
protected boolean prevCharIsCR
-
prevCharIsLF
protected boolean prevCharIsLF
-
inputStream
protected java.io.Reader inputStream
-
buffer
protected char[] buffer
-
maxNextCharInd
protected int maxNextCharInd
-
inBuf
protected int inBuf
-
tabSize
protected int tabSize
-
-
Constructor Detail
-
SimpleCharStream
public SimpleCharStream(java.io.Reader dstream, int startline, int startcolumn, int buffersize)
-
SimpleCharStream
public SimpleCharStream(java.io.Reader dstream, int startline, int startcolumn)
-
SimpleCharStream
public SimpleCharStream(java.io.Reader dstream)
-
SimpleCharStream
public SimpleCharStream(java.io.InputStream dstream, java.lang.String encoding, int startline, int startcolumn, int buffersize) throws java.io.UnsupportedEncodingException
- Throws:
java.io.UnsupportedEncodingException
-
SimpleCharStream
public SimpleCharStream(java.io.InputStream dstream, int startline, int startcolumn, int buffersize)
-
SimpleCharStream
public SimpleCharStream(java.io.InputStream dstream, java.lang.String encoding, int startline, int startcolumn) throws java.io.UnsupportedEncodingException
- Throws:
java.io.UnsupportedEncodingException
-
SimpleCharStream
public SimpleCharStream(java.io.InputStream dstream, int startline, int startcolumn)
-
SimpleCharStream
public SimpleCharStream(java.io.InputStream dstream, java.lang.String encoding) throws java.io.UnsupportedEncodingException
- Throws:
java.io.UnsupportedEncodingException
-
SimpleCharStream
public SimpleCharStream(java.io.InputStream dstream)
-
-
Method Detail
-
setTabSize
protected void setTabSize(int i)
-
getTabSize
protected int getTabSize(int i)
-
ExpandBuff
protected void ExpandBuff(boolean wrapAround)
-
FillBuff
protected void FillBuff() throws java.io.IOException
- Throws:
java.io.IOException
-
BeginToken
public char BeginToken() throws java.io.IOException
- Throws:
java.io.IOException
-
UpdateLineColumn
protected void UpdateLineColumn(char c)
-
readChar
public char readChar() throws java.io.IOException
- Throws:
java.io.IOException
-
getColumn
@Deprecated public int getColumn()
Deprecated.
-
getLine
@Deprecated public int getLine()
Deprecated.
-
getEndColumn
public int getEndColumn()
-
getEndLine
public int getEndLine()
-
getBeginColumn
public int getBeginColumn()
-
getBeginLine
public int getBeginLine()
-
backup
public void backup(int amount)
-
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.Reader dstream)
-
ReInit
public void ReInit(java.io.InputStream dstream, java.lang.String encoding, int startline, int startcolumn, int buffersize) throws java.io.UnsupportedEncodingException
- Throws:
java.io.UnsupportedEncodingException
-
ReInit
public void ReInit(java.io.InputStream dstream, int startline, int startcolumn, int buffersize)
-
ReInit
public void ReInit(java.io.InputStream dstream, java.lang.String encoding) throws java.io.UnsupportedEncodingException
- Throws:
java.io.UnsupportedEncodingException
-
ReInit
public void ReInit(java.io.InputStream dstream)
-
ReInit
public void ReInit(java.io.InputStream dstream, java.lang.String encoding, int startline, int startcolumn) throws java.io.UnsupportedEncodingException
- Throws:
java.io.UnsupportedEncodingException
-
ReInit
public void ReInit(java.io.InputStream dstream, int startline, int startcolumn)
-
GetImage
public java.lang.String GetImage()
-
GetSuffix
public char[] GetSuffix(int len)
-
Done
public void Done()
Reset buffer when finished.
-
adjustBeginLineColumn
public void adjustBeginLineColumn(int newLine, int newCol)
-
-