Classes | |
class | JJCalls |
class | LookaheadSuccess |
Public Member Functions | |
final Atom | atom () throws ParseException |
final Formula | biimplication () throws ParseException |
final Formula | conjunction () throws ParseException |
final String | constant () throws ParseException |
final void | disable_tracing () |
final Formula | disjunction () throws ParseException |
final void | enable_tracing () |
final Equality | equality () throws ParseException |
final Exist | exist () throws ParseException |
final ForAll | forall () throws ParseException |
final Formula | formula () throws ParseException |
final Formula | formulaElement () throws ParseException |
FormulaParser (FormulaParserTokenManager tm) | |
FormulaParser (java.io.Reader stream) | |
FormulaParser (java.io.InputStream stream, String encoding) | |
FormulaParser (java.io.InputStream stream) | |
ParseException | generateParseException () |
final Token | getNextToken () |
final Token | getToken (int index) |
final Formula | implication () throws ParseException |
final Literal | literal () throws ParseException |
final Negation | negation () throws ParseException |
final Collection< String > | paramlist () throws ParseException |
final String | predName () throws ParseException |
void | ReInit (FormulaParserTokenManager tm) |
void | ReInit (java.io.Reader stream) |
void | ReInit (java.io.InputStream stream, String encoding) |
void | ReInit (java.io.InputStream stream) |
final String | variable () throws ParseException |
final Collection< String > | varlist () throws ParseException |
Static Public Member Functions | |
static void | main (String args[]) throws ParseException |
static Formula | parse (String s) throws ParseException |
Public Attributes | |
Token | jj_nt |
boolean | lookingAhead = false |
Token | token |
FormulaParserTokenManager | token_source |
Static Package Functions | |
[static initializer] | |
Package Attributes | |
SimpleCharStream | jj_input_stream |
Private Member Functions | |
final boolean | jj_2_1 (int xla) |
final boolean | jj_2_2 (int xla) |
final boolean | jj_3_1 () |
final boolean | jj_3_2 () |
final boolean | jj_3R_10 () |
final boolean | jj_3R_11 () |
final boolean | jj_3R_5 () |
final boolean | jj_3R_6 () |
final boolean | jj_3R_7 () |
final boolean | jj_3R_8 () |
final boolean | jj_3R_9 () |
void | jj_add_error_token (int kind, int pos) |
final Token | jj_consume_token (int kind) throws ParseException |
final int | jj_ntk () |
final void | jj_rescan_token () |
final void | jj_save (int index, int xla) |
final boolean | jj_scan_token (int kind) |
Static Private Member Functions | |
static void | jj_la1_0 () |
Private Attributes | |
final JJCalls[] | jj_2_rtns = new JJCalls[2] |
int | jj_endpos |
java.util.Vector< int[]> | jj_expentries = new java.util.Vector<int[]>() |
int[] | jj_expentry |
int | jj_gc = 0 |
int | jj_gen |
int | jj_kind = -1 |
int | jj_la |
final int[] | jj_la1 = new int[14] |
Token | jj_lastpos |
int[] | jj_lasttokens = new int[100] |
final LookaheadSuccess | jj_ls = new LookaheadSuccess() |
int | jj_ntk |
boolean | jj_rescan = false |
Token | jj_scanpos |
boolean | jj_semLA |
Static Private Attributes | |
static int[] | jj_la1_0 |
Definition at line 8 of file FormulaParser.java.
edu::tum::cs::logic::parser::FormulaParser::FormulaParser | ( | java.io.InputStream | stream | ) | [inline] |
Definition at line 463 of file FormulaParser.java.
edu::tum::cs::logic::parser::FormulaParser::FormulaParser | ( | java.io.InputStream | stream, | |
String | encoding | |||
) | [inline] |
Definition at line 466 of file FormulaParser.java.
edu::tum::cs::logic::parser::FormulaParser::FormulaParser | ( | java.io.Reader | stream | ) | [inline] |
Definition at line 489 of file FormulaParser.java.
edu::tum::cs::logic::parser::FormulaParser::FormulaParser | ( | FormulaParserTokenManager | tm | ) | [inline] |
Definition at line 509 of file FormulaParser.java.
edu::tum::cs::logic::parser::FormulaParser::[static initializer] | ( | ) | [inline, static, package] |
final Atom edu::tum::cs::logic::parser::FormulaParser::atom | ( | ) | throws ParseException [inline] |
Definition at line 141 of file FormulaParser.java.
final Formula edu::tum::cs::logic::parser::FormulaParser::biimplication | ( | ) | throws ParseException [inline] |
Definition at line 342 of file FormulaParser.java.
final Formula edu::tum::cs::logic::parser::FormulaParser::conjunction | ( | ) | throws ParseException [inline] |
Definition at line 301 of file FormulaParser.java.
final String edu::tum::cs::logic::parser::FormulaParser::constant | ( | ) | throws ParseException [inline] |
Definition at line 33 of file FormulaParser.java.
final void edu::tum::cs::logic::parser::FormulaParser::disable_tracing | ( | ) | [inline] |
Definition at line 668 of file FormulaParser.java.
final Formula edu::tum::cs::logic::parser::FormulaParser::disjunction | ( | ) | throws ParseException [inline] |
Definition at line 277 of file FormulaParser.java.
final void edu::tum::cs::logic::parser::FormulaParser::enable_tracing | ( | ) | [inline] |
Definition at line 665 of file FormulaParser.java.
final Equality edu::tum::cs::logic::parser::FormulaParser::equality | ( | ) | throws ParseException [inline] |
Definition at line 210 of file FormulaParser.java.
final Exist edu::tum::cs::logic::parser::FormulaParser::exist | ( | ) | throws ParseException [inline] |
Definition at line 186 of file FormulaParser.java.
final ForAll edu::tum::cs::logic::parser::FormulaParser::forall | ( | ) | throws ParseException [inline] |
Definition at line 198 of file FormulaParser.java.
final Formula edu::tum::cs::logic::parser::FormulaParser::formula | ( | ) | throws ParseException [inline] |
Definition at line 359 of file FormulaParser.java.
final Formula edu::tum::cs::logic::parser::FormulaParser::formulaElement | ( | ) | throws ParseException [inline] |
Definition at line 243 of file FormulaParser.java.
ParseException edu::tum::cs::logic::parser::FormulaParser::generateParseException | ( | ) | [inline] |
Definition at line 632 of file FormulaParser.java.
final Token edu::tum::cs::logic::parser::FormulaParser::getNextToken | ( | ) | [inline] |
Definition at line 574 of file FormulaParser.java.
final Token edu::tum::cs::logic::parser::FormulaParser::getToken | ( | int | index | ) | [inline] |
Definition at line 582 of file FormulaParser.java.
final Formula edu::tum::cs::logic::parser::FormulaParser::implication | ( | ) | throws ParseException [inline] |
Definition at line 325 of file FormulaParser.java.
final boolean edu::tum::cs::logic::parser::FormulaParser::jj_2_1 | ( | int | xla | ) | [inline, private] |
Definition at line 366 of file FormulaParser.java.
final boolean edu::tum::cs::logic::parser::FormulaParser::jj_2_2 | ( | int | xla | ) | [inline, private] |
Definition at line 373 of file FormulaParser.java.
final boolean edu::tum::cs::logic::parser::FormulaParser::jj_3_1 | ( | ) | [inline, private] |
Definition at line 385 of file FormulaParser.java.
final boolean edu::tum::cs::logic::parser::FormulaParser::jj_3_2 | ( | ) | [inline, private] |
Definition at line 380 of file FormulaParser.java.
final boolean edu::tum::cs::logic::parser::FormulaParser::jj_3R_10 | ( | ) | [inline, private] |
Definition at line 416 of file FormulaParser.java.
final boolean edu::tum::cs::logic::parser::FormulaParser::jj_3R_11 | ( | ) | [inline, private] |
Definition at line 396 of file FormulaParser.java.
final boolean edu::tum::cs::logic::parser::FormulaParser::jj_3R_5 | ( | ) | [inline, private] |
Definition at line 421 of file FormulaParser.java.
final boolean edu::tum::cs::logic::parser::FormulaParser::jj_3R_6 | ( | ) | [inline, private] |
Definition at line 406 of file FormulaParser.java.
final boolean edu::tum::cs::logic::parser::FormulaParser::jj_3R_7 | ( | ) | [inline, private] |
Definition at line 437 of file FormulaParser.java.
final boolean edu::tum::cs::logic::parser::FormulaParser::jj_3R_8 | ( | ) | [inline, private] |
Definition at line 391 of file FormulaParser.java.
final boolean edu::tum::cs::logic::parser::FormulaParser::jj_3R_9 | ( | ) | [inline, private] |
Definition at line 411 of file FormulaParser.java.
void edu::tum::cs::logic::parser::FormulaParser::jj_add_error_token | ( | int | kind, | |
int | pos | |||
) | [inline, private] |
Definition at line 604 of file FormulaParser.java.
final Token edu::tum::cs::logic::parser::FormulaParser::jj_consume_token | ( | int | kind | ) | throws ParseException [inline, private] |
Definition at line 527 of file FormulaParser.java.
static void edu::tum::cs::logic::parser::FormulaParser::jj_la1_0 | ( | ) | [inline, static, private] |
Definition at line 456 of file FormulaParser.java.
final int edu::tum::cs::logic::parser::FormulaParser::jj_ntk | ( | ) | [inline, private] |
Definition at line 591 of file FormulaParser.java.
final void edu::tum::cs::logic::parser::FormulaParser::jj_rescan_token | ( | ) | [inline, private] |
Definition at line 671 of file FormulaParser.java.
final void edu::tum::cs::logic::parser::FormulaParser::jj_save | ( | int | index, | |
int | xla | |||
) | [inline, private] |
Definition at line 691 of file FormulaParser.java.
final boolean edu::tum::cs::logic::parser::FormulaParser::jj_scan_token | ( | int | kind | ) | [inline, private] |
Definition at line 553 of file FormulaParser.java.
final Literal edu::tum::cs::logic::parser::FormulaParser::literal | ( | ) | throws ParseException [inline] |
Definition at line 153 of file FormulaParser.java.
static void edu::tum::cs::logic::parser::FormulaParser::main | ( | String | args[] | ) | throws ParseException [inline, static] |
Definition at line 9 of file FormulaParser.java.
final Negation edu::tum::cs::logic::parser::FormulaParser::negation | ( | ) | throws ParseException [inline] |
Definition at line 176 of file FormulaParser.java.
final Collection<String> edu::tum::cs::logic::parser::FormulaParser::paramlist | ( | ) | throws ParseException [inline] |
Definition at line 51 of file FormulaParser.java.
static Formula edu::tum::cs::logic::parser::FormulaParser::parse | ( | String | s | ) | throws ParseException [inline, static] |
Definition at line 17 of file FormulaParser.java.
final String edu::tum::cs::logic::parser::FormulaParser::predName | ( | ) | throws ParseException [inline] |
Definition at line 123 of file FormulaParser.java.
void edu::tum::cs::logic::parser::FormulaParser::ReInit | ( | FormulaParserTokenManager | tm | ) | [inline] |
Definition at line 518 of file FormulaParser.java.
void edu::tum::cs::logic::parser::FormulaParser::ReInit | ( | java.io.Reader | stream | ) | [inline] |
Definition at line 499 of file FormulaParser.java.
void edu::tum::cs::logic::parser::FormulaParser::ReInit | ( | java.io.InputStream | stream, | |
String | encoding | |||
) | [inline] |
Definition at line 479 of file FormulaParser.java.
void edu::tum::cs::logic::parser::FormulaParser::ReInit | ( | java.io.InputStream | stream | ) | [inline] |
Definition at line 476 of file FormulaParser.java.
final String edu::tum::cs::logic::parser::FormulaParser::variable | ( | ) | throws ParseException [inline] |
Definition at line 26 of file FormulaParser.java.
final Collection<String> edu::tum::cs::logic::parser::FormulaParser::varlist | ( | ) | throws ParseException [inline] |
Definition at line 99 of file FormulaParser.java.
final JJCalls [] edu::tum::cs::logic::parser::FormulaParser::jj_2_rtns = new JJCalls[2] [private] |
Definition at line 459 of file FormulaParser.java.
int edu::tum::cs::logic::parser::FormulaParser::jj_endpos [private] |
Definition at line 602 of file FormulaParser.java.
java.util.Vector<int[]> edu::tum::cs::logic::parser::FormulaParser::jj_expentries = new java.util.Vector<int[]>() [private] |
Definition at line 598 of file FormulaParser.java.
int [] edu::tum::cs::logic::parser::FormulaParser::jj_expentry [private] |
Definition at line 599 of file FormulaParser.java.
int edu::tum::cs::logic::parser::FormulaParser::jj_gc = 0 [private] |
Definition at line 461 of file FormulaParser.java.
int edu::tum::cs::logic::parser::FormulaParser::jj_gen [private] |
Definition at line 450 of file FormulaParser.java.
Definition at line 443 of file FormulaParser.java.
int edu::tum::cs::logic::parser::FormulaParser::jj_kind = -1 [private] |
Definition at line 600 of file FormulaParser.java.
int edu::tum::cs::logic::parser::FormulaParser::jj_la [private] |
Definition at line 447 of file FormulaParser.java.
final int [] edu::tum::cs::logic::parser::FormulaParser::jj_la1 = new int[14] [private] |
Definition at line 451 of file FormulaParser.java.
int [] edu::tum::cs::logic::parser::FormulaParser::jj_la1_0 [static, private] |
Definition at line 452 of file FormulaParser.java.
Definition at line 446 of file FormulaParser.java.
int [] edu::tum::cs::logic::parser::FormulaParser::jj_lasttokens = new int[100] [private] |
Definition at line 601 of file FormulaParser.java.
final LookaheadSuccess edu::tum::cs::logic::parser::FormulaParser::jj_ls = new LookaheadSuccess() [private] |
Definition at line 552 of file FormulaParser.java.
Definition at line 444 of file FormulaParser.java.
int edu::tum::cs::logic::parser::FormulaParser::jj_ntk [private] |
Definition at line 445 of file FormulaParser.java.
boolean edu::tum::cs::logic::parser::FormulaParser::jj_rescan = false [private] |
Definition at line 460 of file FormulaParser.java.
Definition at line 446 of file FormulaParser.java.
boolean edu::tum::cs::logic::parser::FormulaParser::jj_semLA [private] |
Definition at line 449 of file FormulaParser.java.
boolean edu::tum::cs::logic::parser::FormulaParser::lookingAhead = false |
Definition at line 448 of file FormulaParser.java.
Definition at line 444 of file FormulaParser.java.
Definition at line 442 of file FormulaParser.java.