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

Modifier and Type	Method and Description
Void	visitExecutable(AnnotatedTypeMirror.AnnotatedExecutableType method, Void aVoid) Visits an executable type.

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

reduce, reset, scan, scan, scanAndReduce, scanAndReduce, visit, visit, visitArray, visitDeclared, 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)

Method Detail

visitExecutable

public Void visitExecutable(AnnotatedTypeMirror.AnnotatedExecutableType method,
                            Void aVoid)

Visits an executable type.

If this method adds annotations to the type of method parameters, then GenericAnnotatedTypeFactory.addComputedTypeAnnotations(Element, AnnotatedTypeMirror) should be overriden and the same annotations added to the type of elements with kind ElementKind.PARAMETER.

Specified by:

visitExecutable in interface AnnotatedTypeVisitor<Void,Void>

Overrides:

visitExecutable in class AnnotatedTypeScanner<Void,Void>

Parameters:

method - the type to visit

aVoid - a visitor-specified parameter

Returns:

a visitor-specified result