Given a value number v, this function updates a heap variable lattice cell to indicate that element at address v is available, but kills any available indices that are not DD from v
| Field Summary | |
|---|---|
| private final int |
The value number used in the dataflow equation. |
| Constructor Summary |
|---|
|
Create an operator with a given value number |
| Method Summary | |
|---|---|
| boolean |
Evaluate the dataflow equation with this operator. |
| String |
No description provided. |
| Methods inherited from java.langObject |
|---|
private final
int
valueNumber
IndexPropagationSystem.UpdateDefObjectOperator
(
int
valueNumber
)