: Class VeriParser

Class

Tree

Deprecated

Index

Help

PREV CLASS NEXT CLASS

FRAMES NO FRAMES

SUMMARY: INNER | FIELD | CONSTR | METHOD

DETAIL: FIELD | CONSTR | METHOD

engine
Class VeriParser

java.lang.Object
  |
  +--engine.VeriParser

public class VeriParser
extends java.lang.Object
implements VeriParserConstants

Inner Class Summary
`(package private) static class`	`VeriParser.JJCalls`

Field Summary
`static java.util.Hashtable`	`builtinGates`
`static Cronometer`	`cronos`
`(package private) static ModuleDescription`	`curModule`
`static boolean`	`export`
`static java.util.Vector`	`exportedModules`
`static DummyVCDReader`	`historyManager`
`(package private) static java.lang.Object`	`historyManagerLock`
`(package private) static java.util.HashSet`	`instantiatedModules`
`private VeriParser.JJCalls[]`	`jj_2_rtns`
`private int`	`jj_endpos`
`private java.util.Vector`	`jj_expentries`
`private int[]`	`jj_expentry`
`private int`	`jj_gc`
`private int`	`jj_gen`
`(package private) ASCII_CharStream`	`jj_input_stream`
`private int`	`jj_kind`
`private int`	`jj_la`
`private int[]`	`jj_la1`
`private int[]`	`jj_la1_0`
`private int[]`	`jj_la1_1`
`private int[]`	`jj_la1_2`
`private int[]`	`jj_la1_3`
`private int[]`	`jj_la1_4`
`private int[]`	`jj_la1_5`
`private Token`	`jj_lastpos`
`private int[]`	`jj_lasttokens`
`Token`	`jj_nt`
`private int`	`jj_ntk`
`private boolean`	`jj_rescan`
`private Token`	`jj_scanpos`
`private boolean`	`jj_semLA`
`boolean`	`lookingAhead`
`(package private) static java.util.Hashtable`	`moduleDescriptions`
`static java.util.Vector`	`objPaths`
`(package private) static VeriParser`	`parser`
`(package private) static ScopeNode`	`root`
`Token`	`token`
`VeriParserTokenManager`	`token_source`
`(package private) static TopModule`	`topModule`
`static java.lang.String`	`topName`
`private boolean`	`trace_enabled`
`private int`	`trace_indent`
`(package private) static boolean`	`verbose`

Constructor Summary
`VeriParser(java.io.InputStream stream)`
`VeriParser(java.io.Reader stream)`
`VeriParser(VeriParserTokenManager tm)`

