1 package annotations.el; 2 3 /*>>> 4 import org.checkerframework.checker.nullness.qual.*; 5 */ 6 7 /** 8 * Thrown by {@link DefCollector} if the scene contains two different 9 * definitions of the same annotation type that cannot be 10 * {@linkplain AnnotationDef#unify unified}. 11 */ 12 public class DefException extends Exception { 13 private static final long serialVersionUID = 1152640422L; 14 15 /** 16 * The name of the annotation type that had two conflicting definitions. 17 */ 18 public final String annotationType; 19 20 DefException(String annotationType) { 21 super("Conflicting definition of annotation type " + annotationType); 22 this.annotationType = annotationType; 23 } 24 } 25