Class MustCallTypeAnnotator
java.lang.Object
org.checkerframework.framework.type.visitor.AnnotatedTypeScanner<Void,Void>
org.checkerframework.framework.type.typeannotator.TypeAnnotator
org.checkerframework.checker.mustcall.MustCallTypeAnnotator
- All Implemented Interfaces:
AnnotatedTypeVisitor<Void,Void>
Primitive types always have no must-call obligations.
-
Nested Class Summary
Nested classes/interfaces inherited from class org.checkerframework.framework.type.visitor.AnnotatedTypeScanner
AnnotatedTypeScanner.Reduce<R> -
Field Summary
Fields inherited from class org.checkerframework.framework.type.typeannotator.TypeAnnotator
atypeFactoryFields inherited from class org.checkerframework.framework.type.visitor.AnnotatedTypeScanner
defaultResult, reduceFunction, visitedNodes -
Constructor Summary
ConstructorsModifierConstructorDescriptionprotectedMustCallTypeAnnotator(MustCallAnnotatedTypeFactory typeFactory) Create a MustCallTypeAnnotator. -
Method Summary
Modifier and TypeMethodDescriptionvisitPrimitive(AnnotatedTypeMirror.AnnotatedPrimitiveType type, Void aVoid) Visits a primitive type.Methods inherited from class org.checkerframework.framework.type.typeannotator.TypeAnnotator
visitExecutableMethods inherited from class org.checkerframework.framework.type.visitor.AnnotatedTypeScanner
reduce, reset, scan, scan, scanAndReduce, scanAndReduce, visit, visit, visitArray, visitDeclared, visitIntersection, visitNoType, visitNull, visitTypeVariable, visitUnion, visitWildcard
-
Constructor Details
-
MustCallTypeAnnotator
Create a MustCallTypeAnnotator.- Parameters:
typeFactory- the type factory
-
-
Method Details
-
visitPrimitive
Description copied from interface:AnnotatedTypeVisitorVisits a primitive type.- Specified by:
visitPrimitivein interfaceAnnotatedTypeVisitor<Void,Void> - Overrides:
visitPrimitivein classAnnotatedTypeScanner<Void,Void> - Parameters:
type- the type to visitaVoid- a visitor-specified parameter- Returns:
- a visitor-specified result
-