Method Summary
`(package private) static void`	`()`
`ExpressionDescription`	`addExpression()`
`void`	`alwaysItem(NameSpaceDescription nsd)`
`void`	`assignItem(NameSpaceDescription nsd)`
`InstructionDescription`	`atInstruction(int delayBefore, NameSpaceDescription nsd)`
`ExpressionDescription`	`atomicExpression()`
`InstructionDescription`	`begin(int delayBefore, NameSpaceDescription nsd)`
`ExpressionDescription`	`binaryConstant()`
`ExpressionDescription`	`bitwiseAndXorExpression()`
`ExpressionDescription`	`bitwiseOrExpression()`
`void`	`blockDeclare(NameSpaceDescription ns)`
`InstructionDescription`	`caseInstruction(int delayBefore, NameSpaceDescription nsd)`
`byte`	`chargeStrength()` Trireg charge strength
`ExpressionDescription`	`conditionalExpression()`
`ExpressionDescription`	`constant()`
`InstructionDescription`	`coutTask(int delayBefore, NameSpaceDescription nsd)`
`ExpressionDescription`	`decimalConstant()`
`void`	`defParamItem(NameSpaceDescription ns)`
`int`	`delay()`
`Delay3Description`	`delay3(NameSpaceDescription nsd)`
`java.util.Vector`	`delayValue(NameSpaceDescription nsd)`
`void`	`disable_tracing()`
`java.util.Vector`	`displayParameterList()`
`InstructionDescription`	`displayTask(int delayBefore, NameSpaceDescription nsd)`
`byte`	`driveStrength()`
`java.lang.String`	`edgeSymbol()`
`void`	`enable_tracing()`
`ExpressionDescription`	`equalityExpression()`
`void`	`eventDeclare(NameSpaceDescription ns)`
`void`	`exportStatement()`
`ExpressionDescription`	`expression()`
`java.util.Vector`	`expressionList()`
`InstructionDescription`	`finishTaskInstruction(int delayBefore, NameSpaceDescription nsd)`
`InstructionDescription`	`foreverInstruction(int delayBefore, NameSpaceDescription nsd)`
`InstructionDescription`	`forInstruction(int delayBefore, NameSpaceDescription nsd)`
`InstructionDescription`	`forkInstruction(int delayBefore, NameSpaceDescription nsd)`
`FQNDescription`	`fqName()`
`ValueChangeMonitorDescription`	`frontExpression()`
`ExpressionDescription`	`functionCall()`
`void`	`functionItem(NameSpaceDescription nsd)`
`ParseException`	`generateParseException()`
`static ModuleFactory`	`getModuleByName(java.lang.String name)` Resolves names to module descriptions
`static java.lang.String`	`getModuleFile(java.lang.String name)` Finds a file that holds the given module, using the paths from objPaths (assumed to end with '/')
`Token`	`getNextToken()`
`Token`	`getToken(int index)`
`static VCDReader`	`getVCDReader()`
`ExpressionDescription`	`hexaConstant()`
`InstructionDescription`	`ifInstruction(int delayBefore, NameSpaceDescription nsd)`
`void`	`initialItem(NameSpaceDescription nsd)`
`void`	`inoutDeclare(NameSpaceDescription ns)`
`void`	`inputDeclare(NameSpaceDescription ns)`
`static void`	`instantiateTheWholeStuff()` this one will search for the "top" modules and instantiate them
`InstructionDescription`	`instruction(NameSpaceDescription nsd)`
`void`	`integerDeclare(NameSpaceDescription ns)`
`private boolean`	`jj_2_1(int xla)`
`private boolean`	`jj_2_10(int xla)`
`private boolean`	`jj_2_11(int xla)`
`private boolean`	`jj_2_12(int xla)`
`private boolean`	`jj_2_13(int xla)`
`private boolean`	`jj_2_14(int xla)`
`private boolean`	`jj_2_15(int xla)`
`private boolean`	`jj_2_16(int xla)`
`private boolean`	`jj_2_17(int xla)`
`private boolean`	`jj_2_18(int xla)`
`private boolean`	`jj_2_19(int xla)`
`private boolean`	`jj_2_2(int xla)`
`private boolean`	`jj_2_20(int xla)`
`private boolean`	`jj_2_21(int xla)`
`private boolean`	`jj_2_22(int xla)`
`private boolean`	`jj_2_23(int xla)`
`private boolean`	`jj_2_24(int xla)`
`private boolean`	`jj_2_25(int xla)`
`private boolean`	`jj_2_26(int xla)`
`private boolean`	`jj_2_27(int xla)`
`private boolean`	`jj_2_28(int xla)`
`private boolean`	`jj_2_29(int xla)`
`private boolean`	`jj_2_3(int xla)`
`private boolean`	`jj_2_30(int xla)`
`private boolean`	`jj_2_31(int xla)`
`private boolean`	`jj_2_4(int xla)`
`private boolean`	`jj_2_5(int xla)`
`private boolean`	`jj_2_6(int xla)`
`private boolean`	`jj_2_7(int xla)`
`private boolean`	`jj_2_8(int xla)`
`private boolean`	`jj_2_9(int xla)`
`private boolean`	`jj_3_1()`
`private boolean`	`jj_3_10()`
`private boolean`	`jj_3_11()`
`private boolean`	`jj_3_12()`
`private boolean`	`jj_3_13()`
`private boolean`	`jj_3_14()`
`private boolean`	`jj_3_15()`
`private boolean`	`jj_3_16()`
`private boolean`	`jj_3_17()`
`private boolean`	`jj_3_18()`
`private boolean`	`jj_3_19()`
`private boolean`	`jj_3_2()`
`private boolean`	`jj_3_20()`
`private boolean`	`jj_3_21()`
`private boolean`	`jj_3_22()`
`private boolean`	`jj_3_23()`
`private boolean`	`jj_3_24()`
`private boolean`	`jj_3_25()`
`private boolean`	`jj_3_26()`
`private boolean`	`jj_3_27()`
`private boolean`	`jj_3_28()`
`private boolean`	`jj_3_29()`
`private boolean`	`jj_3_3()`
`private boolean`	`jj_3_30()`
`private boolean`	`jj_3_31()`
`private boolean`	`jj_3_4()`
`private boolean`	`jj_3_5()`
`private boolean`	`jj_3_6()`
`private boolean`	`jj_3_7()`
`private boolean`	`jj_3_8()`
`private boolean`	`jj_3_9()`
`private boolean`	`jj_3R_100()`
`private boolean`	`jj_3R_101()`
`private boolean`	`jj_3R_102()`
`private boolean`	`jj_3R_103()`
`private boolean`	`jj_3R_104()`
`private boolean`	`jj_3R_105()`
`private boolean`	`jj_3R_106()`
`private boolean`	`jj_3R_107()`
`private boolean`	`jj_3R_108()`
`private boolean`	`jj_3R_109()`
`private boolean`	`jj_3R_110()`
`private boolean`	`jj_3R_111()`
`private boolean`	`jj_3R_112()`
`private boolean`	`jj_3R_113()`
`private boolean`	`jj_3R_114()`
`private boolean`	`jj_3R_115()`
`private boolean`	`jj_3R_116()`
`private boolean`	`jj_3R_117()`
`private boolean`	`jj_3R_118()`
`private boolean`	`jj_3R_119()`
`private boolean`	`jj_3R_120()`
`private boolean`	`jj_3R_121()`
`private boolean`	`jj_3R_122()`
`private boolean`	`jj_3R_123()`
`private boolean`	`jj_3R_124()`
`private boolean`	`jj_3R_125()`
`private boolean`	`jj_3R_126()`
`private boolean`	`jj_3R_127()`
`private boolean`	`jj_3R_128()`
`private boolean`	`jj_3R_129()`
`private boolean`	`jj_3R_130()`
`private boolean`	`jj_3R_131()`
`private boolean`	`jj_3R_132()`
`private boolean`	`jj_3R_133()`
`private boolean`	`jj_3R_134()`
`private boolean`	`jj_3R_135()`
`private boolean`	`jj_3R_136()`
`private boolean`	`jj_3R_137()`
`private boolean`	`jj_3R_138()`
`private boolean`	`jj_3R_139()`
`private boolean`	`jj_3R_140()`
`private boolean`	`jj_3R_141()`
`private boolean`	`jj_3R_142()`
`private boolean`	`jj_3R_143()`
`private boolean`	`jj_3R_144()`
`private boolean`	`jj_3R_145()`
`private boolean`	`jj_3R_146()`
`private boolean`	`jj_3R_147()`
`private boolean`	`jj_3R_148()`
`private boolean`	`jj_3R_149()`
`private boolean`	`jj_3R_150()`
`private boolean`	`jj_3R_151()`
`private boolean`	`jj_3R_152()`
`private boolean`	`jj_3R_153()`
`private boolean`	`jj_3R_154()`
`private boolean`	`jj_3R_155()`
`private boolean`	`jj_3R_156()`
`private boolean`	`jj_3R_157()`
`private boolean`	`jj_3R_158()`
`private boolean`	`jj_3R_159()`
`private boolean`	`jj_3R_160()`
`private boolean`	`jj_3R_161()`
`private boolean`	`jj_3R_162()`
`private boolean`	`jj_3R_163()`
`private boolean`	`jj_3R_164()`
`private boolean`	`jj_3R_165()`
`private boolean`	`jj_3R_166()`
`private boolean`	`jj_3R_167()`
`private boolean`	`jj_3R_168()`
`private boolean`	`jj_3R_169()`
`private boolean`	`jj_3R_170()`
`private boolean`	`jj_3R_171()`
`private boolean`	`jj_3R_172()`
`private boolean`	`jj_3R_173()`
`private boolean`	`jj_3R_174()`
`private boolean`	`jj_3R_175()`
`private boolean`	`jj_3R_176()`
`private boolean`	`jj_3R_177()`
`private boolean`	`jj_3R_178()`
`private boolean`	`jj_3R_179()`
`private boolean`	`jj_3R_180()`
`private boolean`	`jj_3R_181()`
`private boolean`	`jj_3R_182()`
`private boolean`	`jj_3R_183()`
`private boolean`	`jj_3R_184()`
`private boolean`	`jj_3R_185()`
`private boolean`	`jj_3R_186()`
`private boolean`	`jj_3R_187()`
`private boolean`	`jj_3R_188()`
`private boolean`	`jj_3R_189()`
`private boolean`	`jj_3R_190()`
`private boolean`	`jj_3R_191()`
`private boolean`	`jj_3R_192()`
`private boolean`	`jj_3R_193()`
`private boolean`	`jj_3R_194()`
`private boolean`	`jj_3R_195()`
`private boolean`	`jj_3R_196()`
`private boolean`	`jj_3R_197()`
`private boolean`	`jj_3R_198()`
`private boolean`	`jj_3R_199()`
`private boolean`	`jj_3R_200()`
`private boolean`	`jj_3R_201()`
`private boolean`	`jj_3R_202()`
`private boolean`	`jj_3R_203()`
`private boolean`	`jj_3R_204()`
`private boolean`	`jj_3R_205()`
`private boolean`	`jj_3R_206()`
`private boolean`	`jj_3R_207()`
`private boolean`	`jj_3R_208()`
`private boolean`	`jj_3R_209()`
`private boolean`	`jj_3R_210()`
`private boolean`	`jj_3R_211()`
`private boolean`	`jj_3R_212()`
`private boolean`	`jj_3R_213()`
`private boolean`	`jj_3R_214()`
`private boolean`	`jj_3R_215()`
`private boolean`	`jj_3R_216()`
`private boolean`	`jj_3R_217()`
`private boolean`	`jj_3R_218()`
`private boolean`	`jj_3R_219()`
`private boolean`	`jj_3R_220()`
`private boolean`	`jj_3R_221()`
`private boolean`	`jj_3R_222()`
`private boolean`	`jj_3R_223()`
`private boolean`	`jj_3R_224()`
`private boolean`	`jj_3R_225()`
`private boolean`	`jj_3R_226()`
`private boolean`	`jj_3R_227()`
`private boolean`	`jj_3R_228()`
`private boolean`	`jj_3R_229()`
`private boolean`	`jj_3R_230()`
`private boolean`	`jj_3R_231()`
`private boolean`	`jj_3R_232()`
`private boolean`	`jj_3R_233()`
`private boolean`	`jj_3R_234()`
`private boolean`	`jj_3R_235()`
`private boolean`	`jj_3R_236()`
`private boolean`	`jj_3R_237()`
`private boolean`	`jj_3R_238()`
`private boolean`	`jj_3R_239()`
`private boolean`	`jj_3R_240()`
`private boolean`	`jj_3R_241()`
`private boolean`	`jj_3R_242()`
`private boolean`	`jj_3R_243()`
`private boolean`	`jj_3R_244()`
`private boolean`	`jj_3R_245()`
`private boolean`	`jj_3R_246()`
`private boolean`	`jj_3R_247()`
`private boolean`	`jj_3R_248()`
`private boolean`	`jj_3R_249()`
`private boolean`	`jj_3R_250()`
`private boolean`	`jj_3R_251()`
`private boolean`	`jj_3R_252()`
`private boolean`	`jj_3R_253()`
`private boolean`	`jj_3R_254()`
`private boolean`	`jj_3R_255()`
`private boolean`	`jj_3R_256()`
`private boolean`	`jj_3R_257()`
`private boolean`	`jj_3R_258()`
`private boolean`	`jj_3R_259()`
`private boolean`	`jj_3R_260()`
`private boolean`	`jj_3R_261()`
`private boolean`	`jj_3R_262()`
`private boolean`	`jj_3R_263()`
`private boolean`	`jj_3R_264()`
`private boolean`	`jj_3R_265()`
`private boolean`	`jj_3R_266()`
`private boolean`	`jj_3R_267()`
`private boolean`	`jj_3R_268()`
`private boolean`	`jj_3R_269()`
`private boolean`	`jj_3R_270()`
`private boolean`	`jj_3R_271()`
`private boolean`	`jj_3R_272()`
`private boolean`	`jj_3R_273()`
`private boolean`	`jj_3R_274()`
`private boolean`	`jj_3R_275()`
`private boolean`	`jj_3R_276()`
`private boolean`	`jj_3R_277()`
`private boolean`	`jj_3R_278()`
`private boolean`	`jj_3R_279()`
`private boolean`	`jj_3R_280()`
`private boolean`	`jj_3R_281()`
`private boolean`	`jj_3R_282()`
`private boolean`	`jj_3R_283()`
`private boolean`	`jj_3R_284()`
`private boolean`	`jj_3R_285()`
`private boolean`	`jj_3R_286()`
`private boolean`	`jj_3R_287()`
`private boolean`	`jj_3R_288()`
`private boolean`	`jj_3R_49()`
`private boolean`	`jj_3R_50()`
`private boolean`	`jj_3R_51()`
`private boolean`	`jj_3R_52()`
`private boolean`	`jj_3R_53()`
`private boolean`	`jj_3R_54()`
`private boolean`	`jj_3R_55()`
`private boolean`	`jj_3R_56()`
`private boolean`	`jj_3R_57()`
`private boolean`	`jj_3R_58()`
`private boolean`	`jj_3R_59()`
`private boolean`	`jj_3R_60()`
`private boolean`	`jj_3R_61()`
`private boolean`	`jj_3R_62()`
`private boolean`	`jj_3R_63()`
`private boolean`	`jj_3R_64()`
`private boolean`	`jj_3R_65()`
`private boolean`	`jj_3R_66()`
`private boolean`	`jj_3R_67()`
`private boolean`	`jj_3R_68()`
`private boolean`	`jj_3R_69()`
`private boolean`	`jj_3R_70()`
`private boolean`	`jj_3R_71()`
`private boolean`	`jj_3R_72()`
`private boolean`	`jj_3R_73()`
`private boolean`	`jj_3R_74()`
`private boolean`	`jj_3R_75()`
`private boolean`	`jj_3R_76()`
`private boolean`	`jj_3R_77()`
`private boolean`	`jj_3R_78()`
`private boolean`	`jj_3R_79()`
`private boolean`	`jj_3R_80()`
`private boolean`	`jj_3R_81()`
`private boolean`	`jj_3R_82()`
`private boolean`	`jj_3R_83()`
`private boolean`	`jj_3R_84()`
`private boolean`	`jj_3R_85()`
`private boolean`	`jj_3R_86()`
`private boolean`	`jj_3R_87()`
`private boolean`	`jj_3R_88()`
`private boolean`	`jj_3R_89()`
`private boolean`	`jj_3R_90()`
`private boolean`	`jj_3R_91()`
`private boolean`	`jj_3R_92()`
`private boolean`	`jj_3R_93()`
`private boolean`	`jj_3R_94()`
`private boolean`	`jj_3R_95()`
`private boolean`	`jj_3R_96()`
`private boolean`	`jj_3R_97()`
`private boolean`	`jj_3R_98()`
`private boolean`	`jj_3R_99()`
`private void`	`jj_add_error_token(int kind, int pos)`
`private Token`	`jj_consume_token(int kind)`
`private int`	`jj_ntk()`
`private void`	`jj_rescan_token()`
`private void`	`jj_save(int index, int xla)`
`private boolean`	`jj_scan_token(int kind)`
`ExpressionDescription`	`lessOrGreaterExpression()`
`java.lang.String`	`levelSymbol()`
`ExpressionDescription`	`logicalAndExpression()`
`ExpressionDescription`	`logicalOrExpression()`
`AssignableSelection`	`lValue()`
`static void`	`main(java.lang.String[] args)`
`void`	`moduleDeclare(NameSpaceDescription ns)`
`void`	`moduleInstance(NameSpaceDescription nsd, java.lang.String descName, java.util.Vector parameters, byte strength, Delay3Description delays)`
`void`	`moduleInstanceDeclare(NameSpaceDescription nsd)`
`void`	`moduleItem(NameSpaceDescription ns)`
`InstructionDescription`	`monitorTask(int delayBefore, NameSpaceDescription nsd)`
`ExpressionDescription`	`multiplyExpression()`
`java.lang.String`	`name()`
`void`	`netDeclare(NameSpaceDescription nsd)`
`void`	`netDeclareItem(NameSpaceDescription nsd, ExpressionDescription msb, ExpressionDescription lsb, int expandType, int netType, Delay3Description delays, byte strength)`
`void`	`netDeclareWithAssignItem(NameSpaceDescription nsd, ExpressionDescription msb, ExpressionDescription lsb, int expandType, int netType, Delay3Description delays, byte strength)`
`ExpressionDescription`	`octalConstant()`
`void`	`outputDeclare(NameSpaceDescription ns)`
`java.lang.String`	`outputSymbol()`
`void`	`paramDeclare(NameSpaceDescription ns)`
`static void`	`performCheckup()` this one fixes some stuff pending due to textual order or implicit conventions
`static void`	`performCleanup()` this should nullify as many references as can get, in order to help gc
`void`	`portList(NameSpaceDescription nsd)`
`void`	`portListItem(NameSpaceDescription nsd, int i)` Unlike the standard, we allow mixing of named/unnamed connections, but we assign implicit name to the unnamed ones
`ExpressionDescription`	`portSelection()`
`ProcAssignInstrucDescription`	`procAssign(int delayBefore, NameSpaceDescription nsd)`
`ProcAssignInstrucDescription`	`procAssignExpression(int delayBefore, NameSpaceDescription nsd)`
`static ModuleFactory`	`readModule(java.lang.String name)` Fetches a ModuleDescription from a file.
`ExpressionDescription`	`realConstant()`
`void`	`realDeclare(NameSpaceDescription ns)`
`void`	`realtimeDeclare(NameSpaceDescription ns)`
`void`	`regDeclare(NameSpaceDescription ns)`
`void`	`ReInit(java.io.InputStream stream)`
`void`	`ReInit(java.io.Reader stream)`
`void`	`ReInit(VeriParserTokenManager tm)`
`InstructionDescription`	`repeatInstruction(int delayBefore, NameSpaceDescription nsd)`
`static void`	`runParser(java.lang.String[] args, ScopeNode root, TimeUnitChangeListener tucl, IOManager io)`
`ExpressionDescription`	`selectionExpression()`
`static void`	`setLibDirs()`
`ExpressionDescription`	`shiftExpression()`
`int`	`sizeSpec()`
`void`	`start(java.lang.String fileName)`
`void`	`startModule(java.lang.String fileName)`
`void`	`startUdp(java.lang.String fileName)`
`byte`	`strength0()`
`byte`	`strength1()`
`ExpressionDescription`	`stringConstant()`
`static java.lang.String`	`stringTran(java.lang.String s)`
`InstructionDescription`	`strobeTask(int delayBefore, NameSpaceDescription nsd)`
`GenericSelectorDescription`	`symbolSelection()`
`InstructionDescription`	`systemTask(int delayBefore, NameSpaceDescription nsd)`
`InstructionDescription`	`taskEnableInstruction(int delayBefore, NameSpaceDescription nsd)`
`void`	`taskItem(NameSpaceDescription nsd)`
`void`	`timeDeclare(NameSpaceDescription ns)`
`private void`	`trace_call(java.lang.String s)`
`private void`	`trace_return(java.lang.String s)`
`private void`	`trace_scan(Token t1, int t2)`
`private void`	`trace_token(Token t, java.lang.String where)`
`void`	`UDPInitial(UDPDescription udp)`
`void`	`UDPPortListItem(UDPDescription udp, int type)`
`java.lang.String`	`UDPTableCOMEntry()`
`java.lang.String`	`UDPTableSEQEntry()`
`ExpressionDescription`	`unaryExpression()`
`static java.lang.String`	`unUnderscore(java.lang.String s)` Eliminates underscores from s.
`InstructionDescription`	`whileInstruction(int delayBefore, NameSpaceDescription nsd)`
`static void`	`writeModule(ModuleFactory desc)` Dumps a moduleDescription to a file together with some magic & ver info.
`InstructionDescription`	`writeTask(int delayBefore, NameSpaceDescription nsd)`

