fmrisc.ProofNavigator.Proving.CVCL

Class CVCLParser

java.lang.Object

antlr.Parser

antlr.LLkParser

fmrisc.ProofNavigator.Proving.CVCL.CVCLParser

All Implemented Interfaces:

CVCLParserTokenTypes

public class CVCLParser
extends antlr.LLkParser
implements CVCLParserTokenTypes

Field Summary

Fields

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

Fields inherited from interface fmrisc.ProofNavigator.Proving.CVCL.CVCLParserTokenTypes

ARROW, ASSIGNMENT, BIT, BITAND, BITFALSE, BITNOT, BITOR, BITTRUE, 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

Constructor Summary

Constructors

Constructor and Description
CVCLParser(CVCL cvcl, CVCLLexer lexer)
CVCLParser(antlr.ParserSharedInputState state)
CVCLParser(antlr.TokenBuffer tokenBuf)
CVCLParser(antlr.TokenStream lexer)

Method Summary

Modifier and Type	Method and Description
AST	declaration()
AST	main()
void	param(java.util.Vector sequence)
TypedIdentifier[]	paramList()
TypeDeclaration	tdeclaration()
TypeDeclaration	tdeclaration0()
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()

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

Field Detail

_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

Constructor Detail

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)

Method Detail

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