envgen.spec.parser
Class EnvGenParser

java.lang.Object
  |
  +--envgen.spec.parser.EnvGenParser

All Implemented Interfaces:

EnvGenParserConstants

public class EnvGenParser

extends java.lang.Object

implements EnvGenParserConstants

Nested Class Summary

(package private) static class

EnvGenParser.JJCalls

Field Summary

private static EnvGenParser.JJCalls[]	jj_2_rtns
private static int	jj_endpos
private static java.util.Vector	jj_expentries
private static int[]	jj_expentry
private static int	jj_gc
private static int	jj_gen
private static boolean	jj_initialized_once
(package private) static SimpleCharStream	jj_input_stream
private static int	jj_kind
private static int	jj_la
private static int[]	jj_la1
private static int[]	jj_la1_0
private static int[]	jj_la1_1
private static int[]	jj_la1_2
private static int[]	jj_la1_3
private static int[]	jj_la1_4
private static Token	jj_lastpos
private static int[]	jj_lasttokens
static Token	jj_nt
private static int	jj_ntk
private static boolean	jj_rescan
private static Token	jj_scanpos
private static boolean	jj_semLA
static boolean	lookingAhead
private static SEManager	sem
static Token	token
static EnvGenParserTokenManager	token_source
private static UserSpec	userSpec

Fields inherited from interface envgen.spec.parser.EnvGenParserConstants

_DEFAULT, ABSTRACT, ASSIGN, BANG, BIT_AND, BIT_OR, BOOLEAN, BREAK, BYTE, CASE, CATCH, CHAR, CHARACTER_LITERAL, CLASS, COLON, COMMA, CONST, CONTINUE, DECIMAL_LITERAL, DECR, DEFAULT, DEFINITIONS, DIGIT, DO, DOT, DOUBLE, DRIVERASSUMPTIONS, ELSE, ENVIRONMENT, EOF, EQ, EQUIVALENCE, EVENTUALLY, EXPONENT, EXTENDS, FALSE, FINAL, FINALLY, FLOAT, FLOATING_POINT_LITERAL, FOR, FORMAL_COMMENT, GE, GLOBALLY, GOTO, GT, HEX_LITERAL, HOOK, IDENTIFIER, IF, IMPLEMENTS, IMPLICATION, IMPORT, IN_FORMAL_COMMENT, IN_MULTI_LINE_COMMENT, IN_SINGLE_LINE_COMMENT, INCR, INSTANCEOF, INSTANTIATIONS, INT, INTEGER_LITERAL, INTERFACE, LBRACE, LBRACKET, LE, LETTER, LONG, LPAREN, LT, LTLASSUMPTIONS, MINUS, MULTI_LINE_COMMENT, NATIVE, NE, NEW, NEXT, NULL, OCTAL_LITERAL, PACKAGE, PLUS, PRIVATE, PROTECTED, PUBLIC, RBRACE, RBRACKET, REASSUMPTIONS, REM, RETURN, RPAREN, SC_AND, SC_OR, SEMICOLON, SHORT, SINGLE_LINE_COMMENT, SLASH, STAR, STATIC, STRING_LITERAL, STUBASSUMPTIONS, SUPER, SWITCH, SYNCHRONIZED, THIS, THROW, THROWS, TILDE, tokenImage, TRANSIENT, TRUE, TRY, UNTIL, V, VOID, VOLATILE, WHILE, XOR

Constructor Summary

EnvGenParser(EnvGenParserTokenManager tm)

EnvGenParser(java.io.InputStream stream)

EnvGenParser(java.io.Reader stream)

Method Summary