Methods inherited from class java.lang.Object

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

Field Detail

moduleDescriptions

static java.util.Hashtable moduleDescriptions

builtinGates

public static java.util.Hashtable builtinGates

curModule

static ModuleDescription curModule

root

static ScopeNode root

topModule

static TopModule topModule

verbose

static boolean verbose

instantiatedModules

static java.util.HashSet instantiatedModules

parser

static VeriParser parser

objPaths

public static java.util.Vector objPaths

exportedModules

public static java.util.Vector exportedModules

export

public static boolean export

topName

public static final java.lang.String topName

historyManager

public static volatile DummyVCDReader historyManager

cronos

public static Cronometer cronos

historyManagerLock

static java.lang.Object historyManagerLock

token_source

public VeriParserTokenManager token_source

jj_input_stream

ASCII_CharStream jj_input_stream

token

public Token token

jj_nt

public Token jj_nt

jj_ntk

private int jj_ntk

jj_scanpos

private Token jj_scanpos

jj_lastpos

private Token jj_lastpos

jj_la

private int jj_la

lookingAhead

public boolean lookingAhead

jj_semLA

private boolean jj_semLA

jj_gen

private int jj_gen

jj_la1

private final int[] jj_la1

jj_la1_0

private final int[] jj_la1_0

jj_la1_1

