Modifier and Type | Method and Description |
---|---|
IterableSet<AugmentedStmt> |
DavaBody.get_MonitorFacts() |
IterableSet<AugmentedStmt> |
DavaBody.get_MonitorFacts() |
Modifier and Type | Method and Description |
---|---|
void |
DavaBody.consume_Condition(AugmentedStmt as) |
void |
DavaBody.consume_Condition(AugmentedStmt as) |
Modifier and Type | Field and Description |
---|---|
List<AugmentedStmt> |
AugmentedStmt.bpreds |
List<AugmentedStmt> |
AugmentedStmt.bpreds |
List<AugmentedStmt> |
AugmentedStmt.bsuccs |
List<AugmentedStmt> |
AugmentedStmt.bsuccs |
List<AugmentedStmt> |
AugmentedStmt.cpreds |
List<AugmentedStmt> |
AugmentedStmt.cpreds |
List<AugmentedStmt> |
AugmentedStmt.csuccs |
List<AugmentedStmt> |
AugmentedStmt.csuccs |
Modifier and Type | Method and Description |
---|---|
AugmentedStmt |
AugmentedStmtGraph.get_AugStmt(Stmt s) |
AugmentedStmt |
AugmentedStmtGraph.get_AugStmt(Stmt s) |
AugmentedStmt |
AugmentedStmtGraph.get_CloneOf(AugmentedStmt as) |
AugmentedStmt |
AugmentedStmtGraph.get_CloneOf(AugmentedStmt as) |
Modifier and Type | Method and Description |
---|---|
void |
AugmentedStmtGraph.add_AugmentedStmt(AugmentedStmt as) |
void |
AugmentedStmtGraph.add_AugmentedStmt(AugmentedStmt as) |
boolean |
AugmentedStmt.add_BPred(AugmentedStmt bpred) |
boolean |
AugmentedStmt.add_BPred(AugmentedStmt bpred) |
boolean |
AugmentedStmt.add_BSucc(AugmentedStmt bsucc) |
boolean |
AugmentedStmt.add_BSucc(AugmentedStmt bsucc) |
boolean |
AugmentedStmt.add_CPred(AugmentedStmt cpred) |
boolean |
AugmentedStmt.add_CPred(AugmentedStmt cpred) |
boolean |
AugmentedStmt.add_CSucc(AugmentedStmt csucc) |
boolean |
AugmentedStmt.add_CSucc(AugmentedStmt csucc) |
void |
AugmentedStmtGraph.add_StmtBinding(Stmt s,
AugmentedStmt as) |
void |
AugmentedStmtGraph.add_StmtBinding(Stmt s,
AugmentedStmt as) |
void |
AugmentedStmtGraph.calculate_Reachability(AugmentedStmt source) |
void |
AugmentedStmtGraph.calculate_Reachability(AugmentedStmt source) |
void |
AugmentedStmtGraph.calculate_Reachability(AugmentedStmt source,
AugmentedStmt dominator) |
void |
AugmentedStmtGraph.calculate_Reachability(AugmentedStmt source,
AugmentedStmt dominator) |
void |
AugmentedStmtGraph.calculate_Reachability(AugmentedStmt source,
AugmentedStmt blocker,
AugmentedStmt dominator) |
void |
AugmentedStmtGraph.calculate_Reachability(AugmentedStmt source,
AugmentedStmt blocker,
AugmentedStmt dominator) |
void |
AugmentedStmtGraph.calculate_Reachability(AugmentedStmt source,
Set<AugmentedStmt> blockers,
AugmentedStmt dominator) |
void |
AugmentedStmtGraph.calculate_Reachability(AugmentedStmt source,
Set<AugmentedStmt> blockers,
AugmentedStmt dominator) |
void |
AugmentedStmtGraph.calculate_Reachability(Collection<AugmentedStmt> sources,
AugmentedStmt dominator) |
void |
AugmentedStmtGraph.calculate_Reachability(Collection<AugmentedStmt> sources,
AugmentedStmt dominator) |
void |
AugmentedStmtGraph.calculate_Reachability(Collection<AugmentedStmt> sources,
AugmentedStmt blocker,
AugmentedStmt dominator) |
void |
AugmentedStmtGraph.calculate_Reachability(Collection<AugmentedStmt> sources,
AugmentedStmt blocker,
AugmentedStmt dominator) |
void |
AugmentedStmtGraph.calculate_Reachability(Collection<AugmentedStmt> sources,
Set<AugmentedStmt> blockers,
AugmentedStmt dominator) |
void |
AugmentedStmtGraph.calculate_Reachability(Collection<AugmentedStmt> sources,
Set<AugmentedStmt> blockers,
AugmentedStmt dominator) |
AugmentedStmt |
AugmentedStmtGraph.get_CloneOf(AugmentedStmt as) |
AugmentedStmt |
AugmentedStmtGraph.get_CloneOf(AugmentedStmt as) |
List<AugmentedStmt> |
AugmentedStmtGraph.getPredsOf(AugmentedStmt s) |
List<AugmentedStmt> |
AugmentedStmtGraph.getPredsOf(AugmentedStmt s) |
List<AugmentedStmt> |
AugmentedStmtGraph.getSuccsOf(AugmentedStmt s) |
List<AugmentedStmt> |
AugmentedStmtGraph.getSuccsOf(AugmentedStmt s) |
boolean |
AugmentedStmtGraph.remove_AugmentedStmt(AugmentedStmt toRemove) |
boolean |
AugmentedStmtGraph.remove_AugmentedStmt(AugmentedStmt toRemove) |
boolean |
AugmentedStmt.remove_BPred(AugmentedStmt bpred) |
boolean |
AugmentedStmt.remove_BPred(AugmentedStmt bpred) |
boolean |
AugmentedStmt.remove_BSucc(AugmentedStmt bsucc) |
boolean |
AugmentedStmt.remove_BSucc(AugmentedStmt bsucc) |
boolean |
AugmentedStmt.remove_CPred(AugmentedStmt cpred) |
boolean |
AugmentedStmt.remove_CPred(AugmentedStmt cpred) |
boolean |
AugmentedStmt.remove_CSucc(AugmentedStmt csucc) |
boolean |
AugmentedStmt.remove_CSucc(AugmentedStmt csucc) |
Modifier and Type | Method and Description |
---|---|
List<AugmentedStmt> |
ASTForLoopNode.getInit() |
List<AugmentedStmt> |
ASTForLoopNode.getInit() |
List<AugmentedStmt> |
ASTStatementSequenceNode.getStatements() |
List<AugmentedStmt> |
ASTStatementSequenceNode.getStatements() |
List<AugmentedStmt> |
ASTForLoopNode.getUpdate() |
List<AugmentedStmt> |
ASTForLoopNode.getUpdate() |
Modifier and Type | Method and Description |
---|---|
void |
ASTStatementSequenceNode.setStatements(List<AugmentedStmt> statementSequence) |
void |
ASTStatementSequenceNode.setStatements(List<AugmentedStmt> statementSequence) |
Constructor and Description |
---|
ASTForLoopNode(SETNodeLabel label,
List<AugmentedStmt> init,
ASTCondition condition,
List<AugmentedStmt> update,
List<Object> body) |
ASTForLoopNode(SETNodeLabel label,
List<AugmentedStmt> init,
ASTCondition condition,
List<AugmentedStmt> update,
List<Object> body) |
ASTForLoopNode(SETNodeLabel label,
List<AugmentedStmt> init,
ASTCondition condition,
List<AugmentedStmt> update,
List<Object> body) |
ASTForLoopNode(SETNodeLabel label,
List<AugmentedStmt> init,
ASTCondition condition,
List<AugmentedStmt> update,
List<Object> body) |
ASTStatementSequenceNode(List<AugmentedStmt> statementSequence) |
ASTStatementSequenceNode(List<AugmentedStmt> statementSequence) |
Modifier and Type | Field and Description |
---|---|
protected AugmentedStmt |
SETNode.entryStmt |
protected AugmentedStmt |
SETNode.entryStmt |
Modifier and Type | Method and Description |
---|---|
IterableSet<AugmentedStmt> |
SETNode.get_Body() |
IterableSet<AugmentedStmt> |
SETNode.get_Body() |
IterableSet<AugmentedStmt> |
SETNode.get_IntersectionWith(SETNode other) |
IterableSet<AugmentedStmt> |
SETNode.get_IntersectionWith(SETNode other) |
Modifier and Type | Method and Description |
---|---|
void |
SETNode.find_SmallestSETNode(AugmentedStmt as) |
void |
SETNode.find_SmallestSETNode(AugmentedStmt as) |
protected void |
SETNode.remove_AugmentedStmt(AugmentedStmt as) |
protected void |
SETNode.remove_AugmentedStmt(AugmentedStmt as) |
Constructor and Description |
---|
SETControlFlowNode(AugmentedStmt characterizingStmt,
IterableSet<AugmentedStmt> body) |
SETControlFlowNode(AugmentedStmt characterizingStmt,
IterableSet<AugmentedStmt> body) |
SETNode(IterableSet<AugmentedStmt> body) |
SETNode(IterableSet<AugmentedStmt> body) |
Modifier and Type | Method and Description |
---|---|
AugmentedStmt |
FinalFieldDefinition.createDefaultStmt(Object field) |
AugmentedStmt |
FinalFieldDefinition.createDefaultStmt(Object field) |
AugmentedStmt |
SuperFirstStmtHandler.createStmtAccordingToType(Type tempType,
Value tempVal,
Local newLocal,
SootMethodRef getMethodRef) |
AugmentedStmt |
SuperFirstStmtHandler.createStmtAccordingToType(Type tempType,
Value tempVal,
Local newLocal,
SootMethodRef getMethodRef) |
Constructor and Description |
---|
InitializationDeclarationShortcut(AugmentedStmt ofInterest) |
InitializationDeclarationShortcut(AugmentedStmt ofInterest) |
InitializationDeclarationShortcut(boolean verbose,
AugmentedStmt ofInterest) |
InitializationDeclarationShortcut(boolean verbose,
AugmentedStmt ofInterest) |
Modifier and Type | Method and Description |
---|---|
AugmentedStmt |
SwitchNode.get_AugStmt() |
AugmentedStmt |
SwitchNode.get_AugStmt() |
Modifier and Type | Method and Description |
---|---|
boolean |
ExceptionNode.add_TryStmt(AugmentedStmt as) |
boolean |
ExceptionNode.add_TryStmt(AugmentedStmt as) |
IterableSet<AugmentedStmt> |
ExceptionFinder.get_CatchBody(AugmentedStmt handlerAugmentedStmt) |
IterableSet<AugmentedStmt> |
ExceptionFinder.get_CatchBody(AugmentedStmt handlerAugmentedStmt) |
boolean |
ExceptionNode.remove(AugmentedStmt as) |
boolean |
ExceptionNode.remove(AugmentedStmt as) |
Constructor and Description |
---|
ExceptionNode(IterableSet<AugmentedStmt> tryBody,
SootClass exception,
AugmentedStmt handlerAugmentedStmt) |
ExceptionNode(IterableSet<AugmentedStmt> tryBody,
SootClass exception,
AugmentedStmt handlerAugmentedStmt) |
SwitchNode(AugmentedStmt as,
TreeSet<Object> indexSet,
IterableSet body) |
SwitchNode(AugmentedStmt as,
TreeSet<Object> indexSet,
IterableSet body) |
Constructor and Description |
---|
ExceptionNode(IterableSet<AugmentedStmt> tryBody,
SootClass exception,
AugmentedStmt handlerAugmentedStmt) |
ExceptionNode(IterableSet<AugmentedStmt> tryBody,
SootClass exception,
AugmentedStmt handlerAugmentedStmt) |