DataflowValuepublic class DataflowValue extends Object implements ValueA {@link Value} that is represented by its type in a two types type system.
This type system distinguishes the ONEWORD and TWOWORDS types. |
Fields Summary |
---|
public final int | sizeThe size of this value. | public final Set | insnsThe instructions that can produce this value. For example, for the Java
code below, the instructions that can produce the value of i
at line 5 are the txo ISTORE instructions at line 1 and 3:
1: i = 0;
2: if (...) {
3: i = 1;
4: }
5: return i;
This field is a set of {@link AbstractInsnNode} objects. |
Constructors Summary |
---|
public DataflowValue(int size)
this(size, Collections.EMPTY_SET);
| public DataflowValue(int size, oracle.toplink.libraries.asm.tree.AbstractInsnNode insn)
this.size = size;
this.insns = new HashSet();
this.insns.add(insn);
| public DataflowValue(int size, Set insns)
this.size = size;
this.insns = insns;
|
Methods Summary |
---|
public boolean | equals(Value value)
DataflowValue v = (DataflowValue)value;
return size == v.size && insns.equals(v.insns);
| public int | getSize()
return size;
|
|