Class DefException
java.lang.Object
java.lang.Throwable
java.lang.Exception
org.checkerframework.afu.scenelib.el.DefException
- All Implemented Interfaces:
Serializable
Thrown by
DefCollector
if the scene contains two different definitions of the same
annotation type that cannot be unified.- See Also:
-
Field Summary
FieldsModifier and TypeFieldDescriptionfinal String
The name of the annotation type that had two conflicting definitions. -
Method Summary
Methods inherited from class java.lang.Throwable
addSuppressed, fillInStackTrace, getCause, getLocalizedMessage, getMessage, getStackTrace, getSuppressed, initCause, printStackTrace, printStackTrace, printStackTrace, setStackTrace, toString
-
Field Details
-
annotationType
The name of the annotation type that had two conflicting definitions.
-