fmrisc.Proving.CVCL
Class CVCLParser
java.lang.Object
antlr.Parser
antlr.LLkParser
fmrisc.Proving.CVCL.CVCLParser
- All Implemented Interfaces:
- CVCLParserTokenTypes
public class CVCLParser
- extends antlr.LLkParser
- implements CVCLParserTokenTypes
Fields inherited from interface fmrisc.Proving.CVCL.CVCLParserTokenTypes |
ARROW, ASSIGNMENT, COLON, COMMA, COMMENT, DIGIT, DIVIDES, DOTDOT, EOF, EOL, EQUALITY, EQUIV, GREATER, GREATEREQ, IDENT, IGNORE, IMPLIES, LBRACK, LBRACKGRID, LESS, LESSEQ, LETTER, LITERAL_AND, LITERAL_ARRAY, LITERAL_BOOLEAN, LITERAL_ELSE, LITERAL_ELSIF, LITERAL_ENDIF, LITERAL_EXISTS, LITERAL_FALSE, LITERAL_FORALL, LITERAL_IF, LITERAL_IN, LITERAL_INT, LITERAL_LAMBDA, LITERAL_LET, LITERAL_NOT, LITERAL_OF, LITERAL_OR, LITERAL_REAL, LITERAL_SUBTYPE, LITERAL_THEN, LITERAL_TRUE, LITERAL_TYPE, LITERAL_WITH, LITERAL_XOR, LPAR, LPARGRID, MINUS, NONEQUALITY, NULL_TREE_LOOKAHEAD, NUMBER, PERIOD, PLUS, POWER, RBRACK, RBRACKGRID, RPAR, RPARGRID, SEMICOLON, TIMES, 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, 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 |
Methods inherited from class java.lang.Object |
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
_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
CVCLParser
public CVCLParser(CVCL cvcl,
CVCLLexer lexer)
CVCLParser
public CVCLParser(antlr.TokenBuffer tokenBuf)
CVCLParser
public CVCLParser(antlr.TokenStream lexer)
CVCLParser
public CVCLParser(antlr.ParserSharedInputState state)
main
public final AST main()
throws antlr.RecognitionException,
antlr.TokenStreamException
- Throws:
antlr.RecognitionException
antlr.TokenStreamException
valueExp
public final Expression valueExp()
throws antlr.RecognitionException,
antlr.TokenStreamException
- Throws:
antlr.RecognitionException
antlr.TokenStreamException
declaration
public final AST declaration()
throws antlr.RecognitionException,
antlr.TokenStreamException
- Throws:
antlr.RecognitionException
antlr.TokenStreamException
typeExp
public final Type typeExp()
throws antlr.RecognitionException,
antlr.TokenStreamException
- Throws:
antlr.RecognitionException
antlr.TokenStreamException
tdeclaration
public final TypeDeclaration tdeclaration()
throws antlr.RecognitionException,
antlr.TokenStreamException
- Throws:
antlr.RecognitionException
antlr.TokenStreamException
tdeclaration0
public final TypeDeclaration tdeclaration0()
throws antlr.RecognitionException,
antlr.TokenStreamException
- Throws:
antlr.RecognitionException
antlr.TokenStreamException
typeExpBase
public final Type typeExpBase()
throws antlr.RecognitionException,
antlr.TokenStreamException
- Throws:
antlr.RecognitionException
antlr.TokenStreamException
paramList
public final TypedIdentifier[] paramList()
throws antlr.RecognitionException,
antlr.TokenStreamException
- Throws:
antlr.RecognitionException
antlr.TokenStreamException
valueExp90
public final Expression valueExp90()
throws antlr.RecognitionException,
antlr.TokenStreamException
- Throws:
antlr.RecognitionException
antlr.TokenStreamException
vdeclaration
public final ValueDeclaration vdeclaration()
throws antlr.RecognitionException,
antlr.TokenStreamException
- Throws:
antlr.RecognitionException
antlr.TokenStreamException
valueExp70
public final Expression valueExp70()
throws antlr.RecognitionException,
antlr.TokenStreamException
- Throws:
antlr.RecognitionException
antlr.TokenStreamException
valueExp60
public final Expression valueExp60()
throws antlr.RecognitionException,
antlr.TokenStreamException
- Throws:
antlr.RecognitionException
antlr.TokenStreamException
valueExp50
public final Expression valueExp50()
throws antlr.RecognitionException,
antlr.TokenStreamException
- Throws:
antlr.RecognitionException
antlr.TokenStreamException
valueExp45
public final Expression valueExp45()
throws antlr.RecognitionException,
antlr.TokenStreamException
- Throws:
antlr.RecognitionException
antlr.TokenStreamException
valueExp43
public final Expression valueExp43()
throws antlr.RecognitionException,
antlr.TokenStreamException
- Throws:
antlr.RecognitionException
antlr.TokenStreamException
valueExp40
public final Expression valueExp40()
throws antlr.RecognitionException,
antlr.TokenStreamException
- Throws:
antlr.RecognitionException
antlr.TokenStreamException
valueExp30
public final Expression valueExp30()
throws antlr.RecognitionException,
antlr.TokenStreamException
- Throws:
antlr.RecognitionException
antlr.TokenStreamException
valueExp10
public final Expression valueExp10()
throws antlr.RecognitionException,
antlr.TokenStreamException
- Throws:
antlr.RecognitionException
antlr.TokenStreamException
valueExp9
public final Expression valueExp9()
throws antlr.RecognitionException,
antlr.TokenStreamException
- Throws:
antlr.RecognitionException
antlr.TokenStreamException
valueExp8
public final Expression valueExp8()
throws antlr.RecognitionException,
antlr.TokenStreamException
- Throws:
antlr.RecognitionException
antlr.TokenStreamException
valueExp6
public final Expression valueExp6()
throws antlr.RecognitionException,
antlr.TokenStreamException
- Throws:
antlr.RecognitionException
antlr.TokenStreamException
valueExp5
public final Expression valueExp5()
throws antlr.RecognitionException,
antlr.TokenStreamException
- Throws:
antlr.RecognitionException
antlr.TokenStreamException
valueExp3
public final Expression valueExp3()
throws antlr.RecognitionException,
antlr.TokenStreamException
- Throws:
antlr.RecognitionException
antlr.TokenStreamException
valueExp0
public final Expression valueExp0()
throws antlr.RecognitionException,
antlr.TokenStreamException
- Throws:
antlr.RecognitionException
antlr.TokenStreamException
param
public final void param(java.util.Vector sequence)
throws antlr.RecognitionException,
antlr.TokenStreamException
- Throws:
antlr.RecognitionException
antlr.TokenStreamException