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

Class PathAnalysisFactory

java.lang.Object

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

All Implemented Interfaces:

PathAnalysisSupplementalFactory<Void,MethodAnalysisResults>

public class PathAnalysisFactory
extends Object
implements PathAnalysisSupplementalFactory<Void,MethodAnalysisResults>

Constructor Summary

Constructors

Constructor and Description
PathAnalysisFactory(PathAnalysisMethodChecker methodChecker)

Method Summary

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

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

PathAnalysisFactory

public PathAnalysisFactory(PathAnalysisMethodChecker methodChecker)

Method Detail

createMethodChecker

public PathAnalysisMethodChecker createMethodChecker()

Specified by:

createMethodChecker in interface PathAnalysisSupplementalFactory<Void,MethodAnalysisResults>

createMethodAnalysisResults

public MethodAnalysisResults createMethodAnalysisResults()

Specified by:

createMethodAnalysisResults in interface PathAnalysisSupplementalFactory<Void,MethodAnalysisResults>

addPath

public void addPath(MethodAnalysisResults methodAnalysisResults,
                    List<MethodSideEffect> sideEffects,
                    TypedValue returnValue,
                    List<? extends TypedValue> conditions,
                    PathAnalysisMethodChecker methodChecker)

Specified by:

addPath in interface PathAnalysisSupplementalFactory<Void,MethodAnalysisResults>