Uses of Interface
ch.epfl.labos.iu.orm.queryll2.path.PathAnalysisMethodChecker

Packages that use PathAnalysisMethodChecker

Package	Description
ch.epfl.labos.iu.orm.queryll2.path

Uses of PathAnalysisMethodChecker in ch.epfl.labos.iu.orm.queryll2.path

Methods in ch.epfl.labos.iu.orm.queryll2.path that return PathAnalysisMethodChecker

Modifier and Type	Method and Description
PathAnalysisMethodChecker	PathAnalysisSupplementalFactory.createMethodChecker()
PathAnalysisMethodChecker	PathAnalysisFactory.createMethodChecker()

Methods in ch.epfl.labos.iu.orm.queryll2.path with parameters of type PathAnalysisMethodChecker

Modifier and Type	Method and Description
void	PathAnalysisFactory.addPath(MethodAnalysisResults methodAnalysisResults, List<MethodSideEffect> sideEffects, TypedValue returnValue, List<? extends TypedValue> conditions, PathAnalysisMethodChecker methodChecker)
void	PathAnalysisSupplementalFactory.addPath(U resultsHolder, List<MethodSideEffect> sideEffects, TypedValue returnValue, List<? extends TypedValue> conditions, PathAnalysisMethodChecker methodChecker)
<T> PathAnalysis	CodePath.calculateReturnValueAndConditions(org.jinq.rebased.org.objectweb.asm.tree.ClassNode cl, org.jinq.rebased.org.objectweb.asm.tree.MethodNode m, PathAnalysisMethodChecker methodChecker)

Constructors in ch.epfl.labos.iu.orm.queryll2.path with parameters of type PathAnalysisMethodChecker

Constructor and Description
PathAnalysisFactory(PathAnalysisMethodChecker methodChecker)