private final int[] jj_la1_1

jj_la1_2

private final int[] jj_la1_2

jj_la1_3

private final int[] jj_la1_3

jj_la1_4

private final int[] jj_la1_4

jj_la1_5

private final int[] jj_la1_5

jj_2_rtns

private final VeriParser.JJCalls[] jj_2_rtns

jj_rescan

private boolean jj_rescan

jj_gc

private int jj_gc

jj_expentries

private java.util.Vector jj_expentries

jj_expentry

private int[] jj_expentry

jj_kind

private int jj_kind

jj_lasttokens

private int[] jj_lasttokens

jj_endpos

private int jj_endpos

trace_indent

private int trace_indent

trace_enabled

private boolean trace_enabled

Constructor Detail

VeriParser

public VeriParser(java.io.InputStream stream)

VeriParser

public VeriParser(java.io.Reader stream)

VeriParser

public VeriParser(VeriParserTokenManager tm)

Method Detail

static void ()

runParser

public static void runParser(java.lang.String[] args,
                             ScopeNode root,
                             TimeUnitChangeListener tucl,
                             IOManager io)

getVCDReader

public static VCDReader getVCDReader()

setLibDirs

public static void setLibDirs()

main

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

getModuleByName

public static ModuleFactory getModuleByName(java.lang.String name)

Resolves names to module descriptions

getModuleFile

public static java.lang.String getModuleFile(java.lang.String name)

Finds a file that holds the given module, using the paths from objPaths (assumed to end with '/')

readModule

public static ModuleFactory readModule(java.lang.String name)

Fetches a ModuleDescription from a file. The paths given in objPaths are searched for a match.

Returns:: null if no filename matches the module name.

writeModule

public static void writeModule(ModuleFactory desc)

Dumps a moduleDescription to a file together with some magic & ver info. The file is created into the current directory !

performCleanup

public static void performCleanup()

this should nullify as many references as can get, in order to help gc

performCheckup

public static void performCheckup()
                           throws ParseException

this one fixes some stuff pending due to textual order or implicit conventions

instantiateTheWholeStuff

public static void instantiateTheWholeStuff()
                                     throws ParseException

this one will search for the "top" modules and instantiate them

stringTran

public static java.lang.String stringTran(java.lang.String s)
                                   throws ParseException

unUnderscore

public static java.lang.String unUnderscore(java.lang.String s)

Eliminates underscores from s. (used for numbers)

start

public final void start(java.lang.String fileName)
                 throws ParseException

exportStatement

public final void exportStatement()
                           throws ParseException

startUdp

public final void startUdp(java.lang.String fileName)
                    throws ParseException

UDPInitial

public final void UDPInitial(UDPDescription udp)
                      throws ParseException

UDPTableCOMEntry

