Class InitializationParentAnnotatedTypeFactory.CommitmentTypeAnnotator
- java.lang.Object
-
- org.checkerframework.framework.type.visitor.AnnotatedTypeScanner<java.lang.Void,java.lang.Void>
-
- org.checkerframework.framework.type.typeannotator.TypeAnnotator
-
- org.checkerframework.checker.initialization.InitializationParentAnnotatedTypeFactory.CommitmentTypeAnnotator
-
- All Implemented Interfaces:
AnnotatedTypeVisitor<java.lang.Void,java.lang.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
Constructors Constructor Description CommitmentTypeAnnotator(InitializationParentAnnotatedTypeFactory atypeFactory)
Creates a new CommitmentTypeAnnotator.
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description java.lang.Void
visitExecutable(AnnotatedTypeMirror.AnnotatedExecutableType t, java.lang.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
-
-
-
-
Constructor Detail
-
CommitmentTypeAnnotator
public CommitmentTypeAnnotator(InitializationParentAnnotatedTypeFactory atypeFactory)
Creates a new CommitmentTypeAnnotator.- Parameters:
atypeFactory
- this factory
-
-
Method Detail
-
visitExecutable
public java.lang.Void visitExecutable(AnnotatedTypeMirror.AnnotatedExecutableType t, java.lang.Void p)
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<java.lang.Void,java.lang.Void>
- Overrides:
visitExecutable
in classTypeAnnotator
- Parameters:
t
- the type to visitp
- a visitor-specified parameter- Returns:
- a visitor-specified result
-
-