static void |
PathAnalysisSimplifier.cleanAndSimplify(MethodAnalysisResults method,
Map<MethodSignature,TypedValue.ComparisonValue.ComparisonOp> comparisonMethods,
Map<MethodSignature,TypedValue.ComparisonValue.ComparisonOp> comparisonStaticMethods,
boolean isAllEqualsConverted)
Sometimes paths have weird conditions on them, so they can be pruned out.
|
static void |
PathAnalysisSimplifier.cleanAndSimplify(MethodAnalysisResults method,
Map<MethodSignature,TypedValue.ComparisonValue.ComparisonOp> comparisonMethods,
Map<MethodSignature,TypedValue.ComparisonValue.ComparisonOp> comparisonStaticMethods,
boolean isAllEqualsConverted)
Sometimes paths have weird conditions on them, so they can be pruned out.
|
static TypedValue |
PathAnalysisSimplifier.simplify(TypedValue value,
Map<MethodSignature,TypedValue.ComparisonValue.ComparisonOp> comparisonMethods,
Map<MethodSignature,TypedValue.ComparisonValue.ComparisonOp> comparisonStaticMethods,
boolean isAllEqualsConverted) |
static TypedValue |
PathAnalysisSimplifier.simplify(TypedValue value,
Map<MethodSignature,TypedValue.ComparisonValue.ComparisonOp> comparisonMethods,
Map<MethodSignature,TypedValue.ComparisonValue.ComparisonOp> comparisonStaticMethods,
boolean isAllEqualsConverted) |
static TypedValue |
PathAnalysisSimplifier.simplifyBoolean(TypedValue value,
Map<MethodSignature,TypedValue.ComparisonValue.ComparisonOp> comparisonMethods,
Map<MethodSignature,TypedValue.ComparisonValue.ComparisonOp> comparisonStaticMethods,
boolean isAllEqualsConverted) |
static TypedValue |
PathAnalysisSimplifier.simplifyBoolean(TypedValue value,
Map<MethodSignature,TypedValue.ComparisonValue.ComparisonOp> comparisonMethods,
Map<MethodSignature,TypedValue.ComparisonValue.ComparisonOp> comparisonStaticMethods,
boolean isAllEqualsConverted) |
static List<TypedValue> |
PathAnalysisSimplifier.simplifyBooleans(List<TypedValue> conditions,
Map<MethodSignature,TypedValue.ComparisonValue.ComparisonOp> comparisonMethods,
Map<MethodSignature,TypedValue.ComparisonValue.ComparisonOp> comparisonStaticMethods,
boolean isAllEqualsConverted) |
static List<TypedValue> |
PathAnalysisSimplifier.simplifyBooleans(List<TypedValue> conditions,
Map<MethodSignature,TypedValue.ComparisonValue.ComparisonOp> comparisonMethods,
Map<MethodSignature,TypedValue.ComparisonValue.ComparisonOp> comparisonStaticMethods,
boolean isAllEqualsConverted) |