public final java.lang.String UDPTableCOMEntry()
                                        throws ParseException

UDPTableSEQEntry

public final java.lang.String UDPTableSEQEntry()
                                        throws ParseException

outputSymbol

public final java.lang.String outputSymbol()
                                    throws ParseException

edgeSymbol

public final java.lang.String edgeSymbol()
                                  throws ParseException

levelSymbol

public final java.lang.String levelSymbol()
                                   throws ParseException

UDPPortListItem

public final void UDPPortListItem(UDPDescription udp,
                                  int type)
                           throws ParseException

startModule

public final void startModule(java.lang.String fileName)
                       throws ParseException

portList

public final void portList(NameSpaceDescription nsd)
                    throws ParseException

portListItem

public final void portListItem(NameSpaceDescription nsd,
                               int i)
                        throws ParseException

Unlike the standard, we allow mixing of named/unnamed connections, but we assign implicit name to the unnamed ones

portSelection

public final ExpressionDescription portSelection()
                                          throws ParseException

blockDeclare

public final void blockDeclare(NameSpaceDescription ns)
                        throws ParseException

moduleDeclare

public final void moduleDeclare(NameSpaceDescription ns)
                         throws ParseException

moduleItem

public final void moduleItem(NameSpaceDescription ns)
                      throws ParseException

timeDeclare

public final void timeDeclare(NameSpaceDescription ns)
                       throws ParseException

realtimeDeclare

public final void realtimeDeclare(NameSpaceDescription ns)
                           throws ParseException

eventDeclare

public final void eventDeclare(NameSpaceDescription ns)
                        throws ParseException

paramDeclare

public final void paramDeclare(NameSpaceDescription ns)
                        throws ParseException

realDeclare

public final void realDeclare(NameSpaceDescription ns)
                       throws ParseException

integerDeclare

public final void integerDeclare(NameSpaceDescription ns)
                          throws ParseException

regDeclare

public final void regDeclare(NameSpaceDescription ns)
                      throws ParseException

netDeclare

public final void netDeclare(NameSpaceDescription nsd)
                      throws ParseException

netDeclareWithAssignItem

public final void netDeclareWithAssignItem(NameSpaceDescription nsd,
                                           ExpressionDescription msb,
                                           ExpressionDescription lsb,
                                           int expandType,
                                           int netType,
                                           Delay3Description delays,
                                           byte strength)
                                    throws ParseException

netDeclareItem

public final void netDeclareItem(NameSpaceDescription nsd,
                                 ExpressionDescription msb,
                                 ExpressionDescription lsb,
                                 int expandType,
                                 int netType,
                                 Delay3Description delays,
                                 byte strength)
                          throws ParseException

inputDeclare

public final void inputDeclare(NameSpaceDescription ns)
                        throws ParseException

outputDeclare

public final void outputDeclare(NameSpaceDescription ns)
                         throws ParseException

inoutDeclare

public final void inoutDeclare(NameSpaceDescription ns)
                        throws ParseException

moduleInstanceDeclare

public final void moduleInstanceDeclare(NameSpaceDescription nsd)
                                 throws ParseException

moduleInstance

public final void moduleInstance(NameSpaceDescription nsd,
                                 java.lang.String descName,
                                 java.util.Vector parameters,
                                 byte strength,
                                 Delay3Description delays)
                          throws ParseException

functionItem

public final void functionItem(NameSpaceDescription nsd)
                        throws ParseException

taskItem

public final void taskItem(NameSpaceDescription nsd)
                    throws ParseException

defParamItem

public final void defParamItem(NameSpaceDescription ns)
                        throws ParseException

assignItem

public final void assignItem(NameSpaceDescription nsd)
                      throws ParseException

chargeStrength

public final byte chargeStrength()
                          throws ParseException

Trireg charge strength

driveStrength

public final byte driveStrength()
                         throws ParseException

strength1

public final byte strength1()
                     throws ParseException

strength0

public final byte strength0()
                     throws ParseException

lValue

public final AssignableSelection lValue()
                                 throws ParseException

initialItem

public final void initialItem(NameSpaceDescription nsd)
                       throws ParseException

alwaysItem

public final void alwaysItem(NameSpaceDescription nsd)
                      throws ParseException

instruction

public final InstructionDescription instruction(NameSpaceDescription nsd)
                                         throws ParseException

finishTaskInstruction

public final InstructionDescription finishTaskInstruction(int delayBefore,
                                                          NameSpaceDescription nsd)
                                                   throws ParseException

systemTask

public final InstructionDescription systemTask(int delayBefore,
                                               NameSpaceDescription nsd)
                                        throws ParseException

expressionList

public final java.util.Vector expressionList()
                                      throws ParseException

taskEnableInstruction

public final InstructionDescription taskEnableInstruction(int delayBefore,
                                                          NameSpaceDescription nsd)
                                                   throws ParseException

forkInstruction

public final InstructionDescription forkInstruction(int delayBefore,
                                                    NameSpaceDescription nsd)
                                             throws ParseException

caseInstruction

public final InstructionDescription caseInstruction(int delayBefore,
                                                    NameSpaceDescription nsd)
                                             throws ParseException

forInstruction

public final InstructionDescription forInstruction(int delayBefore,
                                                   NameSpaceDescription nsd)
                                            throws ParseException

ifInstruction

public final InstructionDescription ifInstruction(int delayBefore,
                                                  NameSpaceDescription nsd)
                                           throws ParseException

repeatInstruction

public final InstructionDescription repeatInstruction(int delayBefore,
                                                      NameSpaceDescription nsd)
                                               throws ParseException

whileInstruction

public final InstructionDescription whileInstruction(int delayBefore,
                                                     NameSpaceDescription nsd)
                                              throws ParseException

foreverInstruction

public final InstructionDescription foreverInstruction(int delayBefore,
                                                       NameSpaceDescription nsd)
                                                throws ParseException

atInstruction

public final InstructionDescription atInstruction(int delayBefore,
                                                  NameSpaceDescription nsd)
                                           throws ParseException

frontExpression

public final ValueChangeMonitorDescription frontExpression()
                                                    throws ParseException

coutTask

public final InstructionDescription coutTask(int delayBefore,
                                             NameSpaceDescription nsd)
                                      throws ParseException

displayParameterList

public final java.util.Vector displayParameterList()
                                            throws ParseException

displayTask

public final InstructionDescription displayTask(int delayBefore,
                                                NameSpaceDescription nsd)
                                         throws ParseException

strobeTask

public final InstructionDescription strobeTask(int delayBefore,
                                               NameSpaceDescription nsd)
                                        throws ParseException

monitorTask

public final InstructionDescription monitorTask(int delayBefore,
                                                NameSpaceDescription nsd)
                                         throws ParseException

writeTask

public final InstructionDescription writeTask(int delayBefore,
                                              NameSpaceDescription nsd)
                                       throws ParseException

begin

public final InstructionDescription begin(int delayBefore,
                                          NameSpaceDescription nsd)
                                   throws ParseException

procAssign

public final ProcAssignInstrucDescription procAssign(int delayBefore,
                                                     NameSpaceDescription nsd)
                                              throws ParseException

procAssignExpression

public final ProcAssignInstrucDescription procAssignExpression(int delayBefore,
                                                               NameSpaceDescription nsd)
                                                        throws ParseException

