Package | Description |
---|---|
soot.shimple.toolkits.graph |
Modifier and Type | Field and Description |
---|---|
protected List<ValueGraph.Node> |
ValueGraph.Node.children |
protected List<ValueGraph.Node> |
ValueGraph.Node.children |
protected Map<Value,ValueGraph.Node> |
ValueGraph.localToNode |
protected Map<Value,ValueGraph.Node> |
ValueGraph.localToNode |
protected List<ValueGraph.Node> |
ValueGraph.nodeList |
protected List<ValueGraph.Node> |
ValueGraph.nodeList |
protected Map<ValueGraph.Node,Value> |
ValueGraph.nodeToLocal |
protected Map<ValueGraph.Node,Value> |
ValueGraph.nodeToLocal |
protected Map<ValueGraph.Node,SimpleGlobalValueNumberer.Partition> |
SimpleGlobalValueNumberer.nodeToPartition |
protected Map<ValueGraph.Node,SimpleGlobalValueNumberer.Partition> |
SimpleGlobalValueNumberer.nodeToPartition |
Modifier and Type | Method and Description |
---|---|
protected ValueGraph.Node |
ValueGraph.fetchGraph(Value value) |
protected ValueGraph.Node |
ValueGraph.fetchGraph(Value value) |
protected ValueGraph.Node |
ValueGraph.fetchNode(Value value) |
protected ValueGraph.Node |
ValueGraph.fetchNode(Value value) |
ValueGraph.Node |
ValueGraph.getNode(Value local) |
ValueGraph.Node |
ValueGraph.getNode(Value local) |
Modifier and Type | Method and Description |
---|---|
List<ValueGraph.Node> |
ValueGraph.Node.getChildren() |
List<ValueGraph.Node> |
ValueGraph.Node.getChildren() |
Collection<ValueGraph.Node> |
ValueGraph.getTopNodes() |
Collection<ValueGraph.Node> |
ValueGraph.getTopNodes() |
Modifier and Type | Method and Description |
---|---|
protected boolean |
SimpleGlobalValueNumberer.childrenAreInSamePartition(ValueGraph.Node node1,
ValueGraph.Node node2) |
protected boolean |
SimpleGlobalValueNumberer.childrenAreInSamePartition(ValueGraph.Node node1,
ValueGraph.Node node2) |
Local |
ValueGraph.getLocal(ValueGraph.Node node) |
Local |
ValueGraph.getLocal(ValueGraph.Node node) |
Modifier and Type | Method and Description |
---|---|
protected void |
ValueGraph.Node.setChildren(List<ValueGraph.Node> children) |
protected void |
ValueGraph.Node.setChildren(List<ValueGraph.Node> children) |
Constructor and Description |
---|
Node(Value node,
boolean ordered,
List<ValueGraph.Node> children) |
Node(Value node,
boolean ordered,
List<ValueGraph.Node> children) |