engine
Class VeriParser.JJCalls

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

static final class VeriParser.JJCalls
extends java.lang.Object


Field Summary
(package private)  int arg
           
(package private)  Token first
           
(package private)  int gen
           
(package private)  VeriParser.JJCalls next
           
 
Constructor Summary
(package private) VeriParser.JJCalls()
           
 
Methods inherited from class java.lang.Object
, clone, equals, finalize, getClass, hashCode, notify, notifyAll, registerNatives, toString, wait, wait, wait
 

Field Detail

gen

int gen

first

Token first

arg

int arg

next

VeriParser.JJCalls next
Constructor Detail

VeriParser.JJCalls

VeriParser.JJCalls()