blob: 4d1674a35a94af4f92f6893e8e698ae47e0048c3 [file] [log] [blame]
/**
* <copyright>
*
* Copyright (c) 2011, 2012 E.D.Willink 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:
* E.D.Willink - initial API and implementation
*
* </copyright>
*
* $Id: UnaryOperationFilter.java,v 1.3 2011/04/25 19:39:51 ewillink Exp $
*/
package org.eclipse.ocl.examples.xtext.essentialocl.attributes;
import java.util.List;
import java.util.Map;
import org.eclipse.jdt.annotation.NonNull;
import org.eclipse.ocl.examples.domain.elements.DomainElement;
import org.eclipse.ocl.examples.pivot.Iteration;
import org.eclipse.ocl.examples.pivot.Operation;
import org.eclipse.ocl.examples.pivot.Parameter;
import org.eclipse.ocl.examples.pivot.ParameterableElement;
import org.eclipse.ocl.examples.pivot.TemplateParameter;
import org.eclipse.ocl.examples.pivot.Type;
import org.eclipse.ocl.examples.pivot.scoping.EnvironmentView;
public class UnaryOperationFilter extends AbstractOperationFilter
{
public UnaryOperationFilter(@NonNull Type sourceType) {
super(sourceType);
}
public boolean matches(@NonNull EnvironmentView environmentView, @NonNull DomainElement eObject) {
if (eObject instanceof Iteration) {
return false;
}
else if (eObject instanceof Operation) {
Operation candidateOperation = (Operation)eObject;
List<Parameter> candidateParameters = candidateOperation.getOwnedParameter();
if (candidateParameters.size() != 0) {
return false;
}
Map<TemplateParameter, ParameterableElement> bindings = getOperationBindings(environmentView.getMetaModelManager(), candidateOperation);
if (bindings != null) {
installBindings(environmentView, eObject, bindings);
}
return true;
}
else {
return false;
}
}
}