| /******************************************************************************* |
| * Copyright (c) 2012, 2013 The University of York, Willink Transformations 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: |
| * Horacio Hoyos - initial API and implementation |
| ******************************************************************************/ |
| package org.eclipse.qvtd.pivot.qvtimperative.evaluation; |
| |
| import java.util.ArrayList; |
| import java.util.HashMap; |
| import java.util.List; |
| import java.util.Map; |
| |
| import org.eclipse.jdt.annotation.NonNull; |
| import org.eclipse.jdt.annotation.Nullable; |
| import org.eclipse.ocl.examples.domain.elements.DomainType; |
| import org.eclipse.ocl.examples.pivot.Type; |
| import org.eclipse.ocl.examples.pivot.Variable; |
| import org.eclipse.ocl.examples.pivot.manager.PivotIdResolver; |
| import org.eclipse.qvtd.pivot.qvtbase.Domain; |
| import org.eclipse.qvtd.pivot.qvtbase.Predicate; |
| import org.eclipse.qvtd.pivot.qvtbase.Rule; |
| import org.eclipse.qvtd.pivot.qvtbase.Transformation; |
| import org.eclipse.qvtd.pivot.qvtbase.TypedModel; |
| import org.eclipse.qvtd.pivot.qvtcorebase.Area; |
| import org.eclipse.qvtd.pivot.qvtcorebase.Assignment; |
| import org.eclipse.qvtd.pivot.qvtcorebase.BottomPattern; |
| import org.eclipse.qvtd.pivot.qvtcorebase.CoreDomain; |
| import org.eclipse.qvtd.pivot.qvtcorebase.EnforcementOperation; |
| import org.eclipse.qvtd.pivot.qvtcorebase.GuardPattern; |
| import org.eclipse.qvtd.pivot.qvtcorebase.RealizedVariable; |
| import org.eclipse.qvtd.pivot.qvtimperative.ImperativeModel; |
| import org.eclipse.qvtd.pivot.qvtimperative.Mapping; |
| import org.eclipse.qvtd.pivot.qvtimperative.MappingCall; |
| |
| /** |
| * QVTimperativeEvaluationVisitor is the class for ... |
| */ |
| public class QVTiEvaluationVisitorImpl extends QVTiAbstractEvaluationVisitor { |
| |
| |
| /** |
| * Instantiates a new qV tcore evaluation visitor impl. |
| * |
| * @param env |
| * the env |
| * @param evalEnv |
| * the eval env |
| */ |
| public QVTiEvaluationVisitorImpl(@NonNull QVTiEnvironment env, @NonNull IQVTiEvaluationEnvironment evalEnv) { |
| super(env, evalEnv); |
| } |
| |
| @Override |
| public @NonNull QVTiEvaluationVisitor createNestedEvaluator() { |
| QVTiEnvironment qvtEnvironment = getEnvironment(); |
| QVTiEnvironmentFactory factory = qvtEnvironment.getFactory(); |
| IQVTiEvaluationEnvironment nestedEvalEnv = factory.createEvaluationEnvironment(evaluationEnvironment); |
| QVTiEvaluationVisitorImpl ne = new QVTiEvaluationVisitorImpl(qvtEnvironment, nestedEvalEnv); |
| return ne; |
| } |
| |
| public void dispose() {} |
| |
| private static void doMappingCallRecursion(@NonNull QVTiEvaluationVisitor nv, @NonNull Rule rule, @NonNull List<Variable> rootVariables, |
| @NonNull List<List<Object>> rootBindings, int depth) { |
| int nextDepth = depth+1; |
| int maxDepth = rootVariables.size(); |
| Variable var = rootVariables.get(depth); |
| Type guardType = var.getType(); |
| PivotIdResolver idResolver = nv.getMetaModelManager().getIdResolver(); |
| for (Object binding : rootBindings.get(depth)) { |
| DomainType valueType = idResolver.getDynamicTypeOf(binding); |
| if ((guardType != null) && valueType.conformsTo(nv.getMetaModelManager(), guardType)) { |
| nv.getEvaluationEnvironment().replace(var, binding); |
| if (nextDepth < maxDepth) { |
| doMappingCallRecursion(nv, rule, rootVariables, rootBindings, nextDepth); |
| } |
| else { |
| rule.accept(nv); |
| } |
| } |
| } |
| } |
| |
| /* (non-Javadoc) |
| * @see uk.ac.york.qvtd.pivot.qvtcorebase.evaluation.QVTcoreBaseEvaluationVisitorImpl#visitBottomPattern(org.eclipse.qvtd.pivot.qvtcorebase.BottomPattern) |
| */ |
| @Override |
| public @Nullable Object visitBottomPattern(@NonNull BottomPattern bottomPattern) { |
| |
| Object result = true; |
| Area area = bottomPattern.getArea(); |
| if (area instanceof CoreDomain) { |
| assert bottomPattern.getAssignment().isEmpty(); |
| for (Predicate predicate : bottomPattern.getPredicate()) { |
| result = predicate.accept(undecoratedVisitor); |
| if (result != Boolean.TRUE) { |
| break; |
| } |
| } |
| for (RealizedVariable rVar : bottomPattern.getRealizedVariable()) { |
| rVar.accept(undecoratedVisitor); |
| } |
| // for (Assignment assigment : bottomPattern.getAssignment()) { |
| // assigment.accept(undecoratedVisitor); |
| // } |
| for (EnforcementOperation enforceOp : bottomPattern.getEnforcementOperation()) { |
| enforceOp.accept(undecoratedVisitor); |
| } |
| return result; |
| } |
| // LtoM Mapping. The bottomPattern belongs to a Mapping and it is visited once per |
| // binding of the L domain. The bottom pattern should have the realized variables of the |
| // middle model. Use the assignments to set values to their properties |
| else { |
| assert area instanceof Mapping; |
| assert bottomPattern.getPredicate().isEmpty(); |
| assert bottomPattern.getRealizedVariable().isEmpty(); |
| assert bottomPattern.getEnforcementOperation().isEmpty(); |
| // for (RealizedVariable rVar : bottomPattern.getRealizedVariable()) { |
| // rVar.accept(undecoratedVisitor); |
| // } |
| for (Assignment assigment : bottomPattern.getAssignment()) { |
| assigment.accept(undecoratedVisitor); |
| } |
| // for (EnforcementOperation enforceOp : bottomPattern.getEnforcementOperation()) { |
| // enforceOp.accept(undecoratedVisitor); |
| // } |
| } |
| return result; |
| } |
| |
| /* |
| * (non-Javadoc) |
| * |
| * @see |
| * org.eclipse.qvtd.pivot.qvtcore.util.QVTcoreVisitor#visitCoreDomain(org |
| * .eclipse.qvtd.pivot.qvtcore.CoreDomain) |
| */ |
| @Override |
| public @Nullable Object visitCoreDomain(@NonNull CoreDomain coreDomain) { |
| |
| /* Bindings are set by the caller, just test the predicates */ |
| Object result = coreDomain.getGuardPattern().accept(undecoratedVisitor); |
| if (result == Boolean.TRUE) { |
| coreDomain.getBottomPattern().accept(undecoratedVisitor); |
| } |
| return result; |
| /* THERE SHOULD BE NO VARIABLES OR PREDICATES IN THE BottomPattern |
| for (Map.Entry<Variable, Set<Object>> entry : guardBindings.entrySet()) { |
| Variable var = entry.getKey(); |
| for (Object e : entry.getValue()) { |
| evaluationEnvironment.replace(var, e); |
| coreDomain.getBottomPattern().accept(undecoratedVisitor); |
| } |
| }*/ |
| } |
| |
| @Override |
| public @Nullable Object visitImperativeModel(@NonNull ImperativeModel imperativeModel) { |
| for (org.eclipse.ocl.examples.pivot.Package pkge : imperativeModel.getNestedPackage()) { |
| pkge.accept(undecoratedVisitor); |
| } |
| return true; |
| } |
| |
| /* (non-Javadoc) |
| * @see uk.ac.york.qvtd.pivot.qvtimperative.evaluation.QVTimperativeAbstractEvaluationVisitorImpl#visitMapping(org.eclipse.qvtd.pivot.qvtimperative.Mapping) |
| */ |
| public @Nullable Object visitMapping(@NonNull Mapping mapping) { |
| GuardPattern gp = mapping.getGuardPattern(); |
| if (gp != null) { |
| Object result = gp.accept(undecoratedVisitor); |
| if (result != Boolean.TRUE) { |
| return null; |
| } |
| } |
| /* for (Domain domain : mapping.getDomain()) { |
| if (domain.isIsCheckable()) { |
| Object result = domain.accept(undecoratedVisitor); |
| if (result != Boolean.TRUE) { |
| return result; |
| } |
| } |
| } */ |
| for (Domain domain : mapping.getDomain()) { |
| if (domain.isIsEnforceable()) { |
| domain.accept(undecoratedVisitor); |
| } |
| } |
| // if (gp != null) { |
| // result = gp.accept(undecoratedVisitor); |
| // if (result == Boolean.TRUE) { |
| /*result =*/ mapping.getBottomPattern().accept(undecoratedVisitor); |
| // if (result == Boolean.TRUE) { |
| for (MappingCall mappingCall : mapping.getMappingCall()) { |
| QVTiEvaluationVisitor nv = ((QVTiEvaluationVisitor) undecoratedVisitor).createNestedEvaluator(); |
| // The Undecorated visitor createNestedEvaluator should return the undecorated, so no need |
| // to call the getUndecoratedVisitor. |
| mappingCall.accept(nv); |
| } |
| // } |
| // } |
| // } |
| // After the mapping has been visited, set all "initialised variables" |
| // values to null |
| /* if (gp != null) { |
| for (Variable v : gp.getVariable()) { |
| if (v.getInitExpression() != null) { |
| evaluationEnvironment.replace(v, null); |
| } |
| } |
| } |
| for (Domain domain : mapping.getDomain()) { |
| gp = ((CoreDomain)domain).getGuardPattern(); |
| if (gp != null) { |
| for (Variable v : gp.getVariable()) { |
| if (v.getInitExpression() != null) { |
| evaluationEnvironment.replace(v, null); |
| } |
| } |
| } |
| } */ |
| return null; |
| } |
| |
| @Override |
| public @Nullable Object visitPackage(@NonNull org.eclipse.ocl.examples.pivot.Package pkge) { |
| return true; |
| } |
| |
| @Override |
| public @Nullable Object visitTransformation(@NonNull Transformation transformation) { |
| for (Rule rule : transformation.getRule()) { |
| QVTiEvaluationVisitor nv = ((QVTiEvaluationVisitor) undecoratedVisitor).createNestedEvaluator(); |
| try { |
| // Find bindings before invoking the mapping so all visitors are equal |
| Map<Variable, List<Object>> mappingBindings = new HashMap<Variable, List<Object>>(); |
| List<Variable> rootVariables = new ArrayList<Variable>(); |
| List<List<Object>> rootBindings = new ArrayList<List<Object>>(); |
| for (Domain domain : rule.getDomain()) { |
| CoreDomain coreDomain = (CoreDomain)domain; |
| TypedModel m = coreDomain.getTypedModel(); |
| for (@SuppressWarnings("null")@NonNull Variable var : coreDomain.getGuardPattern().getVariable()) { |
| nv.getEvaluationEnvironment().add(var, null); |
| rootVariables.add(var); |
| Type varType = var.getType(); |
| if (varType != null) { |
| List<Object> bindingValuesSet = ((QVTiModelManager)modelManager).getElementsByType(m, varType); |
| rootBindings.add(bindingValuesSet); |
| mappingBindings.put(var, bindingValuesSet); |
| } |
| } |
| } |
| doMappingCallRecursion(nv, rule, rootVariables, rootBindings, 0); |
| break; // FIXME ?? multiple rules |
| } |
| finally { |
| nv.dispose(); |
| } |
| } |
| return true; |
| } |
| } |