static java.lang.String	AdditiveExpression()
static java.lang.String	AllocationExpression()
static java.lang.String	AndExpression()
static java.lang.String	ArgumentList()
static java.lang.String	Arguments()
static java.lang.String	ArrayDimensions()
static java.lang.String	Assignment()
static java.lang.String	AssignmentOperator()
static void	Assumptions()
static JavaStmt	Block()
static JavaStmt	BlockStatement()
static java.lang.String	BooleanLiteral()
static JavaStmt	BreakStatement()
static java.lang.String	CastExpression()
static void	CastLookahead()
static void	ClassBodyDeclaration()
static void	ClassDeclaration()
static void	CompilationUnit() THE SPECIFICATION LANGUAGE GRAMMAR STARTS HERE
static java.lang.String	ConditionalAndExpression()
static java.lang.String	ConditionalExpression()
static java.lang.String	ConditionalOrExpression()
static void	ConstructorDeclaration()
static JavaStmt	ContinueStatement()
static void	Definitions()
static void	disable_tracing()
static JavaStmt	DoStatement()
static JavaStmt	EmptyStatement()
static void	enable_tracing()
static java.lang.String	EqualityExpression()
static java.lang.String	ExclusiveOrExpression()
static void	ExplicitConstructorInvocation()
static java.lang.String	Expression()
static void	FieldDeclaration()
static void	ForInit()
static void	FormalParameter()
static void	FormalParameters()
static JavaStmt	ForStatement()
static void	ForUpdate()
static ParseException	generateParseException()
static Token	getNextToken()
static SEManager	getSEManager()
static Token	getToken(int index)
static UserSpec	getUserSpec()
static JavaStmt	IfStatement()
static void	ImportDeclaration()
static java.lang.String	InclusiveOrExpression()
static java.lang.String	InstanceOfExpression()
static void	Instantiations()
static void	InterfaceDeclaration()
static void	InterfaceMemberDeclaration()
static void	JavaCompilationUnit() JAVA Constructs
private static boolean	jj_2_1(int xla)
private static boolean	jj_2_10(int xla)
private static boolean	jj_2_11(int xla)
private static boolean	jj_2_12(int xla)
private static boolean	jj_2_13(int xla)
private static boolean	jj_2_14(int xla)
private static boolean	jj_2_15(int xla)
private static boolean	jj_2_16(int xla)
private static boolean	jj_2_17(int xla)
private static boolean	jj_2_18(int xla)
private static boolean	jj_2_19(int xla)
private static boolean	jj_2_2(int xla)
private static boolean	jj_2_20(int xla)
private static boolean	jj_2_21(int xla)
private static boolean	jj_2_22(int xla)
private static boolean	jj_2_23(int xla)
private static boolean	jj_2_3(int xla)
private static boolean	jj_2_4(int xla)
private static boolean	jj_2_5(int xla)
private static boolean	jj_2_6(int xla)
private static boolean	jj_2_7(int xla)
private static boolean	jj_2_8(int xla)
private static boolean	jj_2_9(int xla)
private static boolean	jj_3_1()
private static boolean	jj_3_10()
private static boolean	jj_3_11()
private static boolean	jj_3_12()
private static boolean	jj_3_13()
private static boolean	jj_3_14()
private static boolean	jj_3_15()
private static boolean	jj_3_16()
private static boolean	jj_3_17()
private static boolean	jj_3_18()
private static boolean	jj_3_19()
private static boolean	jj_3_2()
private static boolean	jj_3_20()
private static boolean	jj_3_21()
private static boolean	jj_3_22()
private static boolean	jj_3_23()
private static boolean	jj_3_3()
private static boolean	jj_3_4()
private static boolean	jj_3_5()
private static boolean	jj_3_6()
private static boolean	jj_3_7()
private static boolean	jj_3_8()
private static boolean	jj_3_9()
private static boolean	jj_3R_100()
private static boolean	jj_3R_101()
private static boolean	jj_3R_102()
private static boolean	jj_3R_103()
private static boolean	jj_3R_104()
private static boolean	jj_3R_105()
private static boolean	jj_3R_106()
private static boolean	jj_3R_107()
private static boolean	jj_3R_108()
private static boolean	jj_3R_109()
private static boolean	jj_3R_110()
private static boolean	jj_3R_111()
private static boolean	jj_3R_112()
private static boolean	jj_3R_113()
private static boolean	jj_3R_114()
private static boolean	jj_3R_115()
private static boolean	jj_3R_116()
private static boolean	jj_3R_117()
private static boolean	jj_3R_118()
private static boolean	jj_3R_119()
private static boolean	jj_3R_120()
private static boolean	jj_3R_121()
private static boolean	jj_3R_122()
private static boolean	jj_3R_123()
private static boolean	jj_3R_124()
private static boolean	jj_3R_125()
private static boolean	jj_3R_126()
private static boolean	jj_3R_127()
private static boolean	jj_3R_128()
private static boolean	jj_3R_129()
private static boolean	jj_3R_130()
private static boolean	jj_3R_131()
private static boolean	jj_3R_132()
private static boolean	jj_3R_133()
private static boolean	jj_3R_134()
private static boolean	jj_3R_135()
private static boolean	jj_3R_136()
private static boolean	jj_3R_137()
private static boolean	jj_3R_138()
private static boolean	jj_3R_139()
private static boolean	jj_3R_140()
private static boolean	jj_3R_141()
private static boolean	jj_3R_142()
private static boolean	jj_3R_143()
private static boolean	jj_3R_144()
private static boolean	jj_3R_145()
private static boolean	jj_3R_146()
private static boolean	jj_3R_147()
private static boolean	jj_3R_148()
private static boolean	jj_3R_149()
private static boolean	jj_3R_150()
private static boolean	jj_3R_151()
private static boolean	jj_3R_152()
private static boolean	jj_3R_153()
private static boolean	jj_3R_154()
private static boolean	jj_3R_155()
private static boolean	jj_3R_156()
private static boolean	jj_3R_157()
private static boolean	jj_3R_158()
private static boolean	jj_3R_159()
private static boolean	jj_3R_160()
private static boolean	jj_3R_161()
private static boolean	jj_3R_162()
private static boolean	jj_3R_163()
private static boolean	jj_3R_164()
private static boolean	jj_3R_165()
private static boolean	jj_3R_166()
private static boolean	jj_3R_167()
private static boolean	jj_3R_168()
private static boolean	jj_3R_169()
private static boolean	jj_3R_170()
private static boolean	jj_3R_171()
private static boolean	jj_3R_172()
private static boolean	jj_3R_173()
private static boolean	jj_3R_174()
private static boolean	jj_3R_175()
private static boolean	jj_3R_176()
private static boolean	jj_3R_177()
private static boolean	jj_3R_178()
private static boolean	jj_3R_179()
private static boolean	jj_3R_180()
private static boolean	jj_3R_181()
private static boolean	jj_3R_182()
private static boolean	jj_3R_183()
private static boolean	jj_3R_184()
private static boolean	jj_3R_185()
private static boolean	jj_3R_186()
private static boolean	jj_3R_187()
private static boolean	jj_3R_188()
private static boolean	jj_3R_189()
private static boolean	jj_3R_190()
private static boolean	jj_3R_191()
private static boolean	jj_3R_192()
private static boolean	jj_3R_193()
private static boolean	jj_3R_194()
private static boolean	jj_3R_195()
private static boolean	jj_3R_196()
private static boolean	jj_3R_197()
private static boolean	jj_3R_198()
private static boolean	jj_3R_199()
private static boolean	jj_3R_200()
private static boolean	jj_3R_201()
private static boolean	jj_3R_202()
private static boolean	jj_3R_203()
private static boolean	jj_3R_204()
private static boolean	jj_3R_205()
private static boolean	jj_3R_206()
private static boolean	jj_3R_207()
private static boolean	jj_3R_208()
private static boolean	jj_3R_209()
private static boolean	jj_3R_210()
private static boolean	jj_3R_211()
private static boolean	jj_3R_212()
private static boolean	jj_3R_213()
private static boolean	jj_3R_214()
private static boolean	jj_3R_215()
private static boolean	jj_3R_216()
private static boolean	jj_3R_217()
private static boolean	jj_3R_218()
private static boolean	jj_3R_219()
private static boolean	jj_3R_220()
private static boolean	jj_3R_221()
private static boolean	jj_3R_222()
private static boolean	jj_3R_223()
private static boolean	jj_3R_224()
private static boolean	jj_3R_225()
private static boolean	jj_3R_226()
private static boolean	jj_3R_227()
private static boolean	jj_3R_228()
private static boolean	jj_3R_229()
private static boolean	jj_3R_230()
private static boolean	jj_3R_231()
private static boolean	jj_3R_52()
private static boolean	jj_3R_53()
private static boolean	jj_3R_54()
private static boolean	jj_3R_55()
private static boolean	jj_3R_56()
private static boolean	jj_3R_57()
private static boolean	jj_3R_58()
private static boolean	jj_3R_59()
private static boolean	jj_3R_60()
private static boolean	jj_3R_61()
private static boolean	jj_3R_62()
private static boolean	jj_3R_63()
private static boolean	jj_3R_64()
private static boolean	jj_3R_65()
private static boolean	jj_3R_66()
private static boolean	jj_3R_67()
private static boolean	jj_3R_68()
private static boolean	jj_3R_69()
private static boolean	jj_3R_70()
private static boolean	jj_3R_71()
private static boolean	jj_3R_72()
private static boolean	jj_3R_73()
private static boolean	jj_3R_74()
private static boolean	jj_3R_75()
private static boolean	jj_3R_76()
private static boolean	jj_3R_77()
private static boolean	jj_3R_78()
private static boolean	jj_3R_79()
private static boolean	jj_3R_80()
private static boolean	jj_3R_81()
private static boolean	jj_3R_82()
private static boolean	jj_3R_83()
private static boolean	jj_3R_84()
private static boolean	jj_3R_85()
private static boolean	jj_3R_86()
private static boolean	jj_3R_87()
private static boolean	jj_3R_88()
private static boolean	jj_3R_89()
private static boolean	jj_3R_90()
private static boolean	jj_3R_91()
private static boolean	jj_3R_92()
private static boolean	jj_3R_93()
private static boolean	jj_3R_94()
private static boolean	jj_3R_95()
private static boolean	jj_3R_96()
private static boolean	jj_3R_97()
private static boolean	jj_3R_98()
private static boolean	jj_3R_99()
private static void	jj_add_error_token(int kind, int pos)
private static Token	jj_consume_token(int kind)
private static int	jj_ntk()
private static void	jj_rescan_token()
private static void	jj_save(int index, int xla)
private static boolean	jj_scan_token(int kind)
static JavaStmt	LabeledStatement()
static java.lang.String	Literal()
static void	LocalVariableDeclaration()
static LTLNode	LTLExp() IMPLICATION and OR
static LTLNode	LTLFormula() GLOBALLY, EVENTUALLY, NOT, "(" LTLExp ")" Proposition, true, false
static LTLNode	LTLLeaf() GLOBALLY, EVENTUALLY, NOT, "(" LTLExp ")" Proposition, true, false
static LTLNode	LTLProposition() PROPOSITION
static LTLNode	LTLTerm() EQUIVALENCE , AND, UNTIL, V
static void	main(java.lang.String[] args)
static void	MethodDeclaration()
static void	MethodDeclarationLookahead()
static void	MethodDeclarator()
static java.lang.String	MultiplicativeExpression()
static java.lang.String	Name()
static void	NameList()
static java.lang.String	NullLiteral()
static void	PackageDeclaration()
static java.lang.String	PostfixExpression()
static java.lang.String	PreDecrementExpression()
static java.lang.String	PreIncrementExpression()
static java.lang.String	PrimaryExpression()
static java.lang.String	PrimaryPrefix()
static java.lang.String	PrimarySuffix()
static java.lang.String	PrimitiveType()
static RENode	RegExp() CHOICE
static RENode	RegLeaf() PROPOSITION, NEGATION, (EXP)
static RENode	RegOp(RENode node)
static RENode	RegProposition() PROPOSITION
static RENode	RegSeq() SEQUENCE
static RENode	RegTuple() RANGE, '*', '+', '?'
void	ReInit(EnvGenParserTokenManager tm)
static void	ReInit(java.io.InputStream stream)
static void	ReInit(java.io.Reader stream)
static java.lang.String	RelationalExpression()
static void	ResultType()
static JavaStmt	ReturnStatement()
static java.lang.String	ShiftExpression()
static JavaStmt	Statement()
static JavaStmt	StatementExpression()
static JavaStmt	StatementExpressionList()
static void	StaticInitializer()
static void	SwitchLabel()
static JavaStmt	SwitchStatement()
static JavaStmt	SynchronizedStatement()
static JavaStmt	ThrowStatement()
static JavaStmt	TryStatement()
static java.lang.String	Type()
static void	TypeDeclaration()
static java.lang.String	UnaryExpression()
static java.lang.String	UnaryExpressionNotPlusMinus()
static void	VariableDeclarator()
static java.lang.String	VariableDeclaratorId()
static java.lang.String	VariableInitializer()
static JavaStmt	WhileStatement()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

