- java.lang.Object
-
- java.lang.Throwable
-
- java.lang.Exception
-
- de.uka.ilkd.key.pp.AbbrevException
-
-
Field Summary
Fields
Modifier and Type |
Field and Description |
protected boolean |
termused |
-
Constructor Summary
Constructors
Constructor and Description |
AbbrevException(java.lang.String message,
boolean termused) |
-
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
Copyright © 2003-2019 The KeY-Project.