net.mtu.eggplant.dbc
Class Java14Recognizer

java.lang.Object
  extended byantlr.Parser
      extended byantlr.LLkParser
          extended bynet.mtu.eggplant.dbc.Java14Recognizer
All Implemented Interfaces:
Java14RecognizerTokenTypes

public class Java14Recognizer
extends LLkParser
implements Java14RecognizerTokenTypes


Field Summary
static String[] _tokenNames
           
static BitSet _tokenSet_0
           
static BitSet _tokenSet_1
           
static BitSet _tokenSet_10
           
static BitSet _tokenSet_11
           
static BitSet _tokenSet_12
           
static BitSet _tokenSet_13
           
static BitSet _tokenSet_14
           
static BitSet _tokenSet_15
           
static BitSet _tokenSet_16
           
static BitSet _tokenSet_17
           
static BitSet _tokenSet_18
           
static BitSet _tokenSet_19
           
static BitSet _tokenSet_2
           
static BitSet _tokenSet_20
           
static BitSet _tokenSet_21
           
static BitSet _tokenSet_3
           
static BitSet _tokenSet_4
           
static BitSet _tokenSet_5
           
static BitSet _tokenSet_6
           
static BitSet _tokenSet_7
           
static BitSet _tokenSet_8
           
static BitSet _tokenSet_9
           
 
Fields inherited from class antlr.Parser
astFactory, inputState, returnAST, tokenNames, tokenTypeToASTClassMap, traceDepth
 
Fields inherited from interface net.mtu.eggplant.dbc.Java14RecognizerTokenTypes
ABSTRACT, ARRAY_DECLARATOR, ARRAY_INIT, ASSERT_CONDITION, ASSIGN, BAND, BAND_ASSIGN, BLOCK, BNOT, BOR, BOR_ASSIGN, BSR, BSR_ASSIGN, BXOR, BXOR_ASSIGN, CASE_GROUP, CHAR_LITERAL, CLASS_DEF, COLON, COMMA, CONDITION, CTOR_DEF, DEC, DIV, DIV_ASSIGN, DOT, ELIST, EMPTY_STAT, EOF, EQUAL, ESC, EXPONENT, EXPR, EXTENDS_CLAUSE, FINAL, FLOAT_SUFFIX, FOR_CONDITION, FOR_INIT, FOR_ITERATOR, GE, GT, HEX_DIGIT, IDENT, IMPLEMENTS_CLAUSE, IMPORT, INC, INDEX_OP, INSTANCE_INIT, INTERFACE_DEF, INVARIANT_CONDITION, JAVADOC_CLOSE, JAVADOC_OPEN, LABELED_STAT, LAND, LBRACK, LCURLY, LE, LITERAL_assert, LITERAL_boolean, LITERAL_break, LITERAL_byte, LITERAL_case, LITERAL_catch, LITERAL_char, LITERAL_class, LITERAL_continue, LITERAL_default, LITERAL_do, LITERAL_double, LITERAL_else, LITERAL_extends, LITERAL_false, LITERAL_finally, LITERAL_float, LITERAL_for, LITERAL_if, LITERAL_implements, LITERAL_import, LITERAL_instanceof, LITERAL_int, LITERAL_interface, LITERAL_long, LITERAL_native, LITERAL_new, LITERAL_null, LITERAL_package, LITERAL_private, LITERAL_protected, LITERAL_public, LITERAL_return, LITERAL_short, LITERAL_static, LITERAL_super, LITERAL_switch, LITERAL_synchronized, LITERAL_this, LITERAL_threadsafe, LITERAL_throw, LITERAL_throws, LITERAL_transient, LITERAL_true, LITERAL_try, LITERAL_void, LITERAL_volatile, LITERAL_while, LNOT, LOR, LPAREN, LT, MESSAGE, METHOD_CALL, METHOD_DEF, MINUS, MINUS_ASSIGN, ML_COMMENT, MOD, MOD_ASSIGN, MODIFIERS, NOT_EQUAL, NULL_TREE_LOOKAHEAD, NUM_FLOAT, NUM_INT, OBJBLOCK, PACKAGE_DEF, PARAMETER_DEF, PARAMETERS, PLUS, PLUS_ASSIGN, POST_CONDITION, POST_DEC, POST_INC, PRE_CONDITION, QUESTION, RBRACK, RCURLY, RPAREN, SEMI, SL, SL_ASSIGN, SL_COMMENT, SLIST, SR, SR_ASSIGN, STAR, STAR_ASSIGN, STATIC_INIT, STRING_LITERAL, TYPE, TYPECAST, UNARY_MINUS, UNARY_PLUS, VARIABLE_DEF, VOCAB, WS
 
