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 int
bufpos
Position in buffer.static boolean
staticFlag
Whether parser is static.
-
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.int
getBeginColumn()
int
getBeginLine()
int
getColumn()
Deprecated.int
getEndColumn()
int
getEndLine()
java.lang.String
GetImage()
int
getLine()
Deprecated.char[]
GetSuffix(int len)
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)
-
-
-
Field Detail
-
staticFlag
public static final boolean staticFlag
Whether parser is static.- See Also:
- Constant Field Values
-
bufpos
public int bufpos
Position in buffer.
-
-
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
-
BeginToken
public char BeginToken() throws java.io.IOException
- Throws:
java.io.IOException
-
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)
-
-