edu::tum::cs::logic::parser::FormulaParserTokenManager Class Reference

Inheritance diagram for edu::tum::cs::logic::parser::FormulaParserTokenManager:
Inheritance graph
[legend]

List of all members.

Public Member Functions

 FormulaParserTokenManager (SimpleCharStream stream, int lexState)
 FormulaParserTokenManager (SimpleCharStream stream)
Token getNextToken ()
void ReInit (SimpleCharStream stream, int lexState)
void ReInit (SimpleCharStream stream)
void setDebugStream (java.io.PrintStream ds)
void SwitchTo (int lexState)

Public Attributes

java.io.PrintStream debugStream = System.out

Static Public Attributes

static final String[] jjstrLiteralImages
static final String[] lexStateNames

Protected Member Functions

Token jjFillToken ()

Protected Attributes

char curChar
SimpleCharStream input_stream

Package Attributes

int curLexState = 0
int defaultLexState = 0
int jjmatchedKind
int jjmatchedPos
int jjnewStateCnt
int jjround

Static Package Attributes

static final int[] jjnextStates
static final long[] jjtoSkip
static final long[] jjtoToken

Private Member Functions

final void jjAddStates (int start, int end)
final void jjCheckNAdd (int state)
final void jjCheckNAddStates (int start)
final void jjCheckNAddStates (int start, int end)
final void jjCheckNAddTwoStates (int state1, int state2)
final int jjMoveNfa_0 (int startState, int curPos)
final int jjMoveStringLiteralDfa0_0 ()
final int jjMoveStringLiteralDfa1_0 (long active0)
final int jjMoveStringLiteralDfa2_0 (long old0, long active0)
final int jjMoveStringLiteralDfa3_0 (long old0, long active0)
final int jjMoveStringLiteralDfa4_0 (long old0, long active0)
final int jjMoveStringLiteralDfa5_0 (long old0, long active0)
final int jjStartNfa_0 (int pos, long active0)
final int jjStartNfaWithStates_0 (int pos, int kind, int state)
final int jjStopAtPos (int pos, int kind)
final int jjStopStringLiteralDfa_0 (int pos, long active0)
final void ReInitRounds ()

Private Attributes

final int[] jjrounds = new int[15]
final int[] jjstateSet = new int[30]

Detailed Description

Definition at line 7 of file FormulaParserTokenManager.java.

Constructor & Destructor Documentation

edu::tum::cs::logic::parser::FormulaParserTokenManager::FormulaParserTokenManager ( SimpleCharStream  stream  )  [inline]

Definition at line 413 of file FormulaParserTokenManager.java.

edu::tum::cs::logic::parser::FormulaParserTokenManager::FormulaParserTokenManager ( SimpleCharStream  stream,
int  lexState 
) [inline]

Definition at line 418 of file FormulaParserTokenManager.java.

Member Function Documentation

Token edu::tum::cs::logic::parser::FormulaParserTokenManager::getNextToken (  )  [inline]

Definition at line 469 of file FormulaParserTokenManager.java.

final void edu::tum::cs::logic::parser::FormulaParserTokenManager::jjAddStates ( int  start,
int  end 
) [inline, private]

Definition at line 213 of file FormulaParserTokenManager.java.

final void edu::tum::cs::logic::parser::FormulaParserTokenManager::jjCheckNAdd ( int  state  )  [inline, private]

Definition at line 205 of file FormulaParserTokenManager.java.

final void edu::tum::cs::logic::parser::FormulaParserTokenManager::jjCheckNAddStates ( int  start  )  [inline, private]

Definition at line 230 of file FormulaParserTokenManager.java.

final void edu::tum::cs::logic::parser::FormulaParserTokenManager::jjCheckNAddStates ( int  start,
int  end 
) [inline, private]

Definition at line 224 of file FormulaParserTokenManager.java.

final void edu::tum::cs::logic::parser::FormulaParserTokenManager::jjCheckNAddTwoStates ( int  state1,
int  state2 
) [inline, private]

Definition at line 219 of file FormulaParserTokenManager.java.

Token edu::tum::cs::logic::parser::FormulaParserTokenManager::jjFillToken (  )  [inline, protected]

Definition at line 449 of file FormulaParserTokenManager.java.

final int edu::tum::cs::logic::parser::FormulaParserTokenManager::jjMoveNfa_0 ( int  startState,
int  curPos 
) [inline, private]

Definition at line 235 of file FormulaParserTokenManager.java.

final int edu::tum::cs::logic::parser::FormulaParserTokenManager::jjMoveStringLiteralDfa0_0 (  )  [inline, private]

Definition at line 78 of file FormulaParserTokenManager.java.

final int edu::tum::cs::logic::parser::FormulaParserTokenManager::jjMoveStringLiteralDfa1_0 ( long  active0  )  [inline, private]

Definition at line 105 of file FormulaParserTokenManager.java.

final int edu::tum::cs::logic::parser::FormulaParserTokenManager::jjMoveStringLiteralDfa2_0 ( long  old0,
long  active0 
) [inline, private]

Definition at line 127 of file FormulaParserTokenManager.java.

final int edu::tum::cs::logic::parser::FormulaParserTokenManager::jjMoveStringLiteralDfa3_0 ( long  old0,
long  active0 
) [inline, private]

Definition at line 149 of file FormulaParserTokenManager.java.

final int edu::tum::cs::logic::parser::FormulaParserTokenManager::jjMoveStringLiteralDfa4_0 ( long  old0,
long  active0 
) [inline, private]

Definition at line 167 of file FormulaParserTokenManager.java.

