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) |
Object |
CP.killButGetValueForUse(Local left,
CPFlowSet toReturn) |
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(List useBoxes,
CPFlowSet beforeSet) |
void |
CPApplication.substituteUses(List useBoxes,
CPFlowSet beforeSet) |