userSpec

private static UserSpec userSpec

sem

private static SEManager sem

jj_initialized_once

private static boolean jj_initialized_once

token_source

public static EnvGenParserTokenManager token_source

jj_input_stream

static SimpleCharStream jj_input_stream

token

public static Token token

jj_nt

public static Token jj_nt

jj_ntk

private static int jj_ntk

jj_scanpos

private static Token jj_scanpos

jj_lastpos

private static Token jj_lastpos

jj_la

private static int jj_la

lookingAhead

public static boolean lookingAhead

jj_semLA

private static boolean jj_semLA

jj_gen

private static int jj_gen

jj_la1

private static final int[] jj_la1

jj_la1_0

private static final int[] jj_la1_0

jj_la1_1

private static final int[] jj_la1_1

jj_la1_2

private static final int[] jj_la1_2

jj_la1_3

private static final int[] jj_la1_3

jj_la1_4

private static final int[] jj_la1_4

jj_2_rtns

private static final EnvGenParser.JJCalls[] jj_2_rtns

jj_rescan

private static boolean jj_rescan

jj_gc

private static int jj_gc

jj_expentries

private static java.util.Vector jj_expentries

jj_expentry

private static int[] jj_expentry

jj_kind

private static int jj_kind

jj_lasttokens

private static int[] jj_lasttokens

