org.checkerframework.framework.type.typeannotator

Class TypeAnnotator

java.lang.Object

org.checkerframework.framework.type.visitor.AnnotatedTypeScanner<Void,Void>

org.checkerframework.framework.type.typeannotator.TypeAnnotator

All Implemented Interfaces:

AnnotatedTypeVisitor<Void,Void>

Direct Known Subclasses:

DefaultForTypeAnnotator, DefaultQualifierForUseTypeAnnotator, InitializationAnnotatedTypeFactory.CommitmentTypeAnnotator, IrrelevantTypeAnnotator, ListTypeAnnotator, PropagationTypeAnnotator, ValueAnnotatedTypeFactory.ValueTypeAnnotator

public abstract class TypeAnnotator
extends AnnotatedTypeScanner<Void,Void>

TypeAnnotator is an abstract AnnotatedTypeScanner to be used with ListTypeAnnotator.

See Also:

ListTypeAnnotator, PropagationTypeAnnotator, DefaultForTypeAnnotator

Field Summary

Fields

Modifier and Type	Field and Description
protected AnnotatedTypeFactory	typeFactory

Fields inherited from class org.checkerframework.framework.type.visitor.AnnotatedTypeScanner

visitedNodes

Constructor Summary

Constructors

Constructor and Description
TypeAnnotator(AnnotatedTypeFactory typeFactory)

Method Summary

Methods inherited from class org.checkerframework.framework.type.visitor.AnnotatedTypeScanner

reduce, reset, scan, scan, scanAndReduce, scanAndReduce, visit, visit, visitArray, visitDeclared, visitExecutable, visitIntersection, visitNoType, visitNull, visitPrimitive, visitTypeVariable, visitUnion, visitWildcard

Methods inherited from class java.lang.Object

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

Field Detail

typeFactory

protected final AnnotatedTypeFactory typeFactory

Constructor Detail

TypeAnnotator

public TypeAnnotator(AnnotatedTypeFactory typeFactory)