| /******************************************************************************* |
| * Copyright (c) 2009, 2011 SAP AG and others. |
| * All rights reserved. This program and the accompanying materials |
| * are made available under the terms of the Eclipse Public License v1.0 |
| * which accompanies this distribution, and is available at |
| * http://www.eclipse.org/legal/epl-v10.html |
| * |
| * Contributors: |
| * SAP AG - initial API and implementation |
| ******************************************************************************/ |
| package org.eclipse.ocl.examples.impactanalyzer.instanceScope.unusedEvaluation; |
| |
| import java.util.Map; |
| import java.util.Set; |
| |
| import org.eclipse.emf.common.notify.Notification; |
| import org.eclipse.emf.ecore.EClass; |
| import org.eclipse.emf.ecore.EClassifier; |
| import org.eclipse.emf.ecore.EEnumLiteral; |
| import org.eclipse.emf.ecore.EObject; |
| import org.eclipse.emf.ecore.EOperation; |
| import org.eclipse.emf.ecore.EPackage; |
| import org.eclipse.emf.ecore.EParameter; |
| import org.eclipse.emf.ecore.EStructuralFeature; |
| import org.eclipse.ocl.Environment; |
| import org.eclipse.ocl.EvaluationEnvironment; |
| import org.eclipse.ocl.EvaluationVisitor; |
| import org.eclipse.ocl.ecore.CallOperationAction; |
| import org.eclipse.ocl.ecore.Constraint; |
| import org.eclipse.ocl.ecore.OCLExpression; |
| import org.eclipse.ocl.ecore.SendSignalAction; |
| import org.eclipse.ocl.ecore.opposites.DefaultOppositeEndFinder; |
| import org.eclipse.ocl.ecore.opposites.OppositeEndFinder; |
| import org.eclipse.ocl.examples.impactanalyzer.deltaPropagation.PartialEcoreEnvironmentFactory; |
| |
| |
| |
| /** |
| * Uses {@link PartialEvaluationVisitorImplNoAllInstances} as evaluation visitor which throws a |
| * {@link NoAllInstancesDuringEvaluationForUnusedCheck} exception in case <code>allInstances()</code> |
| * is to be evaluated. |
| * |
| * @author Axel Uhl (D043530) |
| * |
| */ |
| public class PartialEcoreEnvironmentFactoryNoAllInstances extends PartialEcoreEnvironmentFactory { |
| /** |
| * Uses a {@link DefaultOppositeEndFinder} for querying hidden opposites |
| */ |
| public PartialEcoreEnvironmentFactoryNoAllInstances() { |
| super(); |
| } |
| |
| /** |
| * Taking a {@link Notification} object such that an evaluation performed with the {@link EvaluationVisitor} returned by this |
| * factory's {@link #createEvaluationVisitor(Environment, EvaluationEnvironment, Map)} operation will be based on the state |
| * <em>before</em> the notification. For example, if the notification indicates the removal of a reference from an element |
| * <tt>e1</tt> to an element <tt>e2</tt> across reference <tt>r</tt> then when during partial evaluation <tt>r</tt> is |
| * traversed starting from <tt>e1</tt> then <tt>e2</tt> will show in the results although in the current version of the model |
| * it would not.<p> |
| * |
| * Uses a {@link DefaultOppositeEndFinder} for navigating hidden opposites. |
| */ |
| public PartialEcoreEnvironmentFactoryNoAllInstances(Notification atPre) { |
| super(atPre); |
| } |
| |
| public PartialEcoreEnvironmentFactoryNoAllInstances(Notification atPre, OppositeEndFinder oppositeEndFinder) { |
| super(atPre); |
| } |
| |
| /** |
| * Creates a visitor. The {@link #isEvaluationTracingEnabled()} result is ignored here. Unfortunately, |
| * the <tt>TracingEvaluationVisitor</tt> class is not visible here. The {@link #sourceExpression} |
| * and {@link #valueOfSourceExpression} are passed to the {@link PartialEvaluationVisitorImplNoAllInstances} |
| * constructor and are nulled out before the constructor is called. As a consequence of this, subsequent |
| * requests to this factory to create a visitor will result in visitors that don't treat the |
| * source expression special anymore. This prevents incorrect use of the cached value during |
| * recursions. |
| */ |
| public PartialEvaluationVisitorImplNoAllInstances createEvaluationVisitor( |
| Environment<EPackage, EClassifier, EOperation, EStructuralFeature, EEnumLiteral, EParameter, EObject, CallOperationAction, SendSignalAction, Constraint, EClass, EObject> env, |
| EvaluationEnvironment<EClassifier, EOperation, EStructuralFeature, EClass, EObject> evalEnv, |
| Map<? extends EClass, ? extends Set<? extends EObject>> extentMap) { |
| OCLExpression localSourceExpression = getSourceExpression(); |
| setSourceExpression(null); |
| Object localValueOfSourceExpression = getValueOfSourceExpression(); |
| setValueOfSourceExpression(null); |
| return new PartialEvaluationVisitorImplNoAllInstances(env, evalEnv, extentMap, localSourceExpression, localValueOfSourceExpression, getAtPre()); |
| } |
| |
| } |