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