expression

public final ExpressionDescription expression()
                                       throws ParseException

atomicExpression

public final ExpressionDescription atomicExpression()
                                             throws ParseException

functionCall

public final ExpressionDescription functionCall()
                                         throws ParseException

selectionExpression

public final ExpressionDescription selectionExpression()
                                                throws ParseException

constant

public final ExpressionDescription constant()
                                     throws ParseException

realConstant

public final ExpressionDescription realConstant()
                                         throws ParseException

stringConstant

public final ExpressionDescription stringConstant()
                                           throws ParseException

sizeSpec

public final int sizeSpec()
                   throws ParseException

decimalConstant

public final ExpressionDescription decimalConstant()
                                            throws ParseException

binaryConstant

public final ExpressionDescription binaryConstant()
                                           throws ParseException

octalConstant

public final ExpressionDescription octalConstant()
                                          throws ParseException

hexaConstant

public final ExpressionDescription hexaConstant()
                                         throws ParseException

conditionalExpression

public final ExpressionDescription conditionalExpression()
                                                  throws ParseException

logicalOrExpression

public final ExpressionDescription logicalOrExpression()
                                                throws ParseException

logicalAndExpression

public final ExpressionDescription logicalAndExpression()
                                                 throws ParseException

bitwiseOrExpression

public final ExpressionDescription bitwiseOrExpression()
                                                throws ParseException

bitwiseAndXorExpression

public final ExpressionDescription bitwiseAndXorExpression()
                                                    throws ParseException

equalityExpression

public final ExpressionDescription equalityExpression()
                                               throws ParseException

lessOrGreaterExpression

public final ExpressionDescription lessOrGreaterExpression()
                                                    throws ParseException

shiftExpression

public final ExpressionDescription shiftExpression()
                                            throws ParseException

addExpression

public final ExpressionDescription addExpression()
                                          throws ParseException

multiplyExpression

public final ExpressionDescription multiplyExpression()
                                               throws ParseException

unaryExpression

public final ExpressionDescription unaryExpression()
                                            throws ParseException

symbolSelection

public final GenericSelectorDescription symbolSelection()
                                                 throws ParseException

name

public final java.lang.String name()
                            throws ParseException

fqName

public final FQNDescription fqName()
                            throws ParseException

delay

public final int delay()
                throws ParseException

delay3

public final Delay3Description delay3(NameSpaceDescription nsd)
                               throws ParseException

delayValue

public final java.util.Vector delayValue(NameSpaceDescription nsd)
                                  throws ParseException

jj_2_1

private final boolean jj_2_1(int xla)

jj_2_2

private final boolean jj_2_2(int xla)

jj_2_3

private final boolean jj_2_3(int xla)

jj_2_4

private final boolean jj_2_4(int xla)

jj_2_5

private final boolean jj_2_5(int xla)

jj_2_6

private final boolean jj_2_6(int xla)

jj_2_7

private final boolean jj_2_7(int xla)

jj_2_8

private final boolean jj_2_8(int xla)

jj_2_9

private final boolean jj_2_9(int xla)

jj_2_10

private final boolean jj_2_10(int xla)

jj_2_11

private final boolean jj_2_11(int xla)

jj_2_12

private final boolean jj_2_12(int xla)

jj_2_13

private final boolean jj_2_13(int xla)

jj_2_14

private final boolean jj_2_14(int xla)

jj_2_15

private final boolean jj_2_15(int xla)

jj_2_16

private final boolean jj_2_16(int xla)

jj_2_17

private final boolean jj_2_17(int xla)

jj_2_18

private final boolean jj_2_18(int xla)

jj_2_19

private final boolean jj_2_19(int xla)

jj_2_20

private final boolean jj_2_20(int xla)

jj_2_21

private final boolean jj_2_21(int xla)

jj_2_22

private final boolean jj_2_22(int xla)

jj_2_23

private final boolean jj_2_23(int xla)

jj_2_24

private final boolean jj_2_24(int xla)

jj_2_25

private final boolean jj_2_25(int xla)

jj_2_26

private final boolean jj_2_26(int xla)

jj_2_27

private final boolean jj_2_27(int xla)

jj_2_28

private final boolean jj_2_28(int xla)

jj_2_29

private final boolean jj_2_29(int xla)

jj_2_30

private final boolean jj_2_30(int xla)

jj_2_31

private final boolean jj_2_31(int xla)

jj_3R_244

private final boolean jj_3R_244()

jj_3R_135

private final boolean jj_3R_135()

jj_3R_211

private final boolean jj_3R_211()

jj_3R_208

private final boolean jj_3R_208()

jj_3R_156

private final boolean jj_3R_156()

jj_3R_250

private final boolean jj_3R_250()

jj_3R_216

private final boolean jj_3R_216()

jj_3R_219

private final boolean jj_3R_219()

jj_3R_104

private final boolean jj_3R_104()

jj_3R_217

private final boolean jj_3R_217()

jj_3R_159

private final boolean jj_3R_159()

jj_3R_68

private final boolean jj_3R_68()

jj_3R_53

private final boolean jj_3R_53()

jj_3_17

private final boolean jj_3_17()

jj_3_16

private final boolean jj_3_16()

jj_3_15

private final boolean jj_3_15()

jj_3_14

private final boolean jj_3_14()

jj_3R_160

private final boolean jj_3R_160()

jj_3_13

private final boolean jj_3_13()

jj_3R_183

private final boolean jj_3R_183()

jj_3R_269

private final boolean jj_3R_269()

jj_3R_249

private final boolean jj_3R_249()

jj_3R_288

private final boolean jj_3R_288()

jj_3R_54

private final boolean jj_3R_54()

jj_3R_287

private final boolean jj_3R_287()

jj_3R_189

private final boolean jj_3R_189()

jj_3R_52

private final boolean jj_3R_52()

jj_3R_51

private final boolean jj_3R_51()

jj_3R_185

private final boolean jj_3R_185()

jj_3R_50

private final boolean jj_3R_50()

jj_3R_204

private final boolean jj_3R_204()

jj_3_2

private final boolean jj_3_2()

jj_3R_203

private final boolean jj_3R_203()

jj_3R_144

private final boolean jj_3R_144()

jj_3R_202

private final boolean jj_3R_202()

jj_3R_201

private final boolean jj_3R_201()

jj_3R_200

private final boolean jj_3R_200()

jj_3R_152

private final boolean jj_3R_152()

jj_3R_218

private final boolean jj_3R_218()

jj_3R_190

private final boolean jj_3R_190()

jj_3R_184

private final boolean jj_3R_184()

jj_3_31

private final boolean jj_3_31()

jj_3R_145

private final boolean jj_3R_145()

jj_3R_120

private final boolean jj_3R_120()

jj_3R_119

private final boolean jj_3R_119()

jj_3R_161

private final boolean jj_3R_161()

jj_3_12

private final boolean jj_3_12()

jj_3R_118

private final boolean jj_3R_118()

jj_3R_106

private final boolean jj_3R_106()

jj_3R_117

private final boolean jj_3R_117()

jj_3R_116

private final boolean jj_3R_116()

jj_3R_115

private final boolean jj_3R_115()

