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

Interface PathAnalysisSupplementalFactory<T,U>

All Known Implementing Classes:

PathAnalysisFactory

public interface PathAnalysisSupplementalFactory<T,U>

Method Summary

Modifier and Type	Method and Description
void	addPath(U resultsHolder, List<MethodSideEffect> sideEffects, TypedValue returnValue, List<? extends TypedValue> conditions, PathAnalysisMethodChecker methodChecker)
U	createMethodAnalysisResults()
PathAnalysisMethodChecker	createMethodChecker()

Method Detail

createMethodChecker

PathAnalysisMethodChecker createMethodChecker()

createMethodAnalysisResults

U createMethodAnalysisResults()

addPath

void addPath(U resultsHolder,
             List<MethodSideEffect> sideEffects,
             TypedValue returnValue,
             List<? extends TypedValue> conditions,
             PathAnalysisMethodChecker methodChecker)