public class NullnessFlowState extends DefaultFlowState
DefaultFlowState
,
NullnessFlow
annos, annotations, vars
Modifier and Type | Method and Description |
---|---|
void |
and(FlowState other,
@Nullable QualifierHierarchy annoRelations)
"And" the current state with an other state, modifying only the current state.
|
NullnessFlowState |
copy()
Deeply copy the state of the current flow state.
|
NullnessFlowState |
createFlowState(Set<@Nullable AnnotationMirror> annotations)
Create a new instance of the current flow state class.
|
void |
or(FlowState other,
@Nullable QualifierHierarchy annoRelations)
"Or" the current state with an other state, modifying only the current state.
|
@ReadOnly String |
toString() |
getAnnotations
public NullnessFlowState createFlowState(Set<@Nullable AnnotationMirror> annotations)
FlowState
FlowState.copy()
to create a new instance of the correct type.createFlowState
in interface FlowState
createFlowState
in class DefaultFlowState
annotations
- The annotations that can be inferred.public NullnessFlowState copy()
FlowState
copy
in interface FlowState
copy
in class DefaultFlowState
public void or(FlowState other, @Nullable QualifierHierarchy annoRelations)
FlowState
or
in interface FlowState
or
in class DefaultFlowState
other
- The other state, will not be modified.annoRelations
- The relationship between the qualifiers.public void and(FlowState other, @Nullable QualifierHierarchy annoRelations)
FlowState
and
in interface FlowState
and
in class DefaultFlowState
other
- The other state, will not be modified.annoRelations
- The relationship between the qualifiers.public @ReadOnly String toString()
toString
in class DefaultFlowState