jj_3R_141

private final boolean jj_3R_141()

jj_3R_105

private final boolean jj_3R_105()

jj_3R_140

private final boolean jj_3R_140()

jj_3R_283

private final boolean jj_3R_283()

jj_3R_123

private final boolean jj_3R_123()

jj_3R_122

private final boolean jj_3R_122()

jj_3_6

private final boolean jj_3_6()

jj_3R_121

private final boolean jj_3R_121()

jj_3R_139

private final boolean jj_3R_139()

jj_3R_55

private final boolean jj_3R_55()

jj_3R_138

private final boolean jj_3R_138()

jj_3R_149

private final boolean jj_3R_149()

jj_3R_276

private final boolean jj_3R_276()

jj_3_11

private final boolean jj_3_11()

jj_3R_101

private final boolean jj_3R_101()

jj_3R_102

private final boolean jj_3R_102()

jj_3R_114

private final boolean jj_3R_114()

jj_3R_113

private final boolean jj_3R_113()

jj_3R_112

private final boolean jj_3R_112()

jj_3R_275

private final boolean jj_3R_275()

jj_3_5

private final boolean jj_3_5()

jj_3R_111

private final boolean jj_3R_111()

jj_3R_62

private final boolean jj_3R_62()

jj_3R_59

private final boolean jj_3R_59()

jj_3R_274

private final boolean jj_3R_274()

jj_3R_259

private final boolean jj_3R_259()

jj_3R_151

private final boolean jj_3R_151()

jj_3_30

private final boolean jj_3_30()

jj_3R_232

private final boolean jj_3R_232()

jj_3R_267

private final boolean jj_3R_267()

jj_3R_107

private final boolean jj_3R_107()

jj_3R_150

private final boolean jj_3R_150()

jj_3R_126

private final boolean jj_3R_126()

jj_3R_164

private final boolean jj_3R_164()

jj_3R_148

private final boolean jj_3R_148()

jj_3R_110

private final boolean jj_3R_110()

jj_3R_143

private final boolean jj_3R_143()

jj_3R_284

private final boolean jj_3R_284()

jj_3R_125

private final boolean jj_3R_125()

jj_3R_278

private final boolean jj_3R_278()

jj_3R_63

private final boolean jj_3R_63()

jj_3R_263

private final boolean jj_3R_263()

jj_3R_238

private final boolean jj_3R_238()

jj_3R_182

private final boolean jj_3R_182()

jj_3R_258

private final boolean jj_3R_258()

jj_3R_254

private final boolean jj_3R_254()

jj_3R_277

private final boolean jj_3R_277()

jj_3R_199

private final boolean jj_3R_199()

jj_3R_58

private final boolean jj_3R_58()

jj_3R_177

private final boolean jj_3R_177()

jj_3R_198

private final boolean jj_3R_198()

jj_3R_147

private final boolean jj_3R_147()

jj_3R_233

private final boolean jj_3R_233()

jj_3R_181

private final boolean jj_3R_181()

jj_3R_49

private final boolean jj_3R_49()

jj_3R_270

private final boolean jj_3R_270()

jj_3R_266

private final boolean jj_3R_266()

jj_3R_109

private final boolean jj_3R_109()

jj_3R_176

private final boolean jj_3R_176()

jj_3R_108

private final boolean jj_3R_108()

jj_3R_220

private final boolean jj_3R_220()

jj_3R_225

private final boolean jj_3R_225()

jj_3R_279

private final boolean jj_3R_279()

jj_3R_224

private final boolean jj_3R_224()

jj_3R_180

private final boolean jj_3R_180()

jj_3R_223

private final boolean jj_3R_223()

jj_3R_222

private final boolean jj_3R_222()

jj_3R_57

private final boolean jj_3R_57()

jj_3R_221

private final boolean jj_3R_221()

jj_3R_187

private final boolean jj_3R_187()

jj_3R_234

private final boolean jj_3R_234()

jj_3R_186

private final boolean jj_3R_186()

jj_3R_175

private final boolean jj_3R_175()

jj_3R_262

private final boolean jj_3R_262()

jj_3R_230

private final boolean jj_3R_230()

jj_3R_257

private final boolean jj_3R_257()

jj_3R_229

private final boolean jj_3R_229()

jj_3R_179

private final boolean jj_3R_179()

jj_3R_228

private final boolean jj_3R_228()

jj_3R_227

private final boolean jj_3R_227()

jj_3R_174

private final boolean jj_3R_174()

jj_3R_99

private final boolean jj_3R_99()

jj_3R_273

private final boolean jj_3R_273()

jj_3R_226

private final boolean jj_3R_226()

jj_3R_188

private final boolean jj_3R_188()

jj_3R_253

private final boolean jj_3R_253()

jj_3R_256

private final boolean jj_3R_256()

jj_3R_231

private final boolean jj_3R_231()

jj_3R_241

private final boolean jj_3R_241()

jj_3R_178

private final boolean jj_3R_178()

jj_3R_173

private final boolean jj_3R_173()

jj_3R_142

private final boolean jj_3R_142()

jj_3R_98

private final boolean jj_3R_98()

jj_3R_265

private final boolean jj_3R_265()

jj_3R_103

private final boolean jj_3R_103()

jj_3R_137

private final boolean jj_3R_137()

jj_3_29

private final boolean jj_3_29()

jj_3R_237

private final boolean jj_3R_237()

jj_3R_97

private final boolean jj_3R_97()

jj_3R_100

private final boolean jj_3R_100()

jj_3R_264

private final boolean jj_3R_264()

jj_3R_243

private final boolean jj_3R_243()

jj_3R_95

private final boolean jj_3R_95()

jj_3R_236

private final boolean jj_3R_236()

jj_3R_261

private final boolean jj_3R_261()

jj_3_28

private final boolean jj_3_28()

jj_3R_94

private final boolean jj_3R_94()

jj_3R_235

private final boolean jj_3R_235()

jj_3R_96

private final boolean jj_3R_96()

jj_3R_260

private final boolean jj_3R_260()

jj_3R_242

private final boolean jj_3R_242()

jj_3R_92

private final boolean jj_3R_92()

jj_3R_252

private final boolean jj_3R_252()

jj_3R_89

private final boolean jj_3R_89()

jj_3R_91

private final boolean jj_3R_91()

jj_3R_88

private final boolean jj_3R_88()

jj_3_27

private final boolean jj_3_27()

jj_3R_93

private final boolean jj_3R_93()

jj_3R_251

private final boolean jj_3R_251()

jj_3R_239

private final boolean jj_3R_239()

jj_3R_84

private final boolean jj_3R_84()

jj_3R_87

private final boolean jj_3R_87()

jj_3R_286

private final boolean jj_3R_286()

jj_3R_83

private final boolean jj_3R_83()

jj_3R_86

private final boolean jj_3R_86()

jj_3R_79

private final boolean jj_3R_79()

jj_3_26

private final boolean jj_3_26()

jj_3R_285

private final boolean jj_3R_285()

jj_3R_282

private final boolean jj_3R_282()

jj_3R_90

private final boolean jj_3R_90()

jj_3R_272

private final boolean jj_3R_272()

jj_3R_281

private final boolean jj_3R_281()

jj_3R_82

private final boolean jj_3R_82()