jj_endpos

private static int jj_endpos

Constructor Detail

EnvGenParser

public EnvGenParser(java.io.InputStream stream)

EnvGenParser

public EnvGenParser(java.io.Reader stream)

EnvGenParser

public EnvGenParser(EnvGenParserTokenManager tm)

Method Detail

getUserSpec

public static UserSpec getUserSpec()

getSEManager

public static SEManager getSEManager()

main

public static void main(java.lang.String[] args)
                 throws ParseException

ParseException

CompilationUnit

public static final void CompilationUnit()
                                  throws ParseException

THE SPECIFICATION LANGUAGE GRAMMAR STARTS HERE

ParseException

Instantiations

public static final void Instantiations()
                                 throws ParseException

ParseException

Definitions

public static final void Definitions()
                              throws ParseException

ParseException

Assumptions

public static final void Assumptions()
                              throws ParseException

ParseException

RegExp

public static final RENode RegExp()
                           throws ParseException

CHOICE

ParseException

RegSeq

public static final RENode RegSeq()
                           throws ParseException

SEQUENCE

ParseException

RegTuple

public static final RENode RegTuple()
                             throws ParseException

RANGE, '*', '+', '?'

ParseException

RegOp

public static final RENode RegOp(RENode node)
                          throws ParseException

ParseException

RegLeaf

public static final RENode RegLeaf()
                            throws ParseException

PROPOSITION, NEGATION, (EXP)

ParseException

RegProposition

public static final RENode RegProposition()
                                   throws ParseException

PROPOSITION

ParseException

LTLExp

public static final LTLNode LTLExp()
                            throws ParseException

IMPLICATION and OR

ParseException

LTLTerm

public static final LTLNode LTLTerm()
                             throws ParseException

EQUIVALENCE , AND, UNTIL, V

ParseException

LTLFormula

public static final LTLNode LTLFormula()
                                throws ParseException

GLOBALLY, EVENTUALLY, NOT, "(" LTLExp ")" Proposition, true, false

ParseException

LTLLeaf

public static final LTLNode LTLLeaf()
                             throws ParseException

GLOBALLY, EVENTUALLY, NOT, "(" LTLExp ")" Proposition, true, false

ParseException

LTLProposition

public static final LTLNode LTLProposition()
                                    throws ParseException

PROPOSITION

ParseException

JavaCompilationUnit

public static final void JavaCompilationUnit()
                                      throws ParseException

JAVA Constructs

ParseException

PackageDeclaration

public static final void PackageDeclaration()
                                     throws ParseException

ParseException

ImportDeclaration

public static final void ImportDeclaration()
                                    throws ParseException

ParseException

TypeDeclaration

public static final void TypeDeclaration()
                                  throws ParseException

ParseException

ClassDeclaration

public static final void ClassDeclaration()
                                   throws ParseException

ParseException

ClassBodyDeclaration

public static final void ClassBodyDeclaration()
                                       throws ParseException

ParseException

