JML

org.multijava.mjc
Class MjcParser

java.lang.Object
  extended byantlr.Parser
      extended byantlr.LLkParser
          extended byorg.multijava.mjc.MjcParser
All Implemented Interfaces:
MjcTokenTypes

public class MjcParser
extends antlr.LLkParser
implements MjcTokenTypes


Field Summary
static String[] _tokenNames
           
static antlr.collections.impl.BitSet _tokenSet_0
           
static antlr.collections.impl.BitSet _tokenSet_1
           
static antlr.collections.impl.BitSet _tokenSet_10
           
static antlr.collections.impl.BitSet _tokenSet_11
           
static antlr.collections.impl.BitSet _tokenSet_12
           
static antlr.collections.impl.BitSet _tokenSet_13
           
static antlr.collections.impl.BitSet _tokenSet_14
           
static antlr.collections.impl.BitSet _tokenSet_15
           
static antlr.collections.impl.BitSet _tokenSet_16
           
static antlr.collections.impl.BitSet _tokenSet_17
           
static antlr.collections.impl.BitSet _tokenSet_18
           
static antlr.collections.impl.BitSet _tokenSet_19
           
static antlr.collections.impl.BitSet _tokenSet_2
           
static antlr.collections.impl.BitSet _tokenSet_20
           
static antlr.collections.impl.BitSet _tokenSet_21
           
static antlr.collections.impl.BitSet _tokenSet_22
           
static antlr.collections.impl.BitSet _tokenSet_23
           
static antlr.collections.impl.BitSet _tokenSet_24
           
static antlr.collections.impl.BitSet _tokenSet_25
           
static antlr.collections.impl.BitSet _tokenSet_26
           
static antlr.collections.impl.BitSet _tokenSet_27
           
static antlr.collections.impl.BitSet _tokenSet_28
           
static antlr.collections.impl.BitSet _tokenSet_29
           
static antlr.collections.impl.BitSet _tokenSet_3
           
static antlr.collections.impl.BitSet _tokenSet_30
           
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  JExpressionFactory exprFactory
           
private  int unmatchedTypeLT
          Counts the number of LT seen in the typeArguments production.
private  ParserUtility utility
          Instances of MjcParser delegate to utility.
 
Fields inherited from class antlr.LLkParser
 
Fields inherited from class antlr.Parser
astFactory, inputState, returnAST, tokenNames, tokenTypeToASTClassMap, traceDepth
 
Fields inherited from interface org.multijava.mjc.MjcTokenTypes
ASSIGN, AT, BAND, BAND_ASSIGN, BNOT, BOR, BOR_ASSIGN, BSR, BSR_ASSIGN, BXOR, BXOR_ASSIGN, CHARACTER_LITERAL, COLON, COMMA, DEC, DOT, EOF, EQUAL, GE, GT, IDENT, INC, INTEGER_LITERAL, JAVADOC_OPEN, LAND, LBRACK, LCURLY, LE, LITERAL__nowarn, LITERAL__nowarn_op, LITERAL__warn, LITERAL__warn_op, LITERAL_abstract, LITERAL_assert, LITERAL_boolean, LITERAL_break, LITERAL_byte, LITERAL_case, LITERAL_catch, LITERAL_char, LITERAL_class, LITERAL_const, LITERAL_continue, LITERAL_default, LITERAL_do, LITERAL_double, LITERAL_else, LITERAL_extends, LITERAL_false, LITERAL_final, LITERAL_finally, LITERAL_float, LITERAL_for, LITERAL_goto, LITERAL_if, LITERAL_implements, LITERAL_import, LITERAL_instanceof, LITERAL_int, LITERAL_interface, LITERAL_long, LITERAL_native, LITERAL_new, LITERAL_null, LITERAL_package, LITERAL_peer, LITERAL_private, LITERAL_protected, LITERAL_public, LITERAL_pure, LITERAL_readonly, LITERAL_rep, LITERAL_resend, LITERAL_return, LITERAL_short, LITERAL_static, LITERAL_strictfp, LITERAL_super, LITERAL_switch, LITERAL_synchronized, LITERAL_this, LITERAL_throw, LITERAL_throws, LITERAL_transient, LITERAL_true, LITERAL_try, LITERAL_void, LITERAL_volatile, LITERAL_while, LNOT, LOR, LPAREN, LT, MINUS, MINUS_ASSIGN, NOT_EQUAL, NULL_TREE_LOOKAHEAD, PERCENT, PERCENT_ASSIGN, PLUS, PLUS_ASSIGN, QUESTION, RBRACK, RCURLY, REAL_LITERAL, RPAREN, SEMI, SL, SL_ASSIGN, SLASH, SLASH_ASSIGN, SR, SR_ASSIGN, STAR, STAR_ASSIGN, STRING_LITERAL
 
