| Package | Description |
|---|---|
| soot.dava.toolkits.base.AST.structuredAnalysis | |
| soot.dava.toolkits.base.AST.transformations |
| Modifier and Type | Method and Description |
|---|---|
CPFlowSet |
CPFlowSet.clone() |
CPFlowSet |
CPFlowSet.clone() |
| Modifier and Type | Method and Description |
|---|---|
CPTuple |
CP.checkForValueHints(ASTCondition cond,
CPFlowSet input,
boolean isElseBranch) |
CPTuple |
CP.checkForValueHints(ASTCondition cond,
CPFlowSet input,
boolean isElseBranch) |
CPTuple |
CP.createCPTupleIfPossible(Value a,
Value b,
CPFlowSet input) |
CPTuple |
CP.createCPTupleIfPossible(Value a,
Value b,
CPFlowSet input) |
java.lang.Object |
CP.killButGetValueForUse(Local left,
CPFlowSet toReturn) |
java.lang.Object |
CP.killButGetValueForUse(Local left,
CPFlowSet toReturn) |
| Constructor and Description |
|---|
CPFlowSet(CPFlowSet other) |
CPFlowSet(CPFlowSet other) |
| Modifier and Type | Method and Description |
|---|---|
ASTCondition |
CPApplication.changedCondition(ASTCondition cond,
CPFlowSet set) |
ASTCondition |
CPApplication.changedCondition(ASTCondition cond,
CPFlowSet set) |
void |
CPApplication.substituteUses(java.util.List useBoxes,
CPFlowSet beforeSet) |
void |
CPApplication.substituteUses(java.util.List useBoxes,
CPFlowSet beforeSet) |