protected static class DefiniteAssignmentChecker.FlowItem extends DataFlow.Item
Modifier and Type | Field and Description |
---|---|
java.util.Map<VarInstance,DefiniteAssignmentChecker.AssignmentStatus> |
assignmentStatus |
boolean |
normalTermination |
public java.util.Map<VarInstance,DefiniteAssignmentChecker.AssignmentStatus> assignmentStatus
public final boolean normalTermination
public java.lang.String toString()
toString
in class java.lang.Object
public boolean equals(java.lang.Object o)
equals
in class DataFlow.Item
public int hashCode()
hashCode
in class DataFlow.Item