protected class InitializationAnnotatedTypeFactory.CommitmentTypeAnnotator
extends org.checkerframework.framework.type.typeannotator.TypeAnnotator
Constructor and Description |
---|
CommitmentTypeAnnotator(InitializationAnnotatedTypeFactory<?,?,?,?> atypeFactory) |
Modifier and Type | Method and Description |
---|---|
Void |
visitExecutable(org.checkerframework.framework.type.AnnotatedTypeMirror.AnnotatedExecutableType t,
Void p) |
public CommitmentTypeAnnotator(InitializationAnnotatedTypeFactory<?,?,?,?> atypeFactory)