JSHOP2
Class JSHOP2Parser

java.lang.Object
  extended by antlr.Parser
      extended by antlr.LLkParser
          extended by JSHOP2.JSHOP2Parser
All Implemented Interfaces:
JSHOP2TokenTypes

public class JSHOP2Parser
extends antlr.LLkParser
implements JSHOP2TokenTypes


Field Summary
static java.lang.String[] _tokenNames
           
static antlr.collections.impl.BitSet _tokenSet_0
           
static antlr.collections.impl.BitSet _tokenSet_1
           
static antlr.collections.impl.BitSet _tokenSet_2
           
static antlr.collections.impl.BitSet _tokenSet_3
           
static antlr.collections.impl.BitSet _tokenSet_4
           
static antlr.collections.impl.BitSet _tokenSet_5
           
static antlr.collections.impl.BitSet _tokenSet_6
           
static antlr.collections.impl.BitSet _tokenSet_7
           
static antlr.collections.impl.BitSet _tokenSet_8
           
static antlr.collections.impl.BitSet _tokenSet_9
           
private  InternalDomain domain
           
private  JSHOP2Lexer lexer
           
private  java.util.Vector<java.lang.String> vars
           
private  int varsMaxSize
           
 
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
 
Constructor Summary
  JSHOP2Parser(antlr.ParserSharedInputState state)
           
  JSHOP2Parser(antlr.TokenBuffer tokenBuf)
           
protected JSHOP2Parser(antlr.TokenBuffer tokenBuf, int k)
           
  JSHOP2Parser(antlr.TokenStream lexer)
           
protected JSHOP2Parser(antlr.TokenStream lexer, int k)
           
 
Method Summary
 void axiom()
           
 void command()
           
 java.util.Vector da()
           
 DelAddElement dae()
           
 void domain()
           
 java.lang.String fid()
           
 void initialize(JSHOP2Lexer lexerIn, InternalDomain domainIn)
           
 Predicate la()
           
 LogicalExpression le()
           
 LogicalPrecondition lp()
           
 void method()
           
private static long[] mk_tokenSet_0()
           
private static long[] mk_tokenSet_1()
           
private static long[] mk_tokenSet_2()
           
private static long[] mk_tokenSet_3()
           
private static long[] mk_tokenSet_4()
           
private static long[] mk_tokenSet_5()
           
private static long[] mk_tokenSet_6()
           
private static long[] mk_tokenSet_7()
           
private static long[] mk_tokenSet_8()
           
private static long[] mk_tokenSet_9()
           
 void op()
           
 void pde()
           
 void prob()
           
 TaskAtom ta()
           
 Term term()
           
 List terml()
           
 TaskList tl()
           
 
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
 

Field Detail

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
Constructor Detail

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)
Method Detail

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()