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.