Package org.checkerframework.afu.annotator.specification

Class IndexFileSpecification

java.lang.Object
org.checkerframework.afu.annotator.specification.IndexFileSpecification
public class IndexFileSpecification extends Object
Represents the annotations in an index file (a .jaif file).

  • Field Details

    • noAsm

      public static boolean noAsm

  • Constructor Details

    • IndexFileSpecification

      public IndexFileSpecification(String indexFileName)

  • Method Details

    • parse

      public List<Insertion> parse() throws org.plumelib.util.FileIOException
      Throws:
      org.plumelib.util.FileIOException

    • annotationImports

      public Map<String,Set<String>> annotationImports()
      Returns the map of annotation imports.
      Returns:
      a map of annotation imports

    • insertionSources

      public com.google.common.collect.Multimap<Insertion,Annotation> insertionSources()

    • getScene

      public AScene getScene()
      Returns the current scene.
      Returns:
      the current scene

    • isOnReceiver

      public static boolean isOnReceiver(Criteria criteria)

    • isOnNew

      public static boolean isOnNew(Criteria criteria)