JSHOP2
Class JSHOP2Parser
java.lang.Object
antlr.Parser
antlr.LLkParser
JSHOP2.JSHOP2Parser
- All Implemented Interfaces:
- JSHOP2TokenTypes
public class JSHOP2Parser
- extends antlr.LLkParser
- implements JSHOP2TokenTypes
Fields inherited from class antlr.Parser |
astFactory, inputState, returnAST, tokenNames, tokenTypeToASTClassMap, traceDepth |
Fields inherited from interface JSHOP2.JSHOP2TokenTypes |
AND, ASSIGN, AXIOM, CALL, COMMENT, DEFDOMAIN, DEFPROBLEM, DEFPROBLEMSET, DIV, DOT, EOF, EQUAL, FIRST, FORALL, ID, IMMEDIATE, IMPLY, LESS, LESSEQ, LP, MEMBER, METHOD, MINUS, MORE, MOREEQ, MULT, NIL, NOT, NOTEQ, NULL_TREE_LOOKAHEAD, NUM, OPERATOR, OPID, OR, PLUS, POWER, PROTECTION, RP, SORT, STDLIB, UNORDERED, VARID, WS |
Methods inherited from class antlr.LLkParser |
consume, LA, LT, traceIn, traceOut |
Methods inherited from class antlr.Parser |
addMessageListener, addParserListener, addParserMatchListener, addParserTokenListener, addSemanticPredicateListener, addSyntacticPredicateListener, addTraceListener, consumeUntil, consumeUntil, defaultDebuggingSetup, getAST, getASTFactory, getFilename, getInputState, getTokenName, getTokenNames, getTokenTypeToASTClassMap, isDebugMode, mark, match, match, matchNot, panic, removeMessageListener, removeParserListener, removeParserMatchListener, removeParserTokenListener, removeSemanticPredicateListener, removeSyntacticPredicateListener, removeTraceListener, reportError, reportError, reportWarning, rewind, setASTFactory, setASTNodeClass, setASTNodeType, setDebugMode, setFilename, setIgnoreInvalidDebugCalls, setInputState, setTokenBuffer, traceIndent |
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
domain
private InternalDomain domain
lexer
private JSHOP2Lexer lexer
vars
private java.util.Vector<java.lang.String> vars
varsMaxSize
private int varsMaxSize
_tokenNames
public static final java.lang.String[] _tokenNames
_tokenSet_0
public static final antlr.collections.impl.BitSet _tokenSet_0
_tokenSet_1
public static final antlr.collections.impl.BitSet _tokenSet_1
_tokenSet_2
public static final antlr.collections.impl.BitSet _tokenSet_2
_tokenSet_3
public static final antlr.collections.impl.BitSet _tokenSet_3
_tokenSet_4
public static final antlr.collections.impl.BitSet _tokenSet_4
_tokenSet_5
public static final antlr.collections.impl.BitSet _tokenSet_5
_tokenSet_6
public static final antlr.collections.impl.BitSet _tokenSet_6
_tokenSet_7
public static final antlr.collections.impl.BitSet _tokenSet_7
_tokenSet_8
public static final antlr.collections.impl.BitSet _tokenSet_8
_tokenSet_9
public static final antlr.collections.impl.BitSet _tokenSet_9
JSHOP2Parser
protected JSHOP2Parser(antlr.TokenBuffer tokenBuf,
int k)
JSHOP2Parser
public JSHOP2Parser(antlr.TokenBuffer tokenBuf)
JSHOP2Parser
protected JSHOP2Parser(antlr.TokenStream lexer,
int k)
JSHOP2Parser
public JSHOP2Parser(antlr.TokenStream lexer)
JSHOP2Parser
public JSHOP2Parser(antlr.ParserSharedInputState state)
initialize
public void initialize(JSHOP2Lexer lexerIn,
InternalDomain domainIn)
command
public final void command()
throws antlr.RecognitionException,
antlr.TokenStreamException,
java.io.IOException
- Throws:
antlr.RecognitionException
antlr.TokenStreamException
java.io.IOException
prob
public final void prob()
throws antlr.RecognitionException,
antlr.TokenStreamException,
java.io.IOException
- Throws:
antlr.RecognitionException
antlr.TokenStreamException
java.io.IOException
la
public final Predicate la()
throws antlr.RecognitionException,
antlr.TokenStreamException
- Throws:
antlr.RecognitionException
antlr.TokenStreamException
tl
public final TaskList tl()
throws antlr.RecognitionException,
antlr.TokenStreamException
- Throws:
antlr.RecognitionException
antlr.TokenStreamException
domain
public final void domain()
throws antlr.RecognitionException,
antlr.TokenStreamException,
java.io.IOException
- Throws:
antlr.RecognitionException
antlr.TokenStreamException
java.io.IOException
pde
public final void pde()
throws antlr.RecognitionException,
antlr.TokenStreamException
- Throws:
antlr.RecognitionException
antlr.TokenStreamException
method
public final void method()
throws antlr.RecognitionException,
antlr.TokenStreamException
- Throws:
antlr.RecognitionException
antlr.TokenStreamException
op
public final void op()
throws antlr.RecognitionException,
antlr.TokenStreamException
- Throws:
antlr.RecognitionException
antlr.TokenStreamException
axiom
public final void axiom()
throws antlr.RecognitionException,
antlr.TokenStreamException
- Throws:
antlr.RecognitionException
antlr.TokenStreamException
terml
public final List terml()
throws antlr.RecognitionException,
antlr.TokenStreamException
- Throws:
antlr.RecognitionException
antlr.TokenStreamException
lp
public final LogicalPrecondition lp()
throws antlr.RecognitionException,
antlr.TokenStreamException
- Throws:
antlr.RecognitionException
antlr.TokenStreamException
da
public final java.util.Vector da()
throws antlr.RecognitionException,
antlr.TokenStreamException
- Throws:
antlr.RecognitionException
antlr.TokenStreamException
term
public final Term term()
throws antlr.RecognitionException,
antlr.TokenStreamException
- Throws:
antlr.RecognitionException
antlr.TokenStreamException
dae
public final DelAddElement dae()
throws antlr.RecognitionException,
antlr.TokenStreamException
- Throws:
antlr.RecognitionException
antlr.TokenStreamException
le
public final LogicalExpression le()
throws antlr.RecognitionException,
antlr.TokenStreamException
- Throws:
antlr.RecognitionException
antlr.TokenStreamException
ta
public final TaskAtom ta()
throws antlr.RecognitionException,
antlr.TokenStreamException
- Throws:
antlr.RecognitionException
antlr.TokenStreamException
fid
public final java.lang.String fid()
throws antlr.RecognitionException,
antlr.TokenStreamException
- Throws:
antlr.RecognitionException
antlr.TokenStreamException
mk_tokenSet_0
private static final long[] mk_tokenSet_0()
mk_tokenSet_1
private static final long[] mk_tokenSet_1()
mk_tokenSet_2
private static final long[] mk_tokenSet_2()
mk_tokenSet_3
private static final long[] mk_tokenSet_3()
mk_tokenSet_4
private static final long[] mk_tokenSet_4()
mk_tokenSet_5
private static final long[] mk_tokenSet_5()
mk_tokenSet_6
private static final long[] mk_tokenSet_6()
mk_tokenSet_7
private static final long[] mk_tokenSet_7()
mk_tokenSet_8
private static final long[] mk_tokenSet_8()
mk_tokenSet_9
private static final long[] mk_tokenSet_9()