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:

ImplicitsTypeAnnotator, InitializationAnnotatedTypeFactory.CommitmentTypeAnnotator, ListTypeAnnotator, PropagationTypeAnnotator

public abstract class TypeAnnotator
extends AnnotatedTypeScanner<Void,Void>

TypeAnnotator is an abstract AnnotatedTypeScanner to be used with ListTypeAnnotator

See Also:

ListTypeAnnotator, PropagationTypeAnnotator, ImplicitsTypeAnnotator

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 t, Void p) 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 t,
                            Void p)

Description copied from interface: AnnotatedTypeVisitor

Visits an executable type.

Specified by:

visitExecutable in interface AnnotatedTypeVisitor<Void,Void>

Overrides:

visitExecutable in class AnnotatedTypeScanner<Void,Void>

Parameters:

t - the type to visit

p - a visitor-specified parameter

Returns:

a visitor-specified result