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.

Constructor Summary

Constructors

Constructor and Description
AddAnnotatedFor()

Method Summary

Modifier and Type	Method and Description
static void	addAnnotatedFor(scenelib.annotations.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

Constructor Detail

AddAnnotatedFor

public AddAnnotatedFor()

Method Detail

main

public static void main(String[] args)
                 throws IOException,
                        scenelib.annotations.el.DefException,
                        scenelib.annotations.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

scenelib.annotations.el.DefException - if two definitions cannot be unified

scenelib.annotations.io.ParseException - if the file is malformed

addAnnotatedFor

public static void addAnnotatedFor(scenelib.annotations.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