Class InitializationParentAnnotatedTypeFactory.CommitmentTypeAnnotator
java.lang.Object
org.checkerframework.framework.type.visitor.AnnotatedTypeScanner<Void,Void>
org.checkerframework.framework.type.typeannotator.TypeAnnotator
org.checkerframework.checker.initialization.InitializationParentAnnotatedTypeFactory.CommitmentTypeAnnotator
- All Implemented Interfaces:
AnnotatedTypeVisitor<Void,
Void>
- Enclosing class:
InitializationParentAnnotatedTypeFactory
protected class InitializationParentAnnotatedTypeFactory.CommitmentTypeAnnotator
extends TypeAnnotator
This type annotator adds the correct UnderInitialization annotation to super constructors.
-
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
ConstructorsConstructorDescriptionCreates a new CommitmentTypeAnnotator. -
Method Summary
Modifier and TypeMethodDescriptionVisits 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
-
Constructor Details
-
CommitmentTypeAnnotator
Creates a new CommitmentTypeAnnotator.- Parameters:
atypeFactory
- this factory
-
-
Method Details
-
visitExecutable
Description copied from class:TypeAnnotator
Visits an executable type.If this method adds annotations to the type of method parameters, then
GenericAnnotatedTypeFactory.addComputedTypeAnnotations(Element, AnnotatedTypeMirror)
should be overridden and the same annotations added to the type of elements with kindElementKind.PARAMETER
. Likewise for return types.- Specified by:
visitExecutable
in interfaceAnnotatedTypeVisitor<Void,
Void> - Overrides:
visitExecutable
in classTypeAnnotator
- Parameters:
t
- the type to visitp
- a visitor-specified parameter- Returns:
- a visitor-specified result
-