MethodDeclarationLookahead

public static final void MethodDeclarationLookahead()
                                             throws ParseException

ParseException

InterfaceDeclaration

public static final void InterfaceDeclaration()
                                       throws ParseException

ParseException

InterfaceMemberDeclaration

public static final void InterfaceMemberDeclaration()
                                             throws ParseException

ParseException

FieldDeclaration

public static final void FieldDeclaration()
                                   throws ParseException

ParseException

VariableDeclarator

public static final void VariableDeclarator()
                                     throws ParseException

ParseException

VariableDeclaratorId

public static final java.lang.String VariableDeclaratorId()
                                                   throws ParseException

ParseException

VariableInitializer

public static final java.lang.String VariableInitializer()
                                                  throws ParseException

ParseException

MethodDeclaration

public static final void MethodDeclaration()
                                    throws ParseException

ParseException

MethodDeclarator

public static final void MethodDeclarator()
                                   throws ParseException

ParseException

FormalParameters

public static final void FormalParameters()
                                   throws ParseException

ParseException

FormalParameter

public static final void FormalParameter()
                                  throws ParseException

ParseException

ConstructorDeclaration

public static final void ConstructorDeclaration()
                                         throws ParseException

ParseException

ExplicitConstructorInvocation

public static final void ExplicitConstructorInvocation()
                                                throws ParseException

ParseException

StaticInitializer

public static final void StaticInitializer()
                                    throws ParseException

ParseException

Type

public static final java.lang.String Type()
                                   throws ParseException

ParseException

PrimitiveType

public static final java.lang.String PrimitiveType()
                                            throws ParseException

ParseException

ResultType

public static final void ResultType()
                             throws ParseException

ParseException

Name

public static final java.lang.String Name()
                                   throws ParseException

ParseException

NameList

public static final void NameList()
                           throws ParseException

ParseException

Expression

public static final java.lang.String Expression()
                                         throws ParseException

ParseException

Assignment

public static final java.lang.String Assignment()
                                         throws ParseException

ParseException

AssignmentOperator

public static final java.lang.String AssignmentOperator()
                                                 throws ParseException

ParseException

ConditionalExpression

public static final java.lang.String ConditionalExpression()
                                                    throws ParseException

ParseException

ConditionalOrExpression

public static final java.lang.String ConditionalOrExpression()
                                                      throws ParseException

ParseException

ConditionalAndExpression

public static final java.lang.String ConditionalAndExpression()
                                                       throws ParseException

ParseException

InclusiveOrExpression

public static final java.lang.String InclusiveOrExpression()
                                                    throws ParseException

ParseException

ExclusiveOrExpression

public static final java.lang.String ExclusiveOrExpression()
                                                    throws ParseException

ParseException

AndExpression

public static final java.lang.String AndExpression()
                                            throws ParseException

ParseException

EqualityExpression

public static final java.lang.String EqualityExpression()
                                                 throws ParseException

ParseException

InstanceOfExpression

public static final java.lang.String InstanceOfExpression()
                                                   throws ParseException

ParseException

RelationalExpression

public static final java.lang.String RelationalExpression()
                                                   throws ParseException

ParseException

ShiftExpression

public static final java.lang.String ShiftExpression()
                                              throws ParseException

ParseException

AdditiveExpression

public static final java.lang.String AdditiveExpression()
                                                 throws ParseException

ParseException

MultiplicativeExpression

public static final java.lang.String MultiplicativeExpression()
                                                       throws ParseException

ParseException

UnaryExpression

public static final java.lang.String UnaryExpression()
                                              throws ParseException

ParseException

PreIncrementExpression

public static final java.lang.String PreIncrementExpression()
                                                     throws ParseException

ParseException

PreDecrementExpression

public static final java.lang.String PreDecrementExpression()
                                                     throws ParseException

ParseException

UnaryExpressionNotPlusMinus

public static final java.lang.String UnaryExpressionNotPlusMinus()
                                                          throws ParseException

ParseException

CastLookahead

public static final void CastLookahead()
                                throws ParseException

ParseException

PostfixExpression

public static final java.lang.String PostfixExpression()
                                                throws ParseException

ParseException

CastExpression

public static final java.lang.String CastExpression()
                                             throws ParseException

ParseException

PrimaryExpression

public static final java.lang.String PrimaryExpression()
                                                throws ParseException

ParseException

PrimaryPrefix

public static final java.lang.String PrimaryPrefix()
                                            throws ParseException

ParseException

PrimarySuffix

public static final java.lang.String PrimarySuffix()
                                            throws ParseException

ParseException

Literal

public static final java.lang.String Literal()
                                      throws ParseException

ParseException

BooleanLiteral

public static final java.lang.String BooleanLiteral()
                                             throws ParseException

ParseException

NullLiteral

public static final java.lang.String NullLiteral()
                                          throws ParseException

ParseException

Arguments

public static final java.lang.String Arguments()
                                        throws ParseException

ParseException

ArgumentList

public static final java.lang.String ArgumentList()
                                           throws ParseException

ParseException

AllocationExpression

public static final java.lang.String AllocationExpression()
                                                   throws ParseException

ParseException

ArrayDimensions

public static final java.lang.String ArrayDimensions()
                                              throws ParseException

ParseException

Statement

public static final JavaStmt Statement()
                                throws ParseException

ParseException

