Package org.tweetyproject.lp.asp.parser
Class SimpleCharStream
java.lang.Object
org.tweetyproject.lp.asp.parser.SimpleCharStream
An implementation of interface CharStream, where the stream is assumed to
contain only ASCII characters (without unicode processing).
-
Field Summary
Modifier and TypeFieldDescriptionint
Position in buffer.static final boolean
Whether parser is static. -
Constructor Summary
ConstructorDescriptionSimpleCharStream
(InputStream dstream) Constructor.SimpleCharStream
(InputStream dstream, int startline, int startcolumn) Constructor.SimpleCharStream
(InputStream dstream, int startline, int startcolumn, int buffersize) Constructor.SimpleCharStream
(InputStream dstream, String encoding) Constructor.SimpleCharStream
(InputStream dstream, String encoding, int startline, int startcolumn) Constructor.SimpleCharStream
(InputStream dstream, String encoding, int startline, int startcolumn, int buffersize) Constructor.SimpleCharStream
(Reader dstream) Constructor.SimpleCharStream
(Reader dstream, int startline, int startcolumn) Constructor.SimpleCharStream
(Reader dstream, int startline, int startcolumn, int buffersize) Constructor. -
Method Summary
Modifier and TypeMethodDescriptionvoid
adjustBeginLineColumn
(int newLine, int newCol) Method to adjust line and column numbers for the start of a token.void
backup
(int amount) Backup a number of characters.char
Start.void
Done()
Reset buffer when finished.int
Get token beginning column number.int
Get token beginning line number.int
Deprecated.int
Get token end column number.int
Get token end line number.GetImage()
Get token literal value.int
getLine()
Deprecated.char[]
GetSuffix
(int len) Get the suffix.char
readChar()
Read a character.void
ReInit
(InputStream dstream) Reinitialise.void
ReInit
(InputStream dstream, int startline, int startcolumn) Reinitialise.void
ReInit
(InputStream dstream, int startline, int startcolumn, int buffersize) Reinitialise.void
ReInit
(InputStream dstream, String encoding) Reinitialise.void
ReInit
(InputStream dstream, String encoding, int startline, int startcolumn) Reinitialise.void
ReInit
(InputStream dstream, String encoding, int startline, int startcolumn, int buffersize) Reinitialise.void
Reinitialise.void
Reinitialise.void
Reinitialise.
-
Field Details
-
staticFlag
public static final boolean staticFlagWhether parser is static.- See Also:
-
bufpos
public int bufposPosition in buffer.
-
-
Constructor Details
-
SimpleCharStream
Constructor. -
SimpleCharStream
Constructor. -
SimpleCharStream
Constructor. -
SimpleCharStream
public SimpleCharStream(InputStream dstream, String encoding, int startline, int startcolumn, int buffersize) throws UnsupportedEncodingException Constructor.- Throws:
UnsupportedEncodingException
-
SimpleCharStream
Constructor. -
SimpleCharStream
public SimpleCharStream(InputStream dstream, String encoding, int startline, int startcolumn) throws UnsupportedEncodingException Constructor.- Throws:
UnsupportedEncodingException
-
SimpleCharStream
Constructor. -
SimpleCharStream
Constructor.- Throws:
UnsupportedEncodingException
-
SimpleCharStream
Constructor.
-
-
Method Details
-
BeginToken
Start.- Throws:
IOException
-
readChar
Read a character.- Throws:
IOException
-
getColumn
Deprecated. -
getLine
Deprecated. -
getEndColumn
public int getEndColumn()Get token end column number. -
getEndLine
public int getEndLine()Get token end line number. -
getBeginColumn
public int getBeginColumn()Get token beginning column number. -
getBeginLine
public int getBeginLine()Get token beginning line number. -
backup
public void backup(int amount) Backup a number of characters. -
ReInit
Reinitialise. -
ReInit
Reinitialise. -
ReInit
Reinitialise. -
ReInit
public void ReInit(InputStream dstream, String encoding, int startline, int startcolumn, int buffersize) throws UnsupportedEncodingException Reinitialise.- Throws:
UnsupportedEncodingException
-
ReInit
Reinitialise. -
ReInit
Reinitialise.- Throws:
UnsupportedEncodingException
-
ReInit
Reinitialise. -
ReInit
public void ReInit(InputStream dstream, String encoding, int startline, int startcolumn) throws UnsupportedEncodingException Reinitialise.- Throws:
UnsupportedEncodingException
-
ReInit
Reinitialise. -
GetImage
Get token literal value. -
GetSuffix
public char[] GetSuffix(int len) Get the suffix. -
Done
public void Done()Reset buffer when finished. -
adjustBeginLineColumn
public void adjustBeginLineColumn(int newLine, int newCol) Method to adjust line and column numbers for the start of a token.
-