Package org.checkerframework.afu.scenelib

package org.checkerframework.afu.scenelib
The Annotation Scene Library provides classes to represent the annotations on a Java program and read and write those annotations in various formats.

Structure

  • An AScene holds annotations for a set of classes and packages.
  • A AElement represents one particular element of a Java program within an AScene.
  • Package org.checkerframework.afu.scenelib.io provides routines to read and write AScenes in various formats.
  • An Annotation represents an annotation (which might be a field of another annotation). It can be attached to an AElement.
  • An AnnotationDef represents an annotation definition, consisting of a definition name and field names and types (AnnotationFieldTypes). It also indicates the annotation's retention policy.

Example

The example program annotations.tests.Example demonstrates the library's annotation-processing capabilities. Its source code (and also example input and output) are distributed with the Annotation Scene Library.