jj_3R_78

private final boolean jj_3R_78()

jj_3R_197

private final boolean jj_3R_197()

jj_3R_81

private final boolean jj_3R_81()

jj_3_25

private final boolean jj_3_25()

jj_3R_280

private final boolean jj_3R_280()

jj_3R_271

private final boolean jj_3R_271()

jj_3R_196

private final boolean jj_3R_196()

jj_3R_195

private final boolean jj_3R_195()

jj_3R_255

private final boolean jj_3R_255()

jj_3R_194

private final boolean jj_3R_194()

jj_3R_85

private final boolean jj_3R_85()

jj_3R_193

private final boolean jj_3R_193()

jj_3R_192

private final boolean jj_3R_192()

jj_3R_77

private final boolean jj_3R_77()

jj_3R_191

private final boolean jj_3R_191()

jj_3R_146

private final boolean jj_3R_146()

jj_3R_76

private final boolean jj_3R_76()

jj_3_24

private final boolean jj_3_24()

jj_3R_240

private final boolean jj_3R_240()

jj_3R_80

private final boolean jj_3R_80()

jj_3R_74

private final boolean jj_3R_74()

jj_3R_163

private final boolean jj_3R_163()

jj_3R_73

private final boolean jj_3R_73()

jj_3_23

private final boolean jj_3_23()

jj_3R_124

private final boolean jj_3R_124()

jj_3R_162

private final boolean jj_3R_162()

jj_3R_75

private final boolean jj_3R_75()

jj_3R_206

private final boolean jj_3R_206()

jj_3R_60

private final boolean jj_3R_60()

jj_3_22

private final boolean jj_3_22()

jj_3R_72

private final boolean jj_3R_72()

jj_3_10

private final boolean jj_3_10()

jj_3_1

private final boolean jj_3_1()

jj_3R_61

private final boolean jj_3R_61()

jj_3R_205

private final boolean jj_3R_205()

jj_3_21

private final boolean jj_3_21()

jj_3R_71

private final boolean jj_3R_71()

jj_3_9

private final boolean jj_3_9()

jj_3_20

private final boolean jj_3_20()

jj_3R_136

private final boolean jj_3R_136()

jj_3R_153

private final boolean jj_3R_153()

jj_3R_56

private final boolean jj_3R_56()

jj_3R_170

private final boolean jj_3R_170()

jj_3_19

private final boolean jj_3_19()

jj_3_4

private final boolean jj_3_4()

jj_3R_70

private final boolean jj_3R_70()

jj_3R_247

private final boolean jj_3R_247()

jj_3R_168

private final boolean jj_3R_168()

jj_3R_158

private final boolean jj_3R_158()

jj_3R_212

private final boolean jj_3R_212()

jj_3R_132

private final boolean jj_3R_132()

jj_3R_169

private final boolean jj_3R_169()

jj_3R_131

private final boolean jj_3R_131()

jj_3R_66

private final boolean jj_3R_66()

jj_3R_166

private final boolean jj_3R_166()

jj_3R_154

private final boolean jj_3R_154()

jj_3_3

private final boolean jj_3_3()

jj_3R_130

private final boolean jj_3R_130()

jj_3R_167

private final boolean jj_3R_167()

jj_3_8

private final boolean jj_3_8()

jj_3R_129

private final boolean jj_3R_129()

jj_3R_65

private final boolean jj_3R_65()

jj_3R_248

private final boolean jj_3R_248()

jj_3R_207

private final boolean jj_3R_207()

jj_3R_155

private final boolean jj_3R_155()

jj_3R_128

private final boolean jj_3R_128()

jj_3R_165

private final boolean jj_3R_165()

jj_3R_127

private final boolean jj_3R_127()

jj_3R_64

private final boolean jj_3R_64()

jj_3_7

private final boolean jj_3_7()

jj_3R_214

private final boolean jj_3R_214()

jj_3R_172

private final boolean jj_3R_172()

jj_3R_134

private final boolean jj_3R_134()

jj_3R_213

private final boolean jj_3R_213()

jj_3R_246

private final boolean jj_3R_246()

jj_3R_157

private final boolean jj_3R_157()

jj_3R_69

private final boolean jj_3R_69()

jj_3R_210

private final boolean jj_3R_210()

jj_3_18

private final boolean jj_3_18()

jj_3R_171

private final boolean jj_3R_171()

jj_3R_133

private final boolean jj_3R_133()

jj_3R_67

private final boolean jj_3R_67()

jj_3R_215

private final boolean jj_3R_215()

jj_3R_268

private final boolean jj_3R_268()

jj_3R_245

private final boolean jj_3R_245()

jj_3R_209

private final boolean jj_3R_209()

ReInit

public void ReInit(java.io.InputStream stream)

ReInit

public void ReInit(java.io.Reader stream)

ReInit

public void ReInit(VeriParserTokenManager tm)

jj_consume_token

private final Token jj_consume_token(int kind)
                              throws ParseException

jj_scan_token

private final boolean jj_scan_token(int kind)

getNextToken

public final Token getNextToken()

getToken

public final Token getToken(int index)

jj_ntk

private final int jj_ntk()

jj_add_error_token

private void jj_add_error_token(int kind,
                                int pos)

generateParseException

public final ParseException generateParseException()

enable_tracing

public final void enable_tracing()

disable_tracing

public final void disable_tracing()

trace_call

private final void trace_call(java.lang.String s)

trace_return

private final void trace_return(java.lang.String s)

trace_token

private final void trace_token(Token t,
                               java.lang.String where)

trace_scan

private final void trace_scan(Token t1,
                              int t2)

jj_rescan_token

private final void jj_rescan_token()

jj_save

private final void jj_save(int index,
                           int xla)

Class

Tree

Deprecated

Index

Help

PREV CLASS NEXT CLASS

FRAMES NO FRAMES

SUMMARY: INNER | FIELD | CONSTR | METHOD

DETAIL: FIELD | CONSTR | METHOD

engine Class VeriParser

moduleDescriptions

builtinGates

curModule

root

topModule

verbose

instantiatedModules

parser

objPaths

exportedModules

export

topName

historyManager

cronos

historyManagerLock

token_source

jj_input_stream

token

jj_nt

jj_ntk

jj_scanpos

jj_lastpos

jj_la

lookingAhead

jj_semLA

jj_gen

jj_la1

jj_la1_0

jj_la1_1

jj_la1_2

jj_la1_3

jj_la1_4

jj_la1_5

jj_2_rtns

jj_rescan

jj_gc

jj_expentries

jj_expentry

jj_kind

jj_lasttokens

jj_endpos

trace_indent

trace_enabled

VeriParser

VeriParser

VeriParser

runParser

getVCDReader

setLibDirs

main

getModuleByName

getModuleFile

readModule

writeModule

performCleanup

performCheckup

instantiateTheWholeStuff

stringTran

unUnderscore

start

exportStatement

startUdp

UDPInitial

UDPTableCOMEntry

UDPTableSEQEntry

outputSymbol

edgeSymbol

levelSymbol

UDPPortListItem

startModule

portList

portListItem

portSelection

blockDeclare

moduleDeclare

moduleItem

timeDeclare

realtimeDeclare

eventDeclare

engine
Class VeriParser