Constructor Summary
  MjcParser(antlr.ParserSharedInputState state)
           
  MjcParser(antlr.TokenBuffer tokenBuf)
           
protected MjcParser(antlr.TokenBuffer tokenBuf, int k)
           
  MjcParser(antlr.TokenStream lexer)
           
protected MjcParser(antlr.TokenStream lexer, int k)
           
  MjcParser(Main compiler, antlr.TokenStream lexer, ParsingController parsingController, boolean allowGeneric, boolean allowMultiJava, boolean allowRelaxedMultiJava, boolean allowUniverseKeywords, boolean parseJavadocs)
           
 
Method Summary
 PositionedError beautifyParserError(antlr.ANTLRException e)
          Returns an exception from our exception hierarchy by wrapping the ANTLR excepton.
private  CParseClassContext getParseClassContext()
          Generates the appropriate data structure for buffering class members during parsing.
 JSwitchLabel jACase()
           
 JExpression jAdditiveExpression()
           
 JExpression jAndExpression()
           
 JExpression[] jArgList()
           
 JArrayInitializer jArrayInitializer()
           
 JAssertStatement jAssertStatement()
           
 JExpression jAssignmentExpression()
           
 JBreakStatement jBreakStatement()
           
 CType jBuiltInType()
           
 CType jBuiltInTypeSpec(CUniverse array_univ)
           
 JSwitchGroup jCasesGroup()
           
 void jClassBlock(CParseClassContext context)
           
 JClassDeclarationType jClassDefinition(long mods, antlr.Token startToken)
           
 CClassType jClassTypeSpec(CUniverse elem_univ, CUniverse array_univ)
           
 JCompilationUnitType jCompilationUnit()
           
 JStatement[] jCompoundStatement(ParsingController.TokenWrapper declEnd)
           
 JExpression jConditionalExpression()
           
 JExpression jConstant()
           
 JContinueStatement jContinueStatement()
           
 JVariableDeclarationStatement jDeclaration()
          A declaration is the creation of a reference or primitive-type variable Create a separate Type/Var tree for each var in the var list.
 JDoStatement jDoStatement()
           
 JExpression jEqualityExpression()
           
 JExpression jExclusiveOrExpression()
           
 JExpression jExpression()
           
 JExpression[] jExpressionList()
           
 JExpression jForCond()
           
 JStatement jForInit()
           
 JExpressionListStatement jForIter()
           
 JForStatement jForStatement()
           
 JCatchClause jHandler()
           
 String jIdentifier()
           
 JIfStatement jIfStatement()
           
 CClassType[] jImplementsClause()
           
 void jImportDefinition(CParseCompilationUnitContext cunit)
           
 JExpression jInclusiveOrExpression()
           
 JExpression jInitializer()
           
 JInterfaceDeclarationType jInterfaceDefinition(long mods, antlr.Token startToken)
           
 CClassType[] jInterfaceExtends()
           
 JLabeledStatement jLabeledStatement()
           
 JExpression jLogicalAndExpression()
           
 JExpression jLogicalOrExpression()
           
 JStatement jLoopStatement()
           
 void jMember(CParseClassContext context)
           
 long jModifier()
           
 long jModifiers()
           
 JExpression jMultiplicativeExpression()
           
 CClassType[] jNameList()
           
 JExpression[] jNewArrayDeclarator()
           
 JExpression jNewExpression(JExpression expr)
          object instantiation.
 JPackageName jPackageDefinition()
           
 JFormalParameter jParameterDeclaration(int desc)
           
 JFormalParameter[] jParameterDeclarationList(int desc)
           
 CClassType[] jParameterizedClassTypeList()
           
 JExpression jParenthesizedExpression()
           
 JExpression jPostfixExpression()
           
 JExpression jPrimaryExpression()
           
 JExpression jRelationalExpression()
           
 JReturnStatement jReturnStatement()
           
 JExpression jShiftExpression()
           
 JStatement jStatement()
           
 CClassType jSuperClassClause()
           
 JExpression jSuperSuffix(JSuperExpression supExpr)
           
 JSwitchStatement jSwitchStatement()
           
 JSynchronizedStatement jSynchronizedStatement()
           
 CClassType[] jThrowsClause()
           
 JThrowStatement jThrowStatement()
           
 JStatement jTryBlock()
           
 CType jType(CUniverse elem_univ)
           
 void jTypeDefinition(CParseCompilationUnitContext context, long mods, antlr.Token startToken)
           
 CClassType jTypeName(CUniverse elem_univ)
           
 CClassType jTypeParameter()
           
 CType jTypeSpec()
           
 CTypeVariable jTypeVariableDeclaration()
           
 CTypeVariable[] jTypeVariableDeclarationList()
           
 JExpression jUnaryExpression()
           
 JExpression jUnaryExpressionNotPlusMinus()
           
 CUniverse jUniverseExceptionSpec()
           
 CUniverse jUniversePeerSpec()
           
 CUniverse jUniverseReadonlySpec()
           
 CUniverse jUniverseRepSpec()
           
 CUniverse jUniverseSpec()
           
 CUniverse jUniverseType()
           
 CType jValueSpecializer(CType type, TokenReference sourceRef)
           
 JVariableDefinition jVariableDeclarator(long mods, CType type)
          Declaration of a variable.
 JVariableDefinition[] jVariableDefinitions(long mods, CType type)
           
 JExpression jVarInitializer()
           
 JWhileStatement jWhileStatement()
           
 CClassType jWildCard()
           
 CClassType jWildcardBound()
           
 CType mjBuiltInType()
           
 CType mjExternalClassTypeSpec()
           
 long mjModifier()
           
 JExpression mjOrJmlUnaryExpressionNotPlusMinus()
           
 JExpression mjPrimaryExpression()
           
 JExpression mjResendSuffix(JExpression prefix)
           
 JStatement mjStatement()
           
 void mjTopLevelDeclaration(CParseCompilationUnitContext context, long mods, antlr.Token startToken)
           
 void mjTopLevelDefinition(CParseCompilationUnitContext context)
           
 MJTopLevelMethodDeclaration mjTopLevelMethodDeclaration(long mods, antlr.Token startToken)
           
 CType mjTypeSpec()
           
 CUniverse mjUniverseImplicitPeerSpec()
           
 CUniverse mjUniverseImplicitReadonlySpec()
           
 CUniverse mjUniversePeerSpec()
           
 CUniverse mjUniverseReadonlySpec()
           
 CUniverse mjUniverseRepSpec()
           
 JExpression mjWarnExpression()
           
