Package org.checkerframework.afu.annotator.specification

package org.checkerframework.afu.annotator.specification

Related Packages

Package	Description
org.checkerframework.afu.annotator
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

Classes

Class	Description
CriterionList	A CriterionList is a singly-linked list of Criterion meant to be treated as a stack.
IndexFileSpecification	Represents the annotations in an index file (a .jaif file).