Package | Description |
---|---|
soot.jimple.toolkits.annotation.purity |
Modifier and Type | Class and Description |
---|---|
class |
PurityGlobalNode
The GBL node.
|
class |
PurityMethodNode
Kind of Stmt inside node, but global to the method.
|
class |
PurityParamNode
A node representing a method parameter.
|
class |
PurityStmtNode
A node created dynamically and attached to a statement Stmt.
|
class |
PurityThisNode
A node representing the this parameter.
|
Modifier and Type | Method and Description |
---|---|
PurityNode |
PurityEdge.getSource() |
PurityNode |
PurityEdge.getTarget() |
Modifier and Type | Method and Description |
---|---|
protected Set<PurityNode> |
PurityGraph.getEscaping() |
Modifier and Type | Method and Description |
---|---|
protected int |
PurityGraph.internalParamStatus(PurityNode p) |
protected void |
PurityGraph.internalPassNode(PurityNode node,
Set<PurityNode> dest,
boolean consider_inside) |
protected boolean |
PurityGraph.localsPut(Local local,
PurityNode node) |
protected void |
PurityGraph.mergeNodes(PurityNode src,
PurityNode dst)
Utility function to merge node src into dst; src is removed
|
protected void |
PurityGraph.removeNode(PurityNode n)
Utility function to remove a node & all adjacent edges
|
Modifier and Type | Method and Description |
---|---|
protected void |
PurityGraph.internalPassEdges(Set toColor,
Set<PurityNode> dest,
boolean consider_inside) |
protected void |
PurityGraph.internalPassNode(PurityNode node,
Set<PurityNode> dest,
boolean consider_inside) |
protected void |
PurityGraph.internalPassNodes(Set toColor,
Set<PurityNode> dest,
boolean consider_inside) |
Copyright © 2020 Sable. All rights reserved.