private static long[] mk_tokenSet_0()
           
private static long[] mk_tokenSet_1()
           
private static long[] mk_tokenSet_10()
           
private static long[] mk_tokenSet_11()
           
private static long[] mk_tokenSet_12()
           
private static long[] mk_tokenSet_13()
           
private static long[] mk_tokenSet_14()
           
private static long[] mk_tokenSet_15()
           
private static long[] mk_tokenSet_16()
           
private static long[] mk_tokenSet_17()
           
private static long[] mk_tokenSet_18()
           
private static long[] mk_tokenSet_19()
           
private static long[] mk_tokenSet_2()
           
private static long[] mk_tokenSet_20()
           
private static long[] mk_tokenSet_21()
           
private static long[] mk_tokenSet_22()
           
private static long[] mk_tokenSet_23()
           
private static long[] mk_tokenSet_24()
           
private static long[] mk_tokenSet_25()
           
private static long[] mk_tokenSet_26()
           
private static long[] mk_tokenSet_27()
           
private static long[] mk_tokenSet_28()
           
private static long[] mk_tokenSet_29()
           
private static long[] mk_tokenSet_3()
           
private static long[] mk_tokenSet_30()
           
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()
           
 
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

utility

private ParserUtility utility
Instances of MjcParser delegate to utility.