Constructor Summary
  Java14Recognizer(ParserSharedInputState state)
           
  Java14Recognizer(TokenBuffer tokenBuf)
           
protected Java14Recognizer(TokenBuffer tokenBuf, int k)
           
  Java14Recognizer(TokenStream lexer)
           
protected Java14Recognizer(TokenStream lexer, int k)
           
 
Method Summary
 void aCase()
           
 void additiveExpression()
           
 void addPostCondition(Token post)
          clear out the list of postconditions.
 void addPreCondition(Token pre)
          Add a precondition to the list of preconditions.
 void andExpression()
           
 void argList()
           
 void arrayInitializer()
           
 void assertOrInvariantCondition()
           
 void assignmentExpression()
           
 Token builtInType()
           
 Token builtInTypeSpec()
           
 void casesGroup()
           
 void caseSList()
           
 void classBlock(String name, boolean isInterface, boolean isAnonymous, Token superclass)
           
 void classDefinition()
           
 Token classTypeSpec()
           
 void clearPostConditions()
          clear out the list of postconditions.
 void clearPreConditions()
          clear out the list of preconditions.
 CodePointPair compoundStatement()
           
 void conditionalExpression()
           
 void constant()
           
 net.mtu.eggplant.util.Pair ctorHead()
           
 void declaration()
           
 void declaratorBrackets()
           
 void end()
           
 void equalityExpression()
           
 void exclusiveOrExpression()
           
 void expression()
           
 void expressionList()
           
 void field()
           
 void forCond()
           
 void forInit()
           
 void forIter()
           
 List getPostConditions()
          Get the list of postconditions that have been seen since the last clear.
 List getPreConditions()
          Get the list of preconditions that have been seen since the last clear.
 Symtab getSymtab()
          Get the symbol table object being used.
 void handler()
           
 Token identifier()
           
 void identifierStar()
           
 void implementsClause()
           
 void importDefinition()
           
 void inclusiveOrExpression()
           
 void initializer()
           
 void interfaceDefinition()
           
 void interfaceExtends()
           
 void invariantCondition()
           
 void javadocComment()
           
 void logicalAndExpression()
           
 void logicalOrExpression()
           
 void middle()
           
 Token modifier()
           
 Set modifiers()
           
 void multiplicativeExpression()
           
 void newArrayDeclarator()
           
 void newExpression()
           
 String packageDefinition()
           
 net.mtu.eggplant.util.StringPair parameterDeclaration()
           
 List parameterDeclarationList()
           
 StringBuffer parameterDeclaratorBrackets()
           
 void parameterModifier()
           
 void postfixExpression()
           
 void pre()
           
 void prePostField()
           
 void prePosts()
           
 void primaryExpression()
           
 void print(String s)
           
 void relationalExpression()
           
 void returnTypeBrackersOnEndOfMethodHead()
           
 void setSymtab(Symtab symtab)
          set the symbol table object to use.
 void shiftExpression()
           
 void start()
           
 void statement()
           
 Token superClassClause()
           
 Set throwsClause()
           
 void tryBlock()
           
 Token type()
           
 void typeDefinition()
           
 Token typeSpec()
           
 void unaryExpression()
           
 void unaryExpressionNotPlusMinus()
           
 void unit()
           
 void uselessComments()
           
 void variableDeclarator()
           
 void variableDefinitions()
           
 void varInitializer()
           
 
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

_tokenNames

public static final String[] _tokenNames

_tokenSet_0

public static final BitSet _tokenSet_0

_tokenSet_1

public static final BitSet _tokenSet_1

_tokenSet_2

public static final BitSet _tokenSet_2

_tokenSet_3

public static final BitSet _tokenSet_3

_tokenSet_4

public static final BitSet _tokenSet_4

_tokenSet_5

public static final BitSet _tokenSet_5

_tokenSet_6

public static final BitSet _tokenSet_6

_tokenSet_7

public static final BitSet _tokenSet_7

_tokenSet_8

public static final BitSet _tokenSet_8

_tokenSet_9

public static final BitSet _tokenSet_9

_tokenSet_10

public static final BitSet _tokenSet_10

_tokenSet_11

public static final BitSet _tokenSet_11

_tokenSet_12

public static final BitSet _tokenSet_12

_tokenSet_13