LabeledStatement

public static final JavaStmt LabeledStatement()
                                       throws ParseException

ParseException

Block

public static final JavaStmt Block()
                            throws ParseException

ParseException

BlockStatement

public static final JavaStmt BlockStatement()
                                     throws ParseException

ParseException

LocalVariableDeclaration

public static final void LocalVariableDeclaration()
                                           throws ParseException

ParseException

EmptyStatement

public static final JavaStmt EmptyStatement()
                                     throws ParseException

ParseException

StatementExpression

public static final JavaStmt StatementExpression()
                                          throws ParseException

ParseException

SwitchStatement

public static final JavaStmt SwitchStatement()
                                      throws ParseException

ParseException

SwitchLabel

public static final void SwitchLabel()
                              throws ParseException

ParseException

IfStatement

public static final JavaStmt IfStatement()
                                  throws ParseException

ParseException

WhileStatement

public static final JavaStmt WhileStatement()
                                     throws ParseException

ParseException

DoStatement

public static final JavaStmt DoStatement()
                                  throws ParseException

ParseException

ForStatement

public static final JavaStmt ForStatement()
                                   throws ParseException

ParseException

ForInit

public static final void ForInit()
                          throws ParseException

ParseException

StatementExpressionList

public static final JavaStmt StatementExpressionList()
                                              throws ParseException

ParseException

ForUpdate

public static final void ForUpdate()
                            throws ParseException

ParseException

BreakStatement

public static final JavaStmt BreakStatement()
                                     throws ParseException

ParseException

ContinueStatement

public static final JavaStmt ContinueStatement()
                                        throws ParseException

ParseException

ReturnStatement

public static final JavaStmt ReturnStatement()
                                      throws ParseException

ParseException

ThrowStatement

public static final JavaStmt ThrowStatement()
                                     throws ParseException

ParseException

SynchronizedStatement

public static final JavaStmt SynchronizedStatement()
                                            throws ParseException

ParseException

TryStatement

public static final JavaStmt TryStatement()
                                   throws ParseException

ParseException

jj_2_1

private static final boolean jj_2_1(int xla)

jj_2_2

private static final boolean jj_2_2(int xla)

jj_2_3

private static final boolean jj_2_3(int xla)

jj_2_4

private static final boolean jj_2_4(int xla)

jj_2_5

private static final boolean jj_2_5(int xla)

jj_2_6

private static final boolean jj_2_6(int xla)

jj_2_7

private static final boolean jj_2_7(int xla)

jj_2_8

private static final boolean jj_2_8(int xla)

jj_2_9

private static final boolean jj_2_9(int xla)

jj_2_10

private static final boolean jj_2_10(int xla)

jj_2_11

private static final boolean jj_2_11(int xla)

jj_2_12

private static final boolean jj_2_12(int xla)

jj_2_13

private static final boolean jj_2_13(int xla)

jj_2_14

private static final boolean jj_2_14(int xla)

jj_2_15

private static final boolean jj_2_15(int xla)

jj_2_16

private static final boolean jj_2_16(int xla)

jj_2_17

private static final boolean jj_2_17(int xla)

jj_2_18

private static final boolean jj_2_18(int xla)

jj_2_19

private static final boolean jj_2_19(int xla)

jj_2_20

private static final boolean jj_2_20(int xla)

jj_2_21

private static final boolean jj_2_21(int xla)

jj_2_22

private static final boolean jj_2_22(int xla)

jj_2_23

private static final boolean jj_2_23(int xla)

jj_3R_222

private static final boolean jj_3R_222()

jj_3R_216

private static final boolean jj_3R_216()

jj_3R_212

private static final boolean jj_3R_212()

jj_3R_221

private static final boolean jj_3R_221()

jj_3R_118

private static final boolean jj_3R_118()

jj_3R_79

private static final boolean jj_3R_79()

jj_3R_211

private static final boolean jj_3R_211()

jj_3R_220

private static final boolean jj_3R_220()

jj_3R_117

private static final boolean jj_3R_117()

jj_3R_78

private static final boolean jj_3R_78()

jj_3R_59

private static final boolean jj_3R_59()

jj_3R_215

private static final boolean jj_3R_215()

jj_3R_210

private static final boolean jj_3R_210()

jj_3R_209

private static final boolean jj_3R_209()

jj_3R_219

private static final boolean jj_3R_219()

jj_3R_213

private static final boolean jj_3R_213()

jj_3R_116

private static final boolean jj_3R_116()

jj_3R_203

private static final boolean jj_3R_203()

jj_3_21

private static final boolean jj_3_21()

jj_3R_202

private static final boolean jj_3R_202()

jj_3R_214

private static final boolean jj_3R_214()

jj_3R_207

private static final boolean jj_3R_207()

jj_3R_208

private static final boolean jj_3R_208()

jj_3R_201

private static final boolean jj_3R_201()

jj_3R_204

private static final boolean jj_3R_204()

jj_3R_200

private static final boolean jj_3R_200()

jj_3R_194

private static final boolean jj_3R_194()

jj_3R_115

private static final boolean jj_3R_115()

jj_3_1

private static final boolean jj_3_1()

jj_3R_206

private static final boolean jj_3R_206()

jj_3R_199

private static final boolean jj_3R_199()

jj_3R_192

private static final boolean jj_3R_192()