exprFactory

private JExpressionFactory exprFactory

unmatchedTypeLT

private int unmatchedTypeLT
Counts the number of LT seen in the typeArguments production. It is used in semantic predicates to ensure we have seen enough closing '>' characters.


_tokenNames

public static final 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

_tokenSet_10

public static final antlr.collections.impl.BitSet _tokenSet_10

_tokenSet_11

public static final antlr.collections.impl.BitSet _tokenSet_11

_tokenSet_12

public static final antlr.collections.impl.BitSet _tokenSet_12

_tokenSet_13

public static final antlr.collections.impl.BitSet _tokenSet_13

_tokenSet_14

public static final antlr.collections.impl.BitSet _tokenSet_14

_tokenSet_15

public static final antlr.collections.impl.BitSet _tokenSet_15

_tokenSet_16

public static final antlr.collections.impl.BitSet _tokenSet_16

_tokenSet_17

public static final antlr.collections.impl.BitSet _tokenSet_17

_tokenSet_18

public static final antlr.collections.impl.BitSet _tokenSet_18

_tokenSet_19

public static final antlr.collections.impl.BitSet _tokenSet_19

_tokenSet_20

public static final antlr.collections.impl.BitSet _tokenSet_20

_tokenSet_21

public static final antlr.collections.impl.BitSet _tokenSet_21

_tokenSet_22

public static final antlr.collections.impl.BitSet _tokenSet_22

_tokenSet_23

public static final antlr.collections.impl.BitSet _tokenSet_23

_tokenSet_24

public static final antlr.collections.impl.BitSet _tokenSet_24

_tokenSet_25

public static final antlr.collections.impl.BitSet _tokenSet_25

_tokenSet_26

public static final antlr.collections.impl.BitSet _tokenSet_26

_tokenSet_27

public static final antlr.collections.impl.BitSet _tokenSet_27

_tokenSet_28

public static final antlr.collections.impl.BitSet _tokenSet_28

_tokenSet_29

public static final antlr.collections.impl.BitSet _tokenSet_29

_tokenSet_30

public static final antlr.collections.impl.BitSet _tokenSet_30
Constructor Detail

MjcParser

public MjcParser(Main compiler,
                 antlr.TokenStream lexer,
                 ParsingController parsingController,
                 boolean allowGeneric,
                 boolean allowMultiJava,
                 boolean allowRelaxedMultiJava,
                 boolean allowUniverseKeywords,
                 boolean parseJavadocs)

MjcParser

protected MjcParser(antlr.TokenBuffer tokenBuf,
                    int k)

MjcParser

public MjcParser(antlr.TokenBuffer tokenBuf)

MjcParser

protected MjcParser(antlr.TokenStream lexer,
                    int k)

MjcParser

public MjcParser(antlr.TokenStream lexer)

MjcParser

public MjcParser(antlr.ParserSharedInputState state)
Method Detail

beautifyParserError

public PositionedError beautifyParserError(antlr.ANTLRException e)
Returns an exception from our exception hierarchy by wrapping the ANTLR excepton. The exception is really positioned, by the positioning information is embedded in the message.


getParseClassContext

private CParseClassContext getParseClassContext()
Generates the appropriate data structure for buffering class members during parsing. Implemented as a method for sub-grammars can use a different data structure (of the same name). This is a hack that takes advantage of ANTLR's textual grammar inheritance.


jCompilationUnit

public final JCompilationUnitType jCompilationUnit()
                                            throws antlr.RecognitionException,
                                                   antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

jPackageDefinition

public final JPackageName jPackageDefinition()
                                      throws antlr.RecognitionException,
                                             antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

jImportDefinition

public final void jImportDefinition(CParseCompilationUnitContext cunit)
                             throws antlr.RecognitionException,
                                    antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

mjTopLevelDefinition

public final void mjTopLevelDefinition(CParseCompilationUnitContext context)
                                throws antlr.RecognitionException,
                                       antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

