Package | Description |
---|---|
soot.dava.toolkits.base.AST.structuredAnalysis |
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 |
CPTuple.clone() |
CPTuple |
CPTuple.clone() |
CPTuple |
CP.createCPTupleIfPossible(Value a,
Value b,
CPFlowSet input) |
CPTuple |
CP.createCPTupleIfPossible(Value a,
Value b,
CPFlowSet input) |
Modifier and Type | Method and Description |
---|---|
void |
CPFlowSet.addIfNotPresent(CPTuple newTuple) |
void |
CPFlowSet.addIfNotPresent(CPTuple newTuple) |
void |
CPFlowSet.addIfNotPresentButDontUpdate(CPTuple newTuple) |
void |
CPFlowSet.addIfNotPresentButDontUpdate(CPTuple newTuple) |