Class DefException

java.lang.Object
java.lang.Throwable
java.lang.Exception
org.checkerframework.afu.scenelib.el.DefException
All Implemented Interfaces:
Serializable

public class DefException extends Exception
Thrown by DefCollector if the scene contains two different definitions of the same annotation type that cannot be unified.
See Also:
  • Field Details

    • annotationType

      public final String annotationType
      The name of the annotation type that had two conflicting definitions.