static final class ProofJavaParser.JJCalls extends java.lang.Object
(package private) int
arg
(package private) Token
first
gen
(package private) ProofJavaParser.JJCalls
next
JJCalls()
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
int gen
Token first
int arg
ProofJavaParser.JJCalls next