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

Packages that use FilterSynthesisImpl

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

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

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)