jIdentifier

public final String jIdentifier()
                         throws antlr.RecognitionException,
                                antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

jModifiers

public final long jModifiers()
                      throws antlr.RecognitionException,
                             antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

jTypeDefinition

public final void jTypeDefinition(CParseCompilationUnitContext context,
                                  long mods,
                                  antlr.Token startToken)
                           throws antlr.RecognitionException,
                                  antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

mjTopLevelDeclaration

public final void mjTopLevelDeclaration(CParseCompilationUnitContext context,
                                        long mods,
                                        antlr.Token startToken)
                                 throws antlr.RecognitionException,
                                        antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

jClassDefinition

public final JClassDeclarationType jClassDefinition(long mods,
                                                    antlr.Token startToken)
                                             throws antlr.RecognitionException,
                                                    antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

jInterfaceDefinition

public final JInterfaceDeclarationType jInterfaceDefinition(long mods,
                                                            antlr.Token startToken)
                                                     throws antlr.RecognitionException,
                                                            antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

mjTopLevelMethodDeclaration

public final MJTopLevelMethodDeclaration mjTopLevelMethodDeclaration(long mods,
                                                                     antlr.Token startToken)
                                                              throws antlr.RecognitionException,
                                                                     antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

jDeclaration

public final JVariableDeclarationStatement jDeclaration()
                                                 throws antlr.RecognitionException,
                                                        antlr.TokenStreamException
A declaration is the creation of a reference or primitive-type variable Create a separate Type/Var tree for each var in the var list.

Throws:
antlr.RecognitionException
antlr.TokenStreamException

jTypeSpec

public final CType jTypeSpec()
                      throws antlr.RecognitionException,
                             antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

jVariableDefinitions

public final JVariableDefinition[] jVariableDefinitions(long mods,
                                                        CType type)
                                                 throws antlr.RecognitionException,
                                                        antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

jModifier

public final long jModifier()
                     throws antlr.RecognitionException,
                            antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

mjTypeSpec

public final CType mjTypeSpec()
                       throws antlr.RecognitionException,
                              antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

jClassTypeSpec

public final CClassType jClassTypeSpec(CUniverse elem_univ,
                                       CUniverse array_univ)
                                throws antlr.RecognitionException,
                                       antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

jBuiltInTypeSpec

public final CType jBuiltInTypeSpec(CUniverse array_univ)
                             throws antlr.RecognitionException,
                                    antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

jUniverseSpec

public final CUniverse jUniverseSpec()
                              throws antlr.RecognitionException,
                                     antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

jWildCard

public final CClassType jWildCard()
                           throws antlr.RecognitionException,
                                  antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

jWildcardBound

public final CClassType jWildcardBound()
                                throws antlr.RecognitionException,
                                       antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

jBuiltInType

public final CType jBuiltInType()
                         throws antlr.RecognitionException,
                                antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

jTypeName

public final CClassType jTypeName(CUniverse elem_univ)
                           throws antlr.RecognitionException,
                                  antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

jParameterizedClassTypeList

public final CClassType[] jParameterizedClassTypeList()
                                               throws antlr.RecognitionException,
                                                      antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

jTypeParameter

public final CClassType jTypeParameter()
                                throws antlr.RecognitionException,
                                       antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

jTypeVariableDeclarationList

public final CTypeVariable[] jTypeVariableDeclarationList()
                                                   throws antlr.RecognitionException,
                                                          antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

jTypeVariableDeclaration

public final CTypeVariable jTypeVariableDeclaration()
                                             throws antlr.RecognitionException,
                                                    antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

mjExternalClassTypeSpec

public final CType mjExternalClassTypeSpec()
                                    throws antlr.RecognitionException,
                                           antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

jType

public final CType jType(CUniverse elem_univ)
                  throws antlr.RecognitionException,
                         antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

jUniversePeerSpec

public final CUniverse jUniversePeerSpec()
                                  throws antlr.RecognitionException,
                                         antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

jUniverseRepSpec

public final CUniverse jUniverseRepSpec()
                                 throws antlr.RecognitionException,
                                        antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

