public class PNParser extends antlr.LLkParser implements PNParserTokenTypes
Modifier and Type | Field and Description |
---|---|
static java.lang.String[] |
_tokenNames |
static antlr.collections.impl.BitSet |
_tokenSet_0 |
static antlr.collections.impl.BitSet |
_tokenSet_1 |
ARROW, ASSIGNMENT, BITAND, BITNOT, BITOR, COLON, COMMA, COMMENT, DIGIT, DIVIDES, DOTDOT, EOF, EOL, EQUALITY, EQUIV, GREATER, GREATEREQ, IDENT, IGNORE, IMPLIES, LABEL, LBRACK, LBRACKGRID, LESS, LESSEQ, LETTER, LITERAL_AND, LITERAL_ARRAY, LITERAL_assume, LITERAL_auto, LITERAL_autostar, LITERAL_AXIOM, LITERAL_BIT, LITERAL_BITFALSE, LITERAL_BITTRUE, LITERAL_BOOLEAN, LITERAL_case, LITERAL_counterexample, LITERAL_decompose, LITERAL_ELSE, LITERAL_ELSIF, LITERAL_ENDIF, LITERAL_environment, LITERAL_EXISTS, LITERAL_expand, LITERAL_FALSE, LITERAL_flatten, LITERAL_flip, LITERAL_FORALL, LITERAL_FORMULA, LITERAL_goal, LITERAL_goto, LITERAL_IF, LITERAL_in, LITERAL_IN, LITERAL_induction, LITERAL_instantiate, LITERAL_INT, LITERAL_LAMBDA, LITERAL_lemma, LITERAL_LET, LITERAL_LOGICAL, LITERAL_LOGICALFALSE, LITERAL_LOGICALTRUE, LITERAL_NAT, LITERAL_newcontext, LITERAL_next, LITERAL_NOT, LITERAL_OF, LITERAL_open, LITERAL_option, LITERAL_OR, LITERAL_prev, LITERAL_printf, LITERAL_printt, LITERAL_printv, LITERAL_proof, LITERAL_prove, LITERAL_quit, LITERAL_read, LITERAL_REAL, LITERAL_redo, LITERAL_scatter, LITERAL_simplify, LITERAL_skolemize, LITERAL_split, LITERAL_state, LITERAL_SUBTYPE, LITERAL_tcc, LITERAL_THEN, LITERAL_TRUE, LITERAL_TYPE, LITERAL_typeaxiom, LITERAL_undo, LITERAL_WITH, LITERAL_XOR, LPAR, LPARGRID, MINUS, NONEQUALITY, NULL_TREE_LOOKAHEAD, NUMBER, PERIOD, PLUS, POWER, RBRACK, RBRACKGRID, REALLETTER, RPAR, RPARGRID, SEMICOLON, STRING, TIMES, UNDERSCORE, WS
Constructor and Description |
---|
PNParser(antlr.ParserSharedInputState state) |
PNParser(antlr.TokenBuffer tokenBuf) |
PNParser(antlr.TokenStream lexer) |
Modifier and Type | Method and Description |
---|---|
Declaration |
declaration() |
Command |
main() |
void |
param(java.util.Vector sequence) |
TypedIdentifier[] |
paramList() |
Type |
typeExp() |
Type |
typeExpBase() |
Expression |
valueExp() |
Expression |
valueExp0() |
Expression |
valueExp10() |
Expression |
valueExp3() |
Expression |
valueExp30() |
Expression |
valueExp40() |
Expression |
valueExp43() |
Expression |
valueExp45() |
Expression |
valueExp5() |
Expression |
valueExp50() |
Expression |
valueExp6() |
Expression |
valueExp60() |
Expression |
valueExp70() |
Expression |
valueExp8() |
Expression |
valueExp9() |
Expression |
valueExp90() |
ValueDeclaration |
vdeclaration() |
addMessageListener, addParserListener, addParserMatchListener, addParserTokenListener, addSemanticPredicateListener, addSyntacticPredicateListener, addTraceListener, consumeUntil, consumeUntil, getAST, getASTFactory, getFilename, getInputState, getTokenName, getTokenNames, getTokenTypeToASTClassMap, isDebugMode, mark, match, match, matchNot, panic, recover, removeMessageListener, removeParserListener, removeParserMatchListener, removeParserTokenListener, removeSemanticPredicateListener, removeSyntacticPredicateListener, removeTraceListener, reportError, reportError, reportWarning, rewind, setASTFactory, setASTNodeClass, setASTNodeType, setDebugMode, setFilename, setIgnoreInvalidDebugCalls, setInputState, setTokenBuffer, traceIndent
public static final java.lang.String[] _tokenNames
public static final antlr.collections.impl.BitSet _tokenSet_0
public static final antlr.collections.impl.BitSet _tokenSet_1
public PNParser(antlr.TokenBuffer tokenBuf)
public PNParser(antlr.TokenStream lexer)
public PNParser(antlr.ParserSharedInputState state)
public final Command main() throws antlr.RecognitionException, antlr.TokenStreamException
antlr.RecognitionException
antlr.TokenStreamException
public final Declaration declaration() throws antlr.RecognitionException, antlr.TokenStreamException
antlr.RecognitionException
antlr.TokenStreamException
public final Expression valueExp() throws antlr.RecognitionException, antlr.TokenStreamException
antlr.RecognitionException
antlr.TokenStreamException
public final Type typeExp() throws antlr.RecognitionException, antlr.TokenStreamException
antlr.RecognitionException
antlr.TokenStreamException
public final Type typeExpBase() throws antlr.RecognitionException, antlr.TokenStreamException
antlr.RecognitionException
antlr.TokenStreamException
public final TypedIdentifier[] paramList() throws antlr.RecognitionException, antlr.TokenStreamException
antlr.RecognitionException
antlr.TokenStreamException
public final Expression valueExp90() throws antlr.RecognitionException, antlr.TokenStreamException
antlr.RecognitionException
antlr.TokenStreamException
public final ValueDeclaration vdeclaration() throws antlr.RecognitionException, antlr.TokenStreamException
antlr.RecognitionException
antlr.TokenStreamException
public final Expression valueExp70() throws antlr.RecognitionException, antlr.TokenStreamException
antlr.RecognitionException
antlr.TokenStreamException
public final Expression valueExp60() throws antlr.RecognitionException, antlr.TokenStreamException
antlr.RecognitionException
antlr.TokenStreamException
public final Expression valueExp50() throws antlr.RecognitionException, antlr.TokenStreamException
antlr.RecognitionException
antlr.TokenStreamException
public final Expression valueExp45() throws antlr.RecognitionException, antlr.TokenStreamException
antlr.RecognitionException
antlr.TokenStreamException
public final Expression valueExp43() throws antlr.RecognitionException, antlr.TokenStreamException
antlr.RecognitionException
antlr.TokenStreamException
public final Expression valueExp40() throws antlr.RecognitionException, antlr.TokenStreamException
antlr.RecognitionException
antlr.TokenStreamException
public final Expression valueExp30() throws antlr.RecognitionException, antlr.TokenStreamException
antlr.RecognitionException
antlr.TokenStreamException
public final Expression valueExp10() throws antlr.RecognitionException, antlr.TokenStreamException
antlr.RecognitionException
antlr.TokenStreamException
public final Expression valueExp9() throws antlr.RecognitionException, antlr.TokenStreamException
antlr.RecognitionException
antlr.TokenStreamException
public final Expression valueExp8() throws antlr.RecognitionException, antlr.TokenStreamException
antlr.RecognitionException
antlr.TokenStreamException
public final Expression valueExp6() throws antlr.RecognitionException, antlr.TokenStreamException
antlr.RecognitionException
antlr.TokenStreamException
public final Expression valueExp5() throws antlr.RecognitionException, antlr.TokenStreamException
antlr.RecognitionException
antlr.TokenStreamException
public final Expression valueExp3() throws antlr.RecognitionException, antlr.TokenStreamException
antlr.RecognitionException
antlr.TokenStreamException
public final Expression valueExp0() throws antlr.RecognitionException, antlr.TokenStreamException
antlr.RecognitionException
antlr.TokenStreamException
public final void param(java.util.Vector sequence) throws antlr.RecognitionException, antlr.TokenStreamException
antlr.RecognitionException
antlr.TokenStreamException