de.uka.ilkd.key.parser.proofjava

Class ProofJavaParser.LookaheadSuccess

java.lang.Object

java.lang.Throwable

java.lang.Error

de.uka.ilkd.key.parser.proofjava.ProofJavaParser.LookaheadSuccess

All Implemented Interfaces:

Serializable

Enclosing class:

ProofJavaParser

private static final class ProofJavaParser.LookaheadSuccess
extends Error

Constructor Summary

Constructors

Modifier	Constructor and Description
private	LookaheadSuccess()

Method Summary

Methods inherited from class java.lang.Throwable

addSuppressed, fillInStackTrace, getCause, getLocalizedMessage, getMessage, getStackTrace, getSuppressed, initCause, printStackTrace, printStackTrace, printStackTrace, setStackTrace, toString

Methods inherited from class java.lang.Object

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

Constructor Detail

LookaheadSuccess

private LookaheadSuccess()