import java

class RelevantAnnotatable extends Annotatable {
  RelevantAnnotatable() {
    this.getCompilationUnit().hasName("Annotatable") and this.getCompilationUnit().fromSource()
  }
}

query Annotation declaredAnnotation(RelevantAnnotatable a) { result = a.getADeclaredAnnotation() }

/** Note: Only has the annotations as result which are not also considered _declared_. */
query Annotation annotationAdditional(RelevantAnnotatable a) {
  result = a.getAnAnnotation() and not result = a.getADeclaredAnnotation()
}

/** Sanity check to verify that `getADeclaredAnnotation()` is a subset of `getAnAnnotation()` */
query Annotation bugAnnotationAdditional(RelevantAnnotatable a) {
  result = a.getADeclaredAnnotation() and not result = a.getAnAnnotation()
}

/** Note: Only has the annotations as result which are not part of `getAnAnnotation()`. */
query Annotation associatedAnnotationAdditional(RelevantAnnotatable a) {
  result = a.getAnAssociatedAnnotation() and not result = a.getAnAnnotation()
}

/**
 * Covers all results of `getAnAssociatedAnnotation()` which are not also a result of `getAnAnnotation()`.
 * This should only be the case for a base class using an inheritable annotation `A` and a subclass which
 * has an annotation `CA` of the container type of `A`. In that case `A` is not considered _associated_
 * and the _indirect_ annotations from `CA` are considered instead.
 */
query Annotation associatedAnnotationNotInherited(RelevantAnnotatable a) {
  result = a.getAnAnnotation() and not result = a.getAnAssociatedAnnotation()
}