jUniverseReadonlySpec

public final CUniverse jUniverseReadonlySpec()
                                      throws antlr.RecognitionException,
                                             antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

jUniverseType

public final CUniverse jUniverseType()
                              throws antlr.RecognitionException,
                                     antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

jUniverseExceptionSpec

public final CUniverse jUniverseExceptionSpec()
                                       throws antlr.RecognitionException,
                                              antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

mjUniverseImplicitReadonlySpec

public final CUniverse mjUniverseImplicitReadonlySpec()
                                               throws antlr.RecognitionException,
                                                      antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

mjUniversePeerSpec

public final CUniverse mjUniversePeerSpec()
                                   throws antlr.RecognitionException,
                                          antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

mjUniverseImplicitPeerSpec

public final CUniverse mjUniverseImplicitPeerSpec()
                                           throws antlr.RecognitionException,
                                                  antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

mjUniverseRepSpec

public final CUniverse mjUniverseRepSpec()
                                  throws antlr.RecognitionException,
                                         antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

mjUniverseReadonlySpec

public final CUniverse mjUniverseReadonlySpec()
                                       throws antlr.RecognitionException,
                                              antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

mjBuiltInType

public final CType mjBuiltInType()
                          throws antlr.RecognitionException,
                                 antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

mjModifier

public final long mjModifier()
                      throws antlr.RecognitionException,
                             antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

jSuperClassClause

public final CClassType jSuperClassClause()
                                   throws antlr.RecognitionException,
                                          antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

jImplementsClause

public final CClassType[] jImplementsClause()
                                     throws antlr.RecognitionException,
                                            antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

jClassBlock

public final void jClassBlock(CParseClassContext context)
                       throws antlr.RecognitionException,
                              antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

jInterfaceExtends

public final CClassType[] jInterfaceExtends()
                                     throws antlr.RecognitionException,
                                            antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

jParameterDeclarationList

public final JFormalParameter[] jParameterDeclarationList(int desc)
                                                   throws antlr.RecognitionException,
                                                          antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

jThrowsClause

public final CClassType[] jThrowsClause()
                                 throws antlr.RecognitionException,
                                        antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

jCompoundStatement

public final JStatement[] jCompoundStatement(ParsingController.TokenWrapper declEnd)
                                      throws antlr.RecognitionException,
                                             antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

jMember

public final void jMember(CParseClassContext context)
                   throws antlr.RecognitionException,
                          antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

jNameList

public final CClassType[] jNameList()
                             throws antlr.RecognitionException,
                                    antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

jVariableDeclarator

public final JVariableDefinition jVariableDeclarator(long mods,
                                                     CType type)
                                              throws antlr.RecognitionException,
                                                     antlr.TokenStreamException
Declaration of a variable. This can be a class/instance variable, or a local variable in a method It can also include possible initialization.

Throws:
antlr.RecognitionException
antlr.TokenStreamException

jVarInitializer

public final JExpression jVarInitializer()
                                  throws antlr.RecognitionException,
                                         antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

jInitializer

public final JExpression jInitializer()
                               throws antlr.RecognitionException,
                                      antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

jArrayInitializer

public final JArrayInitializer jArrayInitializer()
                                          throws antlr.RecognitionException,
                                                 antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

jExpression

public final JExpression jExpression()
                              throws antlr.RecognitionException,
                                     antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

jParameterDeclaration

public final JFormalParameter jParameterDeclaration(int desc)
                                             throws antlr.RecognitionException,
                                                    antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

jValueSpecializer

public final CType jValueSpecializer(CType type,
                                     TokenReference sourceRef)
                              throws antlr.RecognitionException,
                                     antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

jStatement

public final JStatement jStatement()
                            throws antlr.RecognitionException,
                                   antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

mjStatement

public final JStatement mjStatement()
                             throws antlr.RecognitionException,
                                    antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

jLabeledStatement

public final JLabeledStatement jLabeledStatement()
                                          throws antlr.RecognitionException,
                                                 antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

jIfStatement

