public class DefaultFlowState extends Object implements FlowState
Modifier and Type | Field and Description |
---|---|
GenKillBits<AnnotationMirror> |
annos
Tracks the annotated state of each variable during flow.
|
protected Set<AnnotationMirror> |
annotations
The annotations (qualifiers) to infer.
|
List<VariableElement> |
vars
Maps variables to a bit index.
|
Constructor and Description |
---|
DefaultFlowState(Set<AnnotationMirror> annotations)
Create a new default flow state.
|
Modifier and Type | Method and Description |
---|---|
void |
and(FlowState other,
QualifierHierarchy annoRelations)
"And" the current state with an other state, modifying only the current state.
|
DefaultFlowState |
copy()
Deeply copy the state of the current flow state.
|
DefaultFlowState |
createFlowState(Set<AnnotationMirror> annotations)
Create a new instance of the current flow state class.
|
Set<AnnotationMirror> |
getAnnotations()
The current set of annotations that can be inferred.
|
void |
or(FlowState other,
QualifierHierarchy annoRelations)
"Or" the current state with an other state, modifying only the current state.
|
String |
toString() |
protected final Set<AnnotationMirror> annotations
public List<VariableElement> vars
annos
public GenKillBits<AnnotationMirror> annos
vars
.public DefaultFlowState(Set<AnnotationMirror> annotations)
annotations
- The annotations that can be inferred.public DefaultFlowState createFlowState(Set<AnnotationMirror> annotations)
FlowState
FlowState.copy()
to create a new instance of the correct type.createFlowState
in interface FlowState
annotations
- The annotations that can be inferred.public Set<AnnotationMirror> getAnnotations()
FlowState
getAnnotations
in interface FlowState
public DefaultFlowState copy()
FlowState
public void or(FlowState other, QualifierHierarchy annoRelations)
FlowState
public void and(FlowState other, QualifierHierarchy annoRelations)
FlowState