org.jinq.jooq.transform

Class PathAnalysisFactory

java.lang.Object

org.jinq.jooq.transform.PathAnalysisFactory

All Implemented Interfaces:

ch.epfl.labos.iu.orm.queryll2.path.PathAnalysisSupplementalFactory<java.lang.Void,MethodAnalysisResults>

public class PathAnalysisFactory
extends java.lang.Object
implements ch.epfl.labos.iu.orm.queryll2.path.PathAnalysisSupplementalFactory<java.lang.Void,MethodAnalysisResults>

Constructor Summary

Constructors

Constructor and Description
PathAnalysisFactory(MetamodelUtil metamodel)

Method Summary

Modifier and Type	Method and Description
void	addPath(MethodAnalysisResults methodAnalysisResults, ch.epfl.labos.iu.orm.queryll2.symbolic.TypedValue returnValue, java.util.List<ch.epfl.labos.iu.orm.queryll2.symbolic.TypedValue.ComparisonValue> conditions, ch.epfl.labos.iu.orm.queryll2.path.PathAnalysisMethodChecker methodChecker)
MethodAnalysisResults	createMethodAnalysisResults()
ch.epfl.labos.iu.orm.queryll2.path.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(MetamodelUtil metamodel)

Method Detail

createMethodChecker

public ch.epfl.labos.iu.orm.queryll2.path.PathAnalysisMethodChecker createMethodChecker()

Specified by:

createMethodChecker in interface ch.epfl.labos.iu.orm.queryll2.path.PathAnalysisSupplementalFactory<java.lang.Void,MethodAnalysisResults>

createMethodAnalysisResults

public MethodAnalysisResults createMethodAnalysisResults()

Specified by:

createMethodAnalysisResults in interface ch.epfl.labos.iu.orm.queryll2.path.PathAnalysisSupplementalFactory<java.lang.Void,MethodAnalysisResults>

addPath

public void addPath(MethodAnalysisResults methodAnalysisResults,
                    ch.epfl.labos.iu.orm.queryll2.symbolic.TypedValue returnValue,
                    java.util.List<ch.epfl.labos.iu.orm.queryll2.symbolic.TypedValue.ComparisonValue> conditions,
                    ch.epfl.labos.iu.orm.queryll2.path.PathAnalysisMethodChecker methodChecker)

Specified by:

addPath in interface ch.epfl.labos.iu.orm.queryll2.path.PathAnalysisSupplementalFactory<java.lang.Void,MethodAnalysisResults>