jj_3R_114

private static final boolean jj_3R_114()

jj_3_8

private static final boolean jj_3_8()

jj_3R_75

private static final boolean jj_3R_75()

jj_3R_205

private static final boolean jj_3R_205()

jj_3R_198

private static final boolean jj_3R_198()

jj_3R_195

private static final boolean jj_3R_195()

jj_3R_72

private static final boolean jj_3R_72()

jj_3R_197

private static final boolean jj_3R_197()

jj_3R_113

private static final boolean jj_3R_113()

jj_3R_188

private static final boolean jj_3R_188()

jj_3R_74

private static final boolean jj_3R_74()

jj_3R_66

private static final boolean jj_3R_66()

jj_3R_196

private static final boolean jj_3R_196()

jj_3R_193

private static final boolean jj_3R_193()

jj_3R_76

private static final boolean jj_3R_76()

jj_3R_112

private static final boolean jj_3R_112()

jj_3_7

private static final boolean jj_3_7()

jj_3R_73

private static final boolean jj_3R_73()

jj_3R_56

private static final boolean jj_3R_56()

jj_3R_58

private static final boolean jj_3R_58()

jj_3_6

private static final boolean jj_3_6()

jj_3R_71

private static final boolean jj_3R_71()

jj_3R_186

private static final boolean jj_3R_186()

jj_3R_189

private static final boolean jj_3R_189()

jj_3R_191

private static final boolean jj_3R_191()

jj_3R_70

private static final boolean jj_3R_70()

jj_3_5

private static final boolean jj_3_5()

jj_3R_190

private static final boolean jj_3R_190()

jj_3R_184

private static final boolean jj_3R_184()

jj_3R_187

private static final boolean jj_3R_187()

jj_3R_69

private static final boolean jj_3R_69()

jj_3R_54

private static final boolean jj_3R_54()

jj_3_4

private static final boolean jj_3_4()

jj_3R_182

private static final boolean jj_3R_182()

jj_3R_185

private static final boolean jj_3R_185()

jj_3R_180

private static final boolean jj_3R_180()

jj_3R_183

private static final boolean jj_3R_183()

jj_3_19

private static final boolean jj_3_19()

jj_3R_181

private static final boolean jj_3R_181()

jj_3R_178

private static final boolean jj_3R_178()

jj_3R_179

private static final boolean jj_3R_179()

jj_3R_168

private static final boolean jj_3R_168()

jj_3R_175

private static final boolean jj_3R_175()

jj_3_3

private static final boolean jj_3_3()

jj_3R_163

private static final boolean jj_3R_163()

jj_3R_176

private static final boolean jj_3R_176()

jj_3_20

private static final boolean jj_3_20()

jj_3R_170

private static final boolean jj_3R_170()

jj_3R_167

private static final boolean jj_3R_167()

jj_3_18

private static final boolean jj_3_18()

jj_3R_166

private static final boolean jj_3R_166()

jj_3R_173

private static final boolean jj_3R_173()

jj_3R_162

private static final boolean jj_3R_162()

jj_3R_161

private static final boolean jj_3R_161()

jj_3R_146

private static final boolean jj_3R_146()

jj_3_17

private static final boolean jj_3_17()

jj_3R_142

private static final boolean jj_3R_142()

jj_3R_139

private static final boolean jj_3R_139()

jj_3R_177

private static final boolean jj_3R_177()

jj_3R_174

private static final boolean jj_3R_174()

jj_3R_95

private static final boolean jj_3R_95()

jj_3R_94

private static final boolean jj_3R_94()

jj_3R_93

private static final boolean jj_3R_93()

jj_3R_92

private static final boolean jj_3R_92()

jj_3R_169

private static final boolean jj_3R_169()

jj_3R_91

private static final boolean jj_3R_91()

jj_3R_90

private static final boolean jj_3R_90()

jj_3R_89

private static final boolean jj_3R_89()

jj_3R_88

private static final boolean jj_3R_88()

jj_3R_87

private static final boolean jj_3R_87()

jj_3R_86

private static final boolean jj_3R_86()

jj_3R_122

private static final boolean jj_3R_122()

jj_3R_85

private static final boolean jj_3R_85()

jj_3R_84

private static final boolean jj_3R_84()

jj_3R_62

private static final boolean jj_3R_62()

jj_3R_154

private static final boolean jj_3R_154()

jj_3R_165

private static final boolean jj_3R_165()

jj_3R_153

private static final boolean jj_3R_153()

jj_3_12

private static final boolean jj_3_12()

jj_3R_138

private static final boolean jj_3R_138()

jj_3R_172

private static final boolean jj_3R_172()

jj_3R_152

private static final boolean jj_3R_152()

jj_3R_164

private static final boolean jj_3R_164()

jj_3R_171

private static final boolean jj_3R_171()

jj_3R_107

private static final boolean jj_3R_107()

jj_3R_151

private static final boolean jj_3R_151()

jj_3R_160

private static final boolean jj_3R_160()

jj_3R_65

private static final boolean jj_3R_65()

jj_3R_106

private static final boolean jj_3R_106()

jj_3R_159

private static final boolean jj_3R_159()

jj_3R_158

private static final boolean jj_3R_158()

jj_3R_150

private static final boolean jj_3R_150()

jj_3R_157

private static final boolean jj_3R_157()

