Package org.checkerframework.framework.type.typeannotator

package org.checkerframework.framework.type.typeannotator

Related Packages

Package	Description
org.checkerframework.framework.type	Contains a way of representing the type of a program element that considers the type qualifiers on that element (and ignores its Java type).
org.checkerframework.framework.type.poly
org.checkerframework.framework.type.treeannotator
org.checkerframework.framework.type.visitor	Despite the name visitor/, this package does not just contain visitors.

Classes

Class	Description
DefaultForTypeAnnotator	Adds annotations to a type based on the use of a type.
DefaultQualifierForUseTypeAnnotator	Implements support for DefaultQualifierForUse and NoDefaultQualifierForUse.
IrrelevantTypeAnnotator	Adds annotations to types that are not relevant specified by the RelevantJavaTypes on a checker.
ListTypeAnnotator	ListTypeAnnotator is a TypeAnnotator that executes a list of TypeAnnotator for each type visited.
PropagationTypeAnnotator	PropagationTypeAnnotator adds qualifiers to types where the qualifier to add should be transferred from one or more other types.
TypeAnnotator	TypeAnnotator is an abstract AnnotatedTypeScanner to be used with ListTypeAnnotator.