| Package | Description |
|---|---|
| ch.epfl.labos.iu.orm.queryll2.path |
| Modifier and Type | Method and Description |
|---|---|
MethodAnalysisResults |
PathAnalysisFactory.createMethodAnalysisResults() |
| Modifier and Type | Method and Description |
|---|---|
void |
PathAnalysisFactory.addPath(MethodAnalysisResults methodAnalysisResults,
List<MethodSideEffect> sideEffects,
TypedValue returnValue,
List<? extends TypedValue> conditions,
PathAnalysisMethodChecker methodChecker) |
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.
|
Copyright © 2018. All Rights Reserved.