Package org.checkerframework.afu.annotator

package org.checkerframework.afu.annotator

Related Packages

Package	Description
org.checkerframework.afu.annotator.find	Provides interfaces and classes for finding where in the existing source to insert annotations etc.
org.checkerframework.afu.annotator.scanner
org.checkerframework.afu.annotator.specification

Class	Description
Main	This is the main class for the annotator, which inserts annotations in Java source code.
Source	Represents a Java source file.
Source.CompilerException	Signifies that a problem has occurred with the compiler that produces the syntax tree for this source file.