Package | Description |
---|---|
soot.dava | |
soot.dava.internal.SET | |
soot.dava.toolkits.base.finders |
Modifier and Type | Method and Description |
---|---|
IterableSet<ExceptionNode> |
DavaBody.get_ExceptionFacts() |
IterableSet<ExceptionNode> |
DavaBody.get_ExceptionFacts() |
IterableSet<ExceptionNode> |
DavaBody.get_SynchronizedBlockFacts() |
IterableSet<ExceptionNode> |
DavaBody.get_SynchronizedBlockFacts() |
Constructor and Description |
---|
SETSynchronizedBlockNode(ExceptionNode en,
Value local) |
SETSynchronizedBlockNode(ExceptionNode en,
Value local) |
SETTryNode(IterableSet body,
ExceptionNode en,
AugmentedStmtGraph asg,
DavaBody davaBody) |
SETTryNode(IterableSet body,
ExceptionNode en,
AugmentedStmtGraph asg,
DavaBody davaBody) |
Modifier and Type | Method and Description |
---|---|
void |
ExceptionNode.add_CatchBody(ExceptionNode other) |
void |
ExceptionNode.add_CatchBody(ExceptionNode other) |
Modifier and Type | Method and Description |
---|---|
void |
ExceptionNode.splitOff_ExceptionNode(IterableSet<AugmentedStmt> newTryBody,
AugmentedStmtGraph asg,
IterableSet<ExceptionNode> enlist) |
void |
ExceptionNode.splitOff_ExceptionNode(IterableSet<AugmentedStmt> newTryBody,
AugmentedStmtGraph asg,
IterableSet<ExceptionNode> enlist) |