Class SimpleCharStream
- java.lang.Object
-
- net.sf.tweety.logics.rpcl.parser.rpclprobabilitydistributionparser.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) static int
available
protected static int[]
bufcolumn
protected static char[]
buffer
protected static int[]
bufline
static int
bufpos
Position in buffer.(package private) static int
bufsize
protected static int
column
protected static int
inBuf
protected static java.io.Reader
inputStream
protected static int
line
protected static int
maxNextCharInd
protected static boolean
prevCharIsCR
protected static boolean
prevCharIsLF
static boolean
staticFlag
Whether parser is static.protected static int
tabSize
(package private) static 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 static void
adjustBeginLineColumn(int newLine, int newCol)
static void
backup(int amount)
static char
BeginToken()
static void
Done()
Reset buffer when finished.protected static void
ExpandBuff(boolean wrapAround)
protected static void
FillBuff()
static int
getBeginColumn()
static int
getBeginLine()
static int
getColumn()
Deprecated.static int
getEndColumn()
static int
getEndLine()
static java.lang.String
GetImage()
static int
getLine()
Deprecated.static char[]
GetSuffix(int len)
protected static int
getTabSize(int i)
static 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 static void
setTabSize(int i)
protected static void
UpdateLineColumn(char c)
-
-
-
Field Detail
-
staticFlag
public static final boolean staticFlag
Whether parser is static.- See Also:
- Constant Field Values
-
bufsize
static int bufsize
-
available
static int available
-
tokenBegin
static int tokenBegin
-
bufpos
public static int bufpos
Position in buffer.
-
bufline
protected static int[] bufline
-
bufcolumn
protected static int[] bufcolumn
-
column
protected static int column
-
line
protected static int line
-
prevCharIsCR
protected static boolean prevCharIsCR
-
prevCharIsLF
protected static boolean prevCharIsLF
-
inputStream
protected static java.io.Reader inputStream
-
buffer
protected static char[] buffer
-
maxNextCharInd
protected static int maxNextCharInd
-
inBuf
protected static int inBuf
-
tabSize
protected static 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 static void setTabSize(int i)
-
getTabSize
protected static int getTabSize(int i)
-
ExpandBuff
protected static void ExpandBuff(boolean wrapAround)
-
FillBuff
protected static void FillBuff() throws java.io.IOException
- Throws:
java.io.IOException
-
BeginToken
public static char BeginToken() throws java.io.IOException
- Throws:
java.io.IOException
-
UpdateLineColumn
protected static void UpdateLineColumn(char c)
-
readChar
public static char readChar() throws java.io.IOException
- Throws:
java.io.IOException
-
getColumn
@Deprecated public static int getColumn()
Deprecated.
-
getLine
@Deprecated public static int getLine()
Deprecated.
-
getEndColumn
public static int getEndColumn()
-
getEndLine
public static int getEndLine()
-
getBeginColumn
public static int getBeginColumn()
-
getBeginLine
public static int getBeginLine()
-
backup
public static 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 static java.lang.String GetImage()
-
GetSuffix
public static char[] GetSuffix(int len)
-
Done
public static void Done()
Reset buffer when finished.
-
adjustBeginLineColumn
public static void adjustBeginLineColumn(int newLine, int newCol)
-
-