Class InitializationParentAnnotatedTypeFactory.CommitmentTreeAnnotator

All Implemented Interfaces:
TreeVisitor<Void,AnnotatedTypeMirror>
Enclosing class:
InitializationParentAnnotatedTypeFactory

protected class InitializationParentAnnotatedTypeFactory.CommitmentTreeAnnotator extends PropagationTreeAnnotator
This tree annotator modifies the propagation tree annotator to add propagation rules for the freedom-before-commitment system.