Uses of Class
org.eclipse.ocl.examples.impactanalyzer.filterSynthesis.FilterSynthesisImpl

Packages that use FilterSynthesisImpl

Package	Description
org.eclipse.ocl.examples.impactanalyzer.impl
org.eclipse.ocl.examples.impactanalyzer.instanceScope

Uses of FilterSynthesisImpl in org.eclipse.ocl.examples.impactanalyzer.impl

Methods in org.eclipse.ocl.examples.impactanalyzer.impl that return FilterSynthesisImpl

Modifier and Type	Method and Description
protected FilterSynthesisImpl	ImpactAnalyzerImpl.createFilterSynthesis(OCLExpression expression, boolean notifyOnNewContextElements, OCL ocl)

Uses of FilterSynthesisImpl in org.eclipse.ocl.examples.impactanalyzer.instanceScope

Constructors in org.eclipse.ocl.examples.impactanalyzer.instanceScope with parameters of type FilterSynthesisImpl

Constructor and Description
InstanceScopeAnalysis(OCLExpression expression, org.eclipse.emf.ecore.EClass exprContext, FilterSynthesisImpl filterSynthesizer, OppositeEndFinder oppositeEndFinder, ActivationOption configuration, OCLFactory oclFactory)
InstanceScopeAnalysis(OCLExpression expression, org.eclipse.emf.ecore.EClass exprContext, FilterSynthesisImpl filterSynthesizer, OppositeEndFinder oppositeEndFinder, PartialEvaluatorImpl partialEvaluator, ActivationOption configuration, OCLFactory oclFactory, PathCache pathCache, TracebackStepCache tracebackStepCache)