public class MethodAnalysisResults
extends java.lang.Object
| Modifier and Type | Field and Description |
|---|---|
java.util.List<PathAnalysis> |
paths |
| Constructor and Description |
|---|
MethodAnalysisResults() |
| Modifier and Type | Method and Description |
|---|---|
void |
addPath(ch.epfl.labos.iu.orm.queryll2.symbolic.TypedValue returnValue,
java.util.List<ch.epfl.labos.iu.orm.queryll2.symbolic.TypedValue.ComparisonValue> conditions) |
void |
cleanPaths()
Sometimes paths have weird conditions on them, so they can be pruned out.
|
public java.util.List<PathAnalysis> paths
public void addPath(ch.epfl.labos.iu.orm.queryll2.symbolic.TypedValue returnValue,
java.util.List<ch.epfl.labos.iu.orm.queryll2.symbolic.TypedValue.ComparisonValue> conditions)
public void cleanPaths()
Copyright © 2014. All Rights Reserved.