Class MustCallTypeAnnotator
- java.lang.Object
-
- org.checkerframework.framework.type.visitor.AnnotatedTypeScanner<java.lang.Void,java.lang.Void>
-
- org.checkerframework.framework.type.typeannotator.TypeAnnotator
-
- org.checkerframework.checker.mustcall.MustCallTypeAnnotator
-
- All Implemented Interfaces:
AnnotatedTypeVisitor<java.lang.Void,java.lang.Void>
public class MustCallTypeAnnotator extends TypeAnnotator
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
atypeFactory
-
Fields inherited from class org.checkerframework.framework.type.visitor.AnnotatedTypeScanner
defaultResult, reduceFunction, visitedNodes
-
-
Constructor Summary
Constructors Modifier Constructor Description protected
MustCallTypeAnnotator(MustCallAnnotatedTypeFactory typeFactory)
Create a MustCallTypeAnnotator.
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description java.lang.Void
visitPrimitive(AnnotatedTypeMirror.AnnotatedPrimitiveType type, java.lang.Void aVoid)
Visits a primitive type.-
Methods inherited from class org.checkerframework.framework.type.typeannotator.TypeAnnotator
visitExecutable
-
Methods 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 Detail
-
MustCallTypeAnnotator
protected MustCallTypeAnnotator(MustCallAnnotatedTypeFactory typeFactory)
Create a MustCallTypeAnnotator.- Parameters:
typeFactory
- the type factory
-
-
Method Detail
-
visitPrimitive
public java.lang.Void visitPrimitive(AnnotatedTypeMirror.AnnotatedPrimitiveType type, java.lang.Void aVoid)
Description copied from interface:AnnotatedTypeVisitor
Visits a primitive type.- Specified by:
visitPrimitive
in interfaceAnnotatedTypeVisitor<java.lang.Void,java.lang.Void>
- Overrides:
visitPrimitive
in classAnnotatedTypeScanner<java.lang.Void,java.lang.Void>
- Parameters:
type
- the type to visitaVoid
- a visitor-specified parameter- Returns:
- a visitor-specified result
-
-