private static final class ProofJavaParser.LookaheadSuccess extends java.lang.Error
private
LookaheadSuccess()
addSuppressed, fillInStackTrace, getCause, getLocalizedMessage, getMessage, getStackTrace, getSuppressed, initCause, printStackTrace, printStackTrace, printStackTrace, setStackTrace, toString
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
private LookaheadSuccess()