Public Member Functions | |
void | adjustBeginLineColumn (int newLine, int newCol) |
void | backup (int amount) |
char | BeginToken () throws java.io.IOException |
void | Done () |
int | getBeginColumn () |
int | getBeginLine () |
int | getColumn () |
int | getEndColumn () |
int | getEndLine () |
String | GetImage () |
int | getLine () |
char[] | GetSuffix (int len) |
char | readChar () throws java.io.IOException |
void | ReInit (java.io.InputStream dstream, int startline, int startcolumn) |
void | ReInit (java.io.InputStream dstream, String encoding, int startline, int startcolumn) throws java.io.UnsupportedEncodingException |
void | ReInit (java.io.InputStream dstream) |
void | ReInit (java.io.InputStream dstream, String encoding) throws java.io.UnsupportedEncodingException |
void | ReInit (java.io.InputStream dstream, int startline, int startcolumn, int buffersize) |
void | ReInit (java.io.InputStream dstream, String encoding, int startline, int startcolumn, int buffersize) throws java.io.UnsupportedEncodingException |
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) |
SimpleCharStream (java.io.InputStream dstream) | |
SimpleCharStream (java.io.InputStream dstream, String encoding) throws java.io.UnsupportedEncodingException | |
SimpleCharStream (java.io.InputStream dstream, int startline, int startcolumn) | |
SimpleCharStream (java.io.InputStream dstream, String encoding, int startline, int startcolumn) throws java.io.UnsupportedEncodingException | |
SimpleCharStream (java.io.InputStream dstream, int startline, int startcolumn, int buffersize) | |
SimpleCharStream (java.io.InputStream dstream, String encoding, int startline, int startcolumn, int buffersize) throws java.io.UnsupportedEncodingException | |
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) | |
Public Attributes | |
int | bufpos = -1 |
Static Public Attributes | |
static final boolean | staticFlag = false |
Protected Member Functions | |
void | ExpandBuff (boolean wrapAround) |
void | FillBuff () throws java.io.IOException |
int | getTabSize (int i) |
void | setTabSize (int i) |
void | UpdateLineColumn (char c) |
Protected Attributes | |
int | bufcolumn [] |
char[] | buffer |
int | bufline [] |
int | column = 0 |
int | inBuf = 0 |
java.io.Reader | inputStream |
int | line = 1 |
int | maxNextCharInd = 0 |
boolean | prevCharIsCR = false |
boolean | prevCharIsLF = false |
int | tabSize = 8 |
Package Attributes | |
int | available |
int | bufsize |
int | tokenBegin |
An implementation of interface CharStream, where the stream is assumed to contain only ASCII characters (without unicode processing).
Definition at line 9 of file SimpleCharStream.java.
edu::tum::cs::logic::parser::SimpleCharStream::SimpleCharStream | ( | java.io.Reader | dstream, | |
int | startline, | |||
int | startcolumn, | |||
int | buffersize | |||
) | [inline] |
Definition at line 242 of file SimpleCharStream.java.
edu::tum::cs::logic::parser::SimpleCharStream::SimpleCharStream | ( | java.io.Reader | dstream, | |
int | startline, | |||
int | startcolumn | |||
) | [inline] |
Definition at line 255 of file SimpleCharStream.java.
edu::tum::cs::logic::parser::SimpleCharStream::SimpleCharStream | ( | java.io.Reader | dstream | ) | [inline] |
Definition at line 261 of file SimpleCharStream.java.
edu::tum::cs::logic::parser::SimpleCharStream::SimpleCharStream | ( | java.io.InputStream | dstream, | |
String | encoding, | |||
int | startline, | |||
int | startcolumn, | |||
int | buffersize | |||
) | throws java.io.UnsupportedEncodingException [inline] |
Definition at line 294 of file SimpleCharStream.java.
edu::tum::cs::logic::parser::SimpleCharStream::SimpleCharStream | ( | java.io.InputStream | dstream, | |
int | startline, | |||
int | startcolumn, | |||
int | buffersize | |||
) | [inline] |
Definition at line 300 of file SimpleCharStream.java.
edu::tum::cs::logic::parser::SimpleCharStream::SimpleCharStream | ( | java.io.InputStream | dstream, | |
String | encoding, | |||
int | startline, | |||
int | startcolumn | |||
) | throws java.io.UnsupportedEncodingException [inline] |
Definition at line 306 of file SimpleCharStream.java.
edu::tum::cs::logic::parser::SimpleCharStream::SimpleCharStream | ( | java.io.InputStream | dstream, | |
int | startline, | |||
int | startcolumn | |||
) | [inline] |
Definition at line 312 of file SimpleCharStream.java.
edu::tum::cs::logic::parser::SimpleCharStream::SimpleCharStream | ( | java.io.InputStream | dstream, | |
String | encoding | |||
) | throws java.io.UnsupportedEncodingException [inline] |
Definition at line 318 of file SimpleCharStream.java.
edu::tum::cs::logic::parser::SimpleCharStream::SimpleCharStream | ( | java.io.InputStream | dstream | ) | [inline] |
Definition at line 323 of file SimpleCharStream.java.
void edu::tum::cs::logic::parser::SimpleCharStream::adjustBeginLineColumn | ( | int | newLine, | |
int | newCol | |||
) | [inline] |
Method to adjust line and column numbers for the start of a token.
Definition at line 394 of file SimpleCharStream.java.
void edu::tum::cs::logic::parser::SimpleCharStream::backup | ( | int | amount | ) | [inline] |
Definition at line 235 of file SimpleCharStream.java.
char edu::tum::cs::logic::parser::SimpleCharStream::BeginToken | ( | ) | throws java.io.IOException [inline] |
Definition at line 131 of file SimpleCharStream.java.
void edu::tum::cs::logic::parser::SimpleCharStream::Done | ( | ) | [inline] |
Definition at line 384 of file SimpleCharStream.java.
void edu::tum::cs::logic::parser::SimpleCharStream::ExpandBuff | ( | boolean | wrapAround | ) | [inline, protected] |
Definition at line 36 of file SimpleCharStream.java.
void edu::tum::cs::logic::parser::SimpleCharStream::FillBuff | ( | ) | throws java.io.IOException [inline, protected] |
Definition at line 86 of file SimpleCharStream.java.
int edu::tum::cs::logic::parser::SimpleCharStream::getBeginColumn | ( | ) | [inline] |
Definition at line 227 of file SimpleCharStream.java.
int edu::tum::cs::logic::parser::SimpleCharStream::getBeginLine | ( | ) | [inline] |
Definition at line 231 of file SimpleCharStream.java.
int edu::tum::cs::logic::parser::SimpleCharStream::getColumn | ( | ) | [inline] |
int edu::tum::cs::logic::parser::SimpleCharStream::getEndColumn | ( | ) | [inline] |
Definition at line 219 of file SimpleCharStream.java.
int edu::tum::cs::logic::parser::SimpleCharStream::getEndLine | ( | ) | [inline] |
Definition at line 223 of file SimpleCharStream.java.
String edu::tum::cs::logic::parser::SimpleCharStream::GetImage | ( | ) | [inline] |
Definition at line 359 of file SimpleCharStream.java.
int edu::tum::cs::logic::parser::SimpleCharStream::getLine | ( | ) | [inline] |
char [] edu::tum::cs::logic::parser::SimpleCharStream::GetSuffix | ( | int | len | ) | [inline] |
Definition at line 368 of file SimpleCharStream.java.
int edu::tum::cs::logic::parser::SimpleCharStream::getTabSize | ( | int | i | ) | [inline, protected] |
Definition at line 33 of file SimpleCharStream.java.
char edu::tum::cs::logic::parser::SimpleCharStream::readChar | ( | ) | throws java.io.IOException [inline] |
Definition at line 180 of file SimpleCharStream.java.
void edu::tum::cs::logic::parser::SimpleCharStream::ReInit | ( | java.io.InputStream | dstream, | |
int | startline, | |||
int | startcolumn | |||
) | [inline] |
Definition at line 354 of file SimpleCharStream.java.
void edu::tum::cs::logic::parser::SimpleCharStream::ReInit | ( | java.io.InputStream | dstream, | |
String | encoding, | |||
int | startline, | |||
int | startcolumn | |||
) | throws java.io.UnsupportedEncodingException [inline] |
Definition at line 349 of file SimpleCharStream.java.
void edu::tum::cs::logic::parser::SimpleCharStream::ReInit | ( | java.io.InputStream | dstream | ) | [inline] |
Definition at line 345 of file SimpleCharStream.java.
void edu::tum::cs::logic::parser::SimpleCharStream::ReInit | ( | java.io.InputStream | dstream, | |
String | encoding | |||
) | throws java.io.UnsupportedEncodingException [inline] |
Definition at line 340 of file SimpleCharStream.java.
void edu::tum::cs::logic::parser::SimpleCharStream::ReInit | ( | java.io.InputStream | dstream, | |
int | startline, | |||
int | startcolumn, | |||
int | buffersize | |||
) | [inline] |
Definition at line 334 of file SimpleCharStream.java.
void edu::tum::cs::logic::parser::SimpleCharStream::ReInit | ( | java.io.InputStream | dstream, | |
String | encoding, | |||
int | startline, | |||
int | startcolumn, | |||
int | buffersize | |||
) | throws java.io.UnsupportedEncodingException [inline] |
Definition at line 328 of file SimpleCharStream.java.
void edu::tum::cs::logic::parser::SimpleCharStream::ReInit | ( | java.io.Reader | dstream | ) | [inline] |
Definition at line 290 of file SimpleCharStream.java.
void edu::tum::cs::logic::parser::SimpleCharStream::ReInit | ( | java.io.Reader | dstream, | |
int | startline, | |||
int | startcolumn | |||
) | [inline] |
Definition at line 284 of file SimpleCharStream.java.
void edu::tum::cs::logic::parser::SimpleCharStream::ReInit | ( | java.io.Reader | dstream, | |
int | startline, | |||
int | startcolumn, | |||
int | buffersize | |||
) | [inline] |
Definition at line 265 of file SimpleCharStream.java.
void edu::tum::cs::logic::parser::SimpleCharStream::setTabSize | ( | int | i | ) | [inline, protected] |
Definition at line 32 of file SimpleCharStream.java.
void edu::tum::cs::logic::parser::SimpleCharStream::UpdateLineColumn | ( | char | c | ) | [inline, protected] |
Definition at line 140 of file SimpleCharStream.java.
int edu::tum::cs::logic::parser::SimpleCharStream::available [package] |
Definition at line 13 of file SimpleCharStream.java.
int edu::tum::cs::logic::parser::SimpleCharStream::bufcolumn[] [protected] |
Definition at line 17 of file SimpleCharStream.java.
char [] edu::tum::cs::logic::parser::SimpleCharStream::buffer [protected] |
Definition at line 27 of file SimpleCharStream.java.
int edu::tum::cs::logic::parser::SimpleCharStream::bufline[] [protected] |
Definition at line 16 of file SimpleCharStream.java.
Definition at line 15 of file SimpleCharStream.java.
int edu::tum::cs::logic::parser::SimpleCharStream::bufsize [package] |
Definition at line 12 of file SimpleCharStream.java.
int edu::tum::cs::logic::parser::SimpleCharStream::column = 0 [protected] |
Definition at line 19 of file SimpleCharStream.java.
int edu::tum::cs::logic::parser::SimpleCharStream::inBuf = 0 [protected] |
Definition at line 29 of file SimpleCharStream.java.
java.io.Reader edu::tum::cs::logic::parser::SimpleCharStream::inputStream [protected] |
Definition at line 25 of file SimpleCharStream.java.
int edu::tum::cs::logic::parser::SimpleCharStream::line = 1 [protected] |
Definition at line 20 of file SimpleCharStream.java.
int edu::tum::cs::logic::parser::SimpleCharStream::maxNextCharInd = 0 [protected] |
Definition at line 28 of file SimpleCharStream.java.
boolean edu::tum::cs::logic::parser::SimpleCharStream::prevCharIsCR = false [protected] |
Definition at line 22 of file SimpleCharStream.java.
boolean edu::tum::cs::logic::parser::SimpleCharStream::prevCharIsLF = false [protected] |
Definition at line 23 of file SimpleCharStream.java.
final boolean edu::tum::cs::logic::parser::SimpleCharStream::staticFlag = false [static] |
Definition at line 11 of file SimpleCharStream.java.
int edu::tum::cs::logic::parser::SimpleCharStream::tabSize = 8 [protected] |
Definition at line 30 of file SimpleCharStream.java.
Definition at line 14 of file SimpleCharStream.java.