public final JIfStatement jIfStatement()
                                throws antlr.RecognitionException,
                                       antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

jLoopStatement

public final JStatement jLoopStatement()
                                throws antlr.RecognitionException,
                                       antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

jBreakStatement

public final JBreakStatement jBreakStatement()
                                      throws antlr.RecognitionException,
                                             antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

jContinueStatement

public final JContinueStatement jContinueStatement()
                                            throws antlr.RecognitionException,
                                                   antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

jReturnStatement

public final JReturnStatement jReturnStatement()
                                        throws antlr.RecognitionException,
                                               antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

jSwitchStatement

public final JSwitchStatement jSwitchStatement()
                                        throws antlr.RecognitionException,
                                               antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

jTryBlock

public final JStatement jTryBlock()
                           throws antlr.RecognitionException,
                                  antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

jThrowStatement

public final JThrowStatement jThrowStatement()
                                      throws antlr.RecognitionException,
                                             antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

jAssertStatement

public final JAssertStatement jAssertStatement()
                                        throws antlr.RecognitionException,
                                               antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

jSynchronizedStatement

public final JSynchronizedStatement jSynchronizedStatement()
                                                    throws antlr.RecognitionException,
                                                           antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

jWhileStatement

public final JWhileStatement jWhileStatement()
                                      throws antlr.RecognitionException,
                                             antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

jDoStatement

public final JDoStatement jDoStatement()
                                throws antlr.RecognitionException,
                                       antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

jCasesGroup

public final JSwitchGroup jCasesGroup()
                               throws antlr.RecognitionException,
                                      antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

jACase

public final JSwitchLabel jACase()
                          throws antlr.RecognitionException,
                                 antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

jForStatement

public final JForStatement jForStatement()
                                  throws antlr.RecognitionException,
                                         antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

jForInit

public final JStatement jForInit()
                          throws antlr.RecognitionException,
                                 antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

jForCond

public final JExpression jForCond()
                           throws antlr.RecognitionException,
                                  antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

jForIter

public final JExpressionListStatement jForIter()
                                        throws antlr.RecognitionException,
                                               antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

jExpressionList

public final JExpression[] jExpressionList()
                                    throws antlr.RecognitionException,
                                           antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

jHandler

public final JCatchClause jHandler()
                            throws antlr.RecognitionException,
                                   antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

jAssignmentExpression

public final JExpression jAssignmentExpression()
                                        throws antlr.RecognitionException,
                                               antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

jConditionalExpression

public final JExpression jConditionalExpression()
                                         throws antlr.RecognitionException,
                                                antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

jLogicalOrExpression

public final JExpression jLogicalOrExpression()
                                       throws antlr.RecognitionException,
                                              antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

jLogicalAndExpression

public final JExpression jLogicalAndExpression()
                                        throws antlr.RecognitionException,
                                               antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

jInclusiveOrExpression

public final JExpression jInclusiveOrExpression()
                                         throws antlr.RecognitionException,
                                                antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

jExclusiveOrExpression

public final JExpression jExclusiveOrExpression()
                                         throws antlr.RecognitionException,
                                                antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

jAndExpression

public final JExpression jAndExpression()
                                 throws antlr.RecognitionException,
                                        antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

jEqualityExpression

public final JExpression jEqualityExpression()
                                      throws antlr.RecognitionException,
                                             antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

jRelationalExpression

public final JExpression jRelationalExpression()
                                        throws antlr.RecognitionException,
                                               antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

jShiftExpression

public final JExpression jShiftExpression()
                                   throws antlr.RecognitionException,
                                          antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

jAdditiveExpression

public final JExpression jAdditiveExpression()
                                      throws antlr.RecognitionException,
                                             antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

jMultiplicativeExpression

public final JExpression jMultiplicativeExpression()
                                            throws antlr.RecognitionException,
                                                   antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

jUnaryExpression

public final JExpression jUnaryExpression()
                                   throws antlr.RecognitionException,
                                          antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

jUnaryExpressionNotPlusMinus

public final JExpression jUnaryExpressionNotPlusMinus()
                                               throws antlr.RecognitionException,
                                                      antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