final int edu::tum::cs::logic::parser::FormulaParserTokenManager::jjMoveStringLiteralDfa5_0 ( long  old0,
long  active0 
) [inline, private]

Definition at line 185 of file FormulaParserTokenManager.java.

final int edu::tum::cs::logic::parser::FormulaParserTokenManager::jjStartNfa_0 ( int  pos,
long  active0 
) [inline, private]

Definition at line 60 of file FormulaParserTokenManager.java.

final int edu::tum::cs::logic::parser::FormulaParserTokenManager::jjStartNfaWithStates_0 ( int  pos,
int  kind,
int  state 
) [inline, private]

Definition at line 70 of file FormulaParserTokenManager.java.

final int edu::tum::cs::logic::parser::FormulaParserTokenManager::jjStopAtPos ( int  pos,
int  kind 
) [inline, private]

Definition at line 64 of file FormulaParserTokenManager.java.

final int edu::tum::cs::logic::parser::FormulaParserTokenManager::jjStopStringLiteralDfa_0 ( int  pos,
long  active0 
) [inline, private]

Definition at line 11 of file FormulaParserTokenManager.java.

void edu::tum::cs::logic::parser::FormulaParserTokenManager::ReInit ( SimpleCharStream  stream,
int  lexState 
) [inline]

Definition at line 436 of file FormulaParserTokenManager.java.

void edu::tum::cs::logic::parser::FormulaParserTokenManager::ReInit ( SimpleCharStream  stream  )  [inline]

Definition at line 422 of file FormulaParserTokenManager.java.

final void edu::tum::cs::logic::parser::FormulaParserTokenManager::ReInitRounds (  )  [inline, private]

Definition at line 429 of file FormulaParserTokenManager.java.

void edu::tum::cs::logic::parser::FormulaParserTokenManager::setDebugStream ( java.io.PrintStream  ds  )  [inline]

Definition at line 10 of file FormulaParserTokenManager.java.

void edu::tum::cs::logic::parser::FormulaParserTokenManager::SwitchTo ( int  lexState  )  [inline]

Definition at line 441 of file FormulaParserTokenManager.java.

Member Data Documentation

char edu::tum::cs::logic::parser::FormulaParserTokenManager::curChar [protected]

Definition at line 412 of file FormulaParserTokenManager.java.

int edu::tum::cs::logic::parser::FormulaParserTokenManager::curLexState = 0 [package]

Definition at line 462 of file FormulaParserTokenManager.java.

java.io.PrintStream edu::tum::cs::logic::parser::FormulaParserTokenManager::debugStream = System.out

Definition at line 9 of file FormulaParserTokenManager.java.

int edu::tum::cs::logic::parser::FormulaParserTokenManager::defaultLexState = 0 [package]

Definition at line 463 of file FormulaParserTokenManager.java.

SimpleCharStream edu::tum::cs::logic::parser::FormulaParserTokenManager::input_stream [protected]

Definition at line 409 of file FormulaParserTokenManager.java.

int edu::tum::cs::logic::parser::FormulaParserTokenManager::jjmatchedKind [package]

Definition at line 467 of file FormulaParserTokenManager.java.

int edu::tum::cs::logic::parser::FormulaParserTokenManager::jjmatchedPos [package]

Definition at line 466 of file FormulaParserTokenManager.java.

int edu::tum::cs::logic::parser::FormulaParserTokenManager::jjnewStateCnt [package]

Definition at line 464 of file FormulaParserTokenManager.java.

final int [] edu::tum::cs::logic::parser::FormulaParserTokenManager::jjnextStates [static, package]
Initial value:
 {
   9, 14, 
}

Definition at line 393 of file FormulaParserTokenManager.java.

int edu::tum::cs::logic::parser::FormulaParserTokenManager::jjround [package]

Definition at line 465 of file FormulaParserTokenManager.java.

final int [] edu::tum::cs::logic::parser::FormulaParserTokenManager::jjrounds = new int[15] [private]

Definition at line 410 of file FormulaParserTokenManager.java.

final int [] edu::tum::cs::logic::parser::FormulaParserTokenManager::jjstateSet = new int[30] [private]

Definition at line 411 of file FormulaParserTokenManager.java.

final String [] edu::tum::cs::logic::parser::FormulaParserTokenManager::jjstrLiteralImages [static]
Initial value:
 {
"", null, null, null, null, "\41", "\166", "\136", "\75\76", "\75", 
"\74\75\76", null, "\106\117\122\101\114\114", "\50", "\51", "\54", null, null, null, null, 
null, null, null, }

Definition at line 396 of file FormulaParserTokenManager.java.

final long [] edu::tum::cs::logic::parser::FormulaParserTokenManager::jjtoSkip [static, package]
Initial value:
 {
   0x1eL, 
}

Definition at line 406 of file FormulaParserTokenManager.java.

final long [] edu::tum::cs::logic::parser::FormulaParserTokenManager::jjtoToken [static, package]
Initial value:
 {
   0x70ffe1L, 
}

Definition at line 403 of file FormulaParserTokenManager.java.

final String [] edu::tum::cs::logic::parser::FormulaParserTokenManager::lexStateNames [static]
Initial value:
 {
   "DEFAULT", 
}

Definition at line 400 of file FormulaParserTokenManager.java.

The documentation for this class was generated from the following file:
 All Classes Namespaces Files Functions Variables Enumerations

srldb
Author(s): Dominik Jain, Stefan Waldherr, Moritz Tenorth
autogenerated on Fri Jan 11 09:58:42 2013