protected static class IntegerBoundsChecker.DataFlowItem
extends polyglot.visit.DataFlow.Item
Modifier and Type | Field and Description |
---|---|
protected java.util.Map<polyglot.types.LocalInstance,IntegerBoundsChecker.Bounds> |
bounds
map from LocalInstances (of type int) a set of lower bounds.
|
Modifier | Constructor and Description |
---|---|
|
DataFlowItem() |
|
DataFlowItem(IntegerBoundsChecker.DataFlowItem d) |
protected |
DataFlowItem(java.util.Map<polyglot.types.LocalInstance,IntegerBoundsChecker.Bounds> bounds) |
Modifier and Type | Method and Description |
---|---|
boolean |
equals(java.lang.Object o) |
int |
hashCode() |
java.lang.String |
toString() |
IntegerBoundsChecker.DataFlowItem |
update(java.util.Map<polyglot.types.LocalInstance,IntegerBoundsChecker.Bounds> updates,
polyglot.types.LocalInstance increased,
polyglot.types.LocalInstance decreased)
Produce a new DataFlowItem that is updated with the updates.
|
protected final java.util.Map<polyglot.types.LocalInstance,IntegerBoundsChecker.Bounds> bounds
public DataFlowItem()
protected DataFlowItem(java.util.Map<polyglot.types.LocalInstance,IntegerBoundsChecker.Bounds> bounds)
public DataFlowItem(IntegerBoundsChecker.DataFlowItem d)
public boolean equals(java.lang.Object o)
equals
in class polyglot.visit.DataFlow.Item
public int hashCode()
hashCode
in class polyglot.visit.DataFlow.Item
public java.lang.String toString()
toString
in class java.lang.Object
public IntegerBoundsChecker.DataFlowItem update(java.util.Map<polyglot.types.LocalInstance,IntegerBoundsChecker.Bounds> updates, polyglot.types.LocalInstance increased, polyglot.types.LocalInstance decreased)