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;
    }
}