public static final BitSet _tokenSet_13

_tokenSet_14

public static final BitSet _tokenSet_14

_tokenSet_15

public static final BitSet _tokenSet_15

_tokenSet_16

public static final BitSet _tokenSet_16

_tokenSet_17

public static final BitSet _tokenSet_17

_tokenSet_18

public static final BitSet _tokenSet_18

_tokenSet_19

public static final BitSet _tokenSet_19

_tokenSet_20

public static final BitSet _tokenSet_20

_tokenSet_21

public static final BitSet _tokenSet_21
Constructor Detail

Java14Recognizer

protected Java14Recognizer(TokenBuffer tokenBuf,
                           int k)

Java14Recognizer

public Java14Recognizer(TokenBuffer tokenBuf)

Java14Recognizer

protected Java14Recognizer(TokenStream lexer,
                           int k)

Java14Recognizer

public Java14Recognizer(TokenStream lexer)

Java14Recognizer

public Java14Recognizer(ParserSharedInputState state)
Method Detail

print

public void print(String s)

setSymtab

public void setSymtab(Symtab symtab)
set the symbol table object to use.


getSymtab

public Symtab getSymtab()
Get the symbol table object being used.


getPreConditions

public List getPreConditions()
Get the list of preconditions that have been seen since the last clear. Preconditions are in the order they appear in the source.


addPreCondition

public void addPreCondition(Token pre)
Add a precondition to the list of preconditions.


clearPreConditions

public void clearPreConditions()
clear out the list of preconditions.


getPostConditions

public List getPostConditions()
Get the list of postconditions that have been seen since the last clear. Postconditions are in the order they appear in the source.


addPostCondition

public void addPostCondition(Token post)
clear out the list of postconditions.


clearPostConditions

public void clearPostConditions()
clear out the list of postconditions.


statement

public final void statement()
                     throws RecognitionException,
                            TokenStreamException
Throws:
RecognitionException
TokenStreamException

compoundStatement

public final CodePointPair compoundStatement()
                                      throws RecognitionException,
                                             TokenStreamException
Throws:
RecognitionException
TokenStreamException

classDefinition

public final void classDefinition()
                           throws RecognitionException,
                                  TokenStreamException
Throws:
RecognitionException
TokenStreamException

declaration

public final void declaration()
                       throws RecognitionException,
                              TokenStreamException
Throws:
RecognitionException
TokenStreamException

expression

public final void expression()
                      throws RecognitionException,
                             TokenStreamException
Throws:
RecognitionException
TokenStreamException

forInit

public final void forInit()
                   throws RecognitionException,
                          TokenStreamException
Throws:
RecognitionException
TokenStreamException

forCond

public final void forCond()
                   throws RecognitionException,
                          TokenStreamException
Throws:
RecognitionException
TokenStreamException

forIter

public final void forIter()
                   throws RecognitionException,
                          TokenStreamException
Throws:
RecognitionException
TokenStreamException

casesGroup

public final void casesGroup()
                      throws RecognitionException,
                             TokenStreamException
Throws:
RecognitionException
TokenStreamException

tryBlock

public final void tryBlock()
                    throws RecognitionException,
                           TokenStreamException
Throws:
RecognitionException
TokenStreamException

assertOrInvariantCondition

public final void assertOrInvariantCondition()
                                      throws RecognitionException,
                                             TokenStreamException
Throws:
RecognitionException
TokenStreamException

unit

public final void unit()
                throws RecognitionException,
                       TokenStreamException
Throws:
RecognitionException
TokenStreamException

pre

public final void pre()
               throws RecognitionException,
                      TokenStreamException
Throws:
RecognitionException
TokenStreamException

start

public final void start()
                 throws RecognitionException,
                        TokenStreamException
Throws:
RecognitionException
TokenStreamException

middle

public final void middle()
                  throws RecognitionException,
                         TokenStreamException
Throws:
RecognitionException
TokenStreamException

end

public final void end()
               throws RecognitionException,
                      TokenStreamException
Throws:
RecognitionException
TokenStreamException

uselessComments

public final void uselessComments()
                           throws RecognitionException,
                                  TokenStreamException
Throws:
RecognitionException
TokenStreamException

packageDefinition

public final String packageDefinition()
                               throws RecognitionException,
                                      TokenStreamException
Throws:
RecognitionException
TokenStreamException

importDefinition

public final void importDefinition()
                            throws RecognitionException,
                                   TokenStreamException
Throws:
RecognitionException
TokenStreamException

invariantCondition