jj_3R_156

private static final boolean jj_3R_156()

jj_3R_149

private static final boolean jj_3R_149()

jj_3R_141

private static final boolean jj_3R_141()

jj_3R_155

private static final boolean jj_3R_155()

jj_3R_148

private static final boolean jj_3R_148()

jj_3R_145

private static final boolean jj_3R_145()

jj_3R_144

private static final boolean jj_3R_144()

jj_3R_129

private static final boolean jj_3R_129()

jj_3R_143

private static final boolean jj_3R_143()

jj_3R_140

private static final boolean jj_3R_140()

jj_3R_147

private static final boolean jj_3R_147()

jj_3_11

private static final boolean jj_3_11()

jj_3R_57

private static final boolean jj_3R_57()

jj_3R_128

private static final boolean jj_3R_128()

jj_3R_137

private static final boolean jj_3R_137()

jj_3R_127

private static final boolean jj_3R_127()

jj_3R_83

private static final boolean jj_3R_83()

jj_3R_126

private static final boolean jj_3R_126()

jj_3R_110

private static final boolean jj_3R_110()

jj_3_23

private static final boolean jj_3_23()

jj_3R_125

private static final boolean jj_3R_125()

jj_3R_124

private static final boolean jj_3R_124()

jj_3R_121

private static final boolean jj_3R_121()

jj_3R_136

private static final boolean jj_3R_136()

jj_3R_82

private static final boolean jj_3R_82()

jj_3R_123

private static final boolean jj_3R_123()

jj_3R_77

private static final boolean jj_3R_77()

jj_3R_120

private static final boolean jj_3R_120()

jj_3R_105

private static final boolean jj_3R_105()

jj_3R_104

private static final boolean jj_3R_104()

jj_3R_135

private static final boolean jj_3R_135()

jj_3R_109

private static final boolean jj_3R_109()

jj_3R_103

private static final boolean jj_3R_103()

jj_3R_102

private static final boolean jj_3R_102()

jj_3R_101

private static final boolean jj_3R_101()

jj_3R_61

private static final boolean jj_3R_61()

jj_3R_229

private static final boolean jj_3R_229()

jj_3R_100

private static final boolean jj_3R_100()

jj_3R_134

private static final boolean jj_3R_134()

jj_3R_228

private static final boolean jj_3R_228()

jj_3R_99

private static final boolean jj_3R_99()

jj_3R_98

private static final boolean jj_3R_98()

jj_3R_64

private static final boolean jj_3R_64()

jj_3R_231

private static final boolean jj_3R_231()

jj_3R_108

private static final boolean jj_3R_108()

jj_3R_52

private static final boolean jj_3R_52()

jj_3R_111

private static final boolean jj_3R_111()

jj_3R_133

private static final boolean jj_3R_133()

jj_3R_230

private static final boolean jj_3R_230()

jj_3R_227

private static final boolean jj_3R_227()

jj_3R_226

private static final boolean jj_3R_226()

jj_3R_67

private static final boolean jj_3R_67()

jj_3R_132

private static final boolean jj_3R_132()

jj_3R_55

private static final boolean jj_3R_55()

jj_3R_131

private static final boolean jj_3R_131()

jj_3R_224

private static final boolean jj_3R_224()

jj_3_16

private static final boolean jj_3_16()

jj_3_2

private static final boolean jj_3_2()

jj_3R_81

private static final boolean jj_3R_81()

jj_3R_130

private static final boolean jj_3R_130()

jj_3R_53

private static final boolean jj_3R_53()

jj_3R_80

private static final boolean jj_3R_80()

jj_3_10

private static final boolean jj_3_10()

jj_3R_60

private static final boolean jj_3R_60()

jj_3R_225

private static final boolean jj_3R_225()

jj_3_15

private static final boolean jj_3_15()

jj_3R_68

private static final boolean jj_3R_68()

jj_3R_97

private static final boolean jj_3R_97()

jj_3R_96

private static final boolean jj_3R_96()

jj_3_14

private static final boolean jj_3_14()

jj_3R_63

private static final boolean jj_3R_63()

jj_3_9

private static final boolean jj_3_9()

jj_3_13

private static final boolean jj_3_13()

jj_3R_223

private static final boolean jj_3R_223()

jj_3_22

private static final boolean jj_3_22()

jj_3R_218

private static final boolean jj_3R_218()

jj_3R_119

private static final boolean jj_3R_119()

jj_3R_217

private static final boolean jj_3R_217()

ReInit

public static void ReInit(java.io.InputStream stream)

ReInit

public static void ReInit(java.io.Reader stream)

ReInit

public void ReInit(EnvGenParserTokenManager tm)

jj_consume_token

private static final Token jj_consume_token(int kind)
                                     throws ParseException

ParseException

jj_scan_token

private static final boolean jj_scan_token(int kind)

getNextToken

public static final Token getNextToken()

getToken

public static final Token getToken(int index)

jj_ntk

private static final int jj_ntk()

jj_add_error_token

private static void jj_add_error_token(int kind,
                                       int pos)

generateParseException

public static final ParseException generateParseException()

enable_tracing

public static final void enable_tracing()

disable_tracing

public static final void disable_tracing()

jj_rescan_token

private static final void jj_rescan_token()

jj_save

private static final void jj_save(int index,
                                  int xla)