/*******************************************************************************
* 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.deltaPropagation;
import java.util.Collection;
import java.util.HashSet;
import org.eclipse.ocl.ecore.OCLExpression;
import org.eclipse.ocl.ecore.OperationCallExp;
import org.eclipse.ocl.examples.impactanalyzer.impl.OperationBodyToCallMapper;
import org.eclipse.ocl.examples.impactanalyzer.util.Tuple.Pair;
public class OperationBodyPropagationStrategy implements DeltaPropagationStrategy {
private final OperationBodyToCallMapper mapper;
public OperationBodyPropagationStrategy(OperationBodyToCallMapper mapper) {
this.mapper = mapper;
}
public Collection<Pair<OCLExpression, Collection<Object>>> mapDelta(OCLExpression e, Collection<Object> delta) {
HashSet<Pair<OCLExpression, Collection<Object>>> result = new HashSet<Pair<OCLExpression, Collection<Object>>>();
for (OperationCallExp oce : mapper.getCallsOf(e)) {
result.addAll(PartialEvaluatorImpl.getResultCollectionFromSingleDelta(oce, delta));
}
return result;
}
}