mjOrJmlUnaryExpressionNotPlusMinus

public final JExpression mjOrJmlUnaryExpressionNotPlusMinus()
                                                     throws antlr.RecognitionException,
                                                            antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

jPostfixExpression

public final JExpression jPostfixExpression()
                                     throws antlr.RecognitionException,
                                            antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

jPrimaryExpression

public final JExpression jPrimaryExpression()
                                     throws antlr.RecognitionException,
                                            antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

jArgList

public final JExpression[] jArgList()
                             throws antlr.RecognitionException,
                                    antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

jSuperSuffix

public final JExpression jSuperSuffix(JSuperExpression supExpr)
                               throws antlr.RecognitionException,
                                      antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

jNewExpression

public final JExpression jNewExpression(JExpression expr)
                                 throws antlr.RecognitionException,
                                        antlr.TokenStreamException
object instantiation. Trees are built as illustrated by the following input/tree pairs: new T() new | T -- ELIST | arg1 -- arg2 -- .. -- argn new int[] new | int -- ARRAY_DECLARATOR new int[] {1,2} new | int -- ARRAY_DECLARATOR -- ARRAY_INIT | EXPR -- EXPR | | 1 2 new int[3] new | int -- ARRAY_DECLARATOR | EXPR | 3 new int[1][2] new | int -- ARRAY_DECLARATOR | ARRAY_DECLARATOR -- EXPR | | EXPR 1 | 2

Throws:
antlr.RecognitionException
antlr.TokenStreamException

mjResendSuffix

public final JExpression mjResendSuffix(JExpression prefix)
                                 throws antlr.RecognitionException,
                                        antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

mjPrimaryExpression

public final JExpression mjPrimaryExpression()
                                      throws antlr.RecognitionException,
                                             antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

jParenthesizedExpression

public final JExpression jParenthesizedExpression()
                                           throws antlr.RecognitionException,
                                                  antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

jConstant

public final JExpression jConstant()
                            throws antlr.RecognitionException,
                                   antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

mjWarnExpression

public final JExpression mjWarnExpression()
                                   throws antlr.RecognitionException,
                                          antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

jNewArrayDeclarator

public final JExpression[] jNewArrayDeclarator()
                                        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()

mk_tokenSet_10

private static final long[] mk_tokenSet_10()

mk_tokenSet_11

private static final long[] mk_tokenSet_11()

mk_tokenSet_12

private static final long[] mk_tokenSet_12()

mk_tokenSet_13

private static final long[] mk_tokenSet_13()

mk_tokenSet_14

private static final long[] mk_tokenSet_14()

mk_tokenSet_15

private static final long[] mk_tokenSet_15()

mk_tokenSet_16

private static final long[] mk_tokenSet_16()

mk_tokenSet_17

private static final long[] mk_tokenSet_17()

mk_tokenSet_18

private static final long[] mk_tokenSet_18()

mk_tokenSet_19

private static final long[] mk_tokenSet_19()

mk_tokenSet_20

private static final long[] mk_tokenSet_20()

mk_tokenSet_21

private static final long[] mk_tokenSet_21()

mk_tokenSet_22

private static final long[] mk_tokenSet_22()

mk_tokenSet_23

private static final long[] mk_tokenSet_23()

mk_tokenSet_24

private static final long[] mk_tokenSet_24()

mk_tokenSet_25

private static final long[] mk_tokenSet_25()

mk_tokenSet_26

private static final long[] mk_tokenSet_26()

mk_tokenSet_27

private static final long[] mk_tokenSet_27()

mk_tokenSet_28

private static final long[] mk_tokenSet_28()

mk_tokenSet_29

private static final long[] mk_tokenSet_29()

mk_tokenSet_30

private static final long[] mk_tokenSet_30()

JML

JML is Copyright (C) 1998-2002 by Iowa State University and is distributed under the GNU General Public License as published by the Free Software Foundation; either version 2 of the License, or (at your option) any later version. This release depends on code from the MultiJava project and is based in part on the Kopi project Copyright (C) 1990-99 DMS Decision Management Systems Ges.m.b.H.