blob: 96df426c951d184d3625806ff65817463cf455f6 [file] [log] [blame]
package annotations.el;
/*>>>
import org.checkerframework.checker.nullness.qual.*;
*/
/**
* Thrown by {@link DefCollector} if the scene contains two different
* definitions of the same annotation type that cannot be
* {@linkplain AnnotationDef#unify unified}.
*/
public class DefException extends Exception {
private static final long serialVersionUID = 1152640422L;
/**
* The name of the annotation type that had two conflicting definitions.
*/
public final String annotationType;
DefException(String annotationType) {
super("Conflicting definition of annotation type " + annotationType);
this.annotationType = annotationType;
}
}