Package org.checkerframework.framework.stub

Class AddAnnotatedFor

java.lang.Object
org.checkerframework.framework.stub.AddAnnotatedFor
public class AddAnnotatedFor extends Object
Utility that generates @AnnotatedFor class annotations. The main(java.lang.String[]) method acts as a filter: it reads a JAIF from standard input and writes an augmented JAIF to standard output.

  • Method Summary

    Modifier and Type
    Method
    Description
    static void
    addAnnotatedFor(org.checkerframework.afu.scenelib.el.AScene scene)
    Add @AnnotatedFor annotations to each class in the given scene.
    static void
    main(String[] args)
    Reads JAIF from the file indicated by the first element, or standard input if the argument array is empty; inserts any appropriate @AnnotatedFor annotations, based on the annotations defined in the input JAIF; and writes the augmented JAIF to standard output.

    Methods inherited from class java.lang.Object

    clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

  • Method Details

    • main

      public static void main(String[] args) throws IOException, org.checkerframework.afu.scenelib.el.DefException, org.checkerframework.afu.scenelib.io.ParseException
      Reads JAIF from the file indicated by the first element, or standard input if the argument array is empty; inserts any appropriate @AnnotatedFor annotations, based on the annotations defined in the input JAIF; and writes the augmented JAIF to standard output.
      Parameters:
      args - one jaif file, or empty to read from standard input
      Throws:
      IOException - if there is trouble reading or writing a file
      org.checkerframework.afu.scenelib.el.DefException - if two definitions cannot be unified
      org.checkerframework.afu.scenelib.io.ParseException - if the file is malformed

    • addAnnotatedFor

      public static void addAnnotatedFor(org.checkerframework.afu.scenelib.el.AScene scene)
      Add @AnnotatedFor annotations to each class in the given scene.
      Parameters:
      scene - an @AnnotatedFor annotation is added to each class in this scene