public final void invariantCondition()
                              throws RecognitionException,
                                     TokenStreamException
Throws:
RecognitionException
TokenStreamException

typeDefinition

public final void typeDefinition()
                          throws RecognitionException,
                                 TokenStreamException
Throws:
RecognitionException
TokenStreamException

javadocComment

public final void javadocComment()
                          throws RecognitionException,
                                 TokenStreamException
Throws:
RecognitionException
TokenStreamException

identifier

public final Token identifier()
                       throws RecognitionException,
                              TokenStreamException
Throws:
RecognitionException
TokenStreamException

identifierStar

public final void identifierStar()
                          throws RecognitionException,
                                 TokenStreamException
Throws:
RecognitionException
TokenStreamException

modifiers

public final Set modifiers()
                    throws RecognitionException,
                           TokenStreamException
Throws:
RecognitionException
TokenStreamException

interfaceDefinition

public final void interfaceDefinition()
                               throws RecognitionException,
                                      TokenStreamException
Throws:
RecognitionException
TokenStreamException

typeSpec

public final Token typeSpec()
                     throws RecognitionException,
                            TokenStreamException
Throws:
RecognitionException
TokenStreamException

variableDefinitions

public final void variableDefinitions()
                               throws RecognitionException,
                                      TokenStreamException
Throws:
RecognitionException
TokenStreamException

modifier

public final Token modifier()
                     throws RecognitionException,
                            TokenStreamException
Throws:
RecognitionException
TokenStreamException

classTypeSpec

public final Token classTypeSpec()
                          throws RecognitionException,
                                 TokenStreamException
Throws:
RecognitionException
TokenStreamException

builtInTypeSpec

public final Token builtInTypeSpec()
                            throws RecognitionException,
                                   TokenStreamException
Throws:
RecognitionException
TokenStreamException

builtInType

public final Token builtInType()
                        throws RecognitionException,
                               TokenStreamException
Throws:
RecognitionException
TokenStreamException

type

public final Token type()
                 throws RecognitionException,
                        TokenStreamException
Throws:
RecognitionException
TokenStreamException

superClassClause

public final Token superClassClause()
                             throws RecognitionException,
                                    TokenStreamException
Throws:
RecognitionException
TokenStreamException

implementsClause

public final void implementsClause()
                            throws RecognitionException,
                                   TokenStreamException
Throws:
RecognitionException
TokenStreamException

classBlock

public final void classBlock(String name,
                             boolean isInterface,
                             boolean isAnonymous,
                             Token superclass)
                      throws RecognitionException,
                             TokenStreamException
Throws:
RecognitionException
TokenStreamException

interfaceExtends

public final void interfaceExtends()
                            throws RecognitionException,
                                   TokenStreamException
Throws:
RecognitionException
TokenStreamException

prePostField

public final void prePostField()
                        throws RecognitionException,
                               TokenStreamException
Throws:
RecognitionException
TokenStreamException

prePosts

public final void prePosts()
                    throws RecognitionException,
                           TokenStreamException
Throws:
RecognitionException
TokenStreamException

field

public final void field()
                 throws RecognitionException,
                        TokenStreamException
Throws:
RecognitionException
TokenStreamException

ctorHead

public final net.mtu.eggplant.util.Pair ctorHead()
                                          throws RecognitionException,
                                                 TokenStreamException
Throws:
RecognitionException
TokenStreamException

parameterDeclarationList

public final List parameterDeclarationList()
                                    throws RecognitionException,
                                           TokenStreamException
Throws:
RecognitionException
TokenStreamException

returnTypeBrackersOnEndOfMethodHead

public final void returnTypeBrackersOnEndOfMethodHead()
                                               throws RecognitionException,
                                                      TokenStreamException
Throws:
RecognitionException
TokenStreamException

throwsClause

public final Set throwsClause()
                       throws RecognitionException,
                              TokenStreamException
Throws:
RecognitionException
TokenStreamException

variableDeclarator

public final void variableDeclarator()
                              throws RecognitionException,
                                     TokenStreamException
Throws:
RecognitionException
TokenStreamException

declaratorBrackets

public final void declaratorBrackets()
                              throws RecognitionException,
                                     TokenStreamException
Throws:
RecognitionException
TokenStreamException

varInitializer

public final void varInitializer()
                          throws RecognitionException,
                                 TokenStreamException
Throws:
RecognitionException
TokenStreamException

initializer

public final void initializer()
                       throws RecognitionException,
                              TokenStreamException
Throws:
RecognitionException
TokenStreamException

arrayInitializer

public final void arrayInitializer()
                            throws RecognitionException,
                                   TokenStreamException
Throws:
RecognitionException
TokenStreamException

parameterDeclaration

public final net.mtu.eggplant.util.StringPair parameterDeclaration()
                                                            throws RecognitionException,
                                                                   TokenStreamException
Throws:
RecognitionException
TokenStreamException

parameterModifier

public final void parameterModifier()
                             throws RecognitionException,
                                    TokenStreamException
Throws:
RecognitionException
TokenStreamException

parameterDeclaratorBrackets

public final StringBuffer parameterDeclaratorBrackets()
                                               throws RecognitionException,
                                                      TokenStreamException
Throws:
RecognitionException
TokenStreamException

aCase

public final void aCase()
                 throws RecognitionException,
                        TokenStreamException
Throws:
RecognitionException
TokenStreamException

caseSList

public final void caseSList()
                     throws RecognitionException,
                            TokenStreamException
Throws:
RecognitionException
TokenStreamException

expressionList

public final void expressionList()
                          throws RecognitionException,
                                 TokenStreamException
Throws:
RecognitionException
TokenStreamException

handler

public final void handler()
                   throws RecognitionException,
                          TokenStreamException
Throws:
RecognitionException
TokenStreamException

assignmentExpression

public final void assignmentExpression()
                                throws RecognitionException,
                                       TokenStreamException
Throws:
RecognitionException
TokenStreamException

conditionalExpression

public final void conditionalExpression()
                                 throws RecognitionException,
                                        TokenStreamException
Throws:
RecognitionException
TokenStreamException

logicalOrExpression

public final void logicalOrExpression()
                               throws RecognitionException,
                                      TokenStreamException
Throws:
RecognitionException
TokenStreamException

logicalAndExpression

public final void logicalAndExpression()
                                throws RecognitionException,
                                       TokenStreamException
Throws:
RecognitionException
TokenStreamException

inclusiveOrExpression

public final void inclusiveOrExpression()
                                 throws RecognitionException,
                                        TokenStreamException
Throws:
RecognitionException
TokenStreamException

exclusiveOrExpression

public final void exclusiveOrExpression()
                                 throws RecognitionException,
                                        TokenStreamException
Throws:
RecognitionException
TokenStreamException

andExpression

public final void andExpression()
                         throws RecognitionException,
                                TokenStreamException
Throws:
RecognitionException
TokenStreamException

equalityExpression

public final void equalityExpression()
                              throws RecognitionException,
                                     TokenStreamException
Throws:
RecognitionException
TokenStreamException

relationalExpression

public final void relationalExpression()
                                throws RecognitionException,
                                       TokenStreamException
Throws:
RecognitionException
TokenStreamException

shiftExpression

public final void shiftExpression()
                           throws RecognitionException,
                                  TokenStreamException
Throws:
RecognitionException
TokenStreamException

additiveExpression

public final void additiveExpression()
                              throws RecognitionException,
                                     TokenStreamException
Throws:
RecognitionException
TokenStreamException

multiplicativeExpression

public final void multiplicativeExpression()
                                    throws RecognitionException,
                                           TokenStreamException
Throws:
RecognitionException
TokenStreamException

unaryExpression

public final void unaryExpression()
                           throws RecognitionException,
                                  TokenStreamException
Throws:
RecognitionException
TokenStreamException

unaryExpressionNotPlusMinus

public final void unaryExpressionNotPlusMinus()
                                       throws RecognitionException,
                                              TokenStreamException
Throws:
RecognitionException
TokenStreamException

postfixExpression

public final void postfixExpression()
                             throws RecognitionException,
                                    TokenStreamException
Throws:
RecognitionException
TokenStreamException

primaryExpression

public final void primaryExpression()
                             throws RecognitionException,
                                    TokenStreamException
Throws:
RecognitionException
TokenStreamException

newExpression

public final void newExpression()
                         throws RecognitionException,
                                TokenStreamException
Throws:
RecognitionException
TokenStreamException

argList

public final void argList()
                   throws RecognitionException,
                          TokenStreamException
Throws:
RecognitionException
TokenStreamException

constant

public final void constant()
                    throws RecognitionException,
                           TokenStreamException
Throws:
RecognitionException
TokenStreamException

newArrayDeclarator

public final void newArrayDeclarator()
                              throws RecognitionException,
                                     TokenStreamException
Throws:
RecognitionException
TokenStreamException