/**
* Copyright (C) 2009 STMicroelectronics
*
* This file is part of "Mind Compiler" is free software: you can redistribute
* it and/or modify it under the terms of the GNU Lesser General Public License
* as published by the Free Software Foundation, either version 3 of the
* License, or (at your option) any later version.
*
* This program is distributed in the hope that it will be useful, but WITHOUT
* ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS
* FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public License for more
* details.
*
* You should have received a copy of the GNU Lesser General Public License
* along with this program. If not, see <http://www.gnu.org/licenses/>.
*
* Contact: mind@ow2.org
*
* Authors: Matthieu Leclercq
* Contributors:
*/
package org.ow2.mind.adl.binding;
import static java.lang.Integer.parseInt;
import static org.objectweb.fractal.adl.NodeUtil.castNodeError;
import static org.objectweb.fractal.adl.types.TypeInterfaceUtil.isCollection;
import static org.ow2.mind.adl.ast.ASTHelper.getNumberOfElement;
import static org.ow2.mind.adl.ast.ASTHelper.getResolvedComponentDefinition;
import static org.ow2.mind.adl.ast.Binding.THIS_COMPONENT;
import java.util.HashMap;
import java.util.HashSet;
import java.util.Map;
import java.util.Set;
import org.objectweb.fractal.adl.ADLException;
import org.objectweb.fractal.adl.Definition;
import org.objectweb.fractal.adl.bindings.BindingErrors;
import org.objectweb.fractal.adl.interfaces.Interface;
import org.objectweb.fractal.adl.interfaces.InterfaceContainer;
import org.ow2.mind.adl.AbstractDelegatingLoader;
import org.ow2.mind.adl.ast.ASTHelper;
import org.ow2.mind.adl.ast.Binding;
import org.ow2.mind.adl.ast.BindingContainer;
import org.ow2.mind.adl.ast.Component;
import org.ow2.mind.adl.ast.ComponentContainer;
import org.ow2.mind.adl.membrane.ast.Controller;
import org.ow2.mind.adl.membrane.ast.ControllerContainer;
import org.ow2.mind.adl.membrane.ast.ControllerInterface;
import org.ow2.mind.adl.membrane.ast.InternalInterfaceContainer;
import org.ow2.mind.adl.membrane.ast.MembraneASTHelper;
import org.ow2.mind.error.ErrorManager;
import com.google.inject.Inject;
public class BindingCheckerLoader extends AbstractDelegatingLoader {
@Inject
protected ErrorManager errorManagerItf;
@Inject
protected BindingChecker bindingCheckerItf;
// ---------------------------------------------------------------------------
// Implementation of the Loader interface
// ---------------------------------------------------------------------------
public Definition load(final String name, final Map<Object, Object> context)
throws ADLException {
final Definition d = clientLoader.load(name, context);
if (d instanceof BindingContainer)
checkBindings((BindingContainer) d, context);
return d;
}
// ---------------------------------------------------------------------------
// Utility methods
// ---------------------------------------------------------------------------
protected void checkBindings(final BindingContainer container,
final Map<Object, Object> context) throws ADLException {
final Binding[] bindings = container.getBindings();
if (bindings.length == 0) return;
final Component[] subComponents = castNodeError(container,
ComponentContainer.class).getComponents();
final Map<String, Map<String, Interface>> subComponentInterfaces = new HashMap<String, Map<String, Interface>>(
subComponents.length);
for (final Component subComponent : subComponents) {
final Definition subCompDef = getResolvedComponentDefinition(
subComponent, null, context);
assert subCompDef != null;
final Map<String, Interface> subComponentItfs = new HashMap<String, Interface>();
if (subCompDef instanceof InterfaceContainer) {
final Interface[] interfaces = ((InterfaceContainer) subCompDef)
.getInterfaces();
for (final Interface itf : interfaces) {
subComponentItfs.put(itf.getName(), itf);
}
}
subComponentInterfaces.put(subComponent.getName(), subComponentItfs);
}
// add composite interfaces
final Map<String, Interface> componentItfs = new HashMap<String, Interface>();
subComponentInterfaces.put(null, componentItfs);
// first add internal interfaces
if (container instanceof InternalInterfaceContainer) {
for (final Interface itf : ((InternalInterfaceContainer) container)
.getInternalInterfaces()) {
componentItfs.put(itf.getName(), itf);
}
}
// then add server interfaces of controllers
final Set<Interface> controllerItfs = new HashSet<Interface>();
if (container instanceof ControllerContainer) {
for (final Controller controller : ((ControllerContainer) container)
.getControllers()) {
for (final ControllerInterface ctrlItf : controller
.getControllerInterfaces()) {
if (!componentItfs.containsKey(ctrlItf.getName())
&& !MembraneASTHelper.isInternalInterface(ctrlItf)) {
final Interface itf = ASTHelper.getInterface(container,
ctrlItf.getName());
if (itf != null) {
componentItfs.put(ctrlItf.getName(), itf);
controllerItfs.add(itf);
}
}
}
}
}
for (final Binding binding : bindings) {
final Interface from = getInterface(binding, binding.getFromComponent(),
binding.getFromInterface(), binding.getFromInterfaceNumber(),
subComponentInterfaces);
final Interface to = getInterface(binding, binding.getToComponent(),
binding.getToInterface(), binding.getToInterfaceNumber(),
subComponentInterfaces);
if (from == null || to == null) continue;
if (THIS_COMPONENT.equals(binding.getFromComponent())) {
final boolean isValid = bindingCheckerItf
.checkFromCompositeToSubcomponentBinding(from, to, binding, binding);
if (!isValid) container.removeBinding(binding);
if (controllerItfs.contains(from)) {
// From itf is a controller interface
ASTHelper.setFromCompositeControllerDecoration(binding, true);
}
} else if (THIS_COMPONENT.equals(binding.getToComponent())) {
final boolean isValid = bindingCheckerItf
.checkFromSubcomponentToCompositeBinding(from, to, binding, binding);
if (!isValid) container.removeBinding(binding);
if (controllerItfs.contains(to)) {
// To itf is a controller interface
ASTHelper.setToCompositeControllerDecoration(binding, true);
}
} else {
final boolean isValid = bindingCheckerItf.checkBinding(from, to,
binding, binding);
if (!isValid) container.removeBinding(binding);
}
}
}
protected Interface getInterface(final Binding binding,
final String componentName, final String interfaceName,
final String interfaceNumber,
final Map<String, Map<String, Interface>> subComponentInterfaces)
throws ADLException {
final Map<String, Interface> interfaces;
if (Binding.THIS_COMPONENT.equals(componentName)) {
interfaces = subComponentInterfaces.get(null);
} else {
interfaces = subComponentInterfaces.get(componentName);
if (interfaces == null) {
errorManagerItf.logError(BindingErrors.INVALID_ITF_NO_SUCH_COMPONENT,
binding, componentName);
return null;
}
}
final Interface itf = interfaces.get(interfaceName);
if (itf == null) {
errorManagerItf.logError(BindingErrors.INVALID_ITF_NO_SUCH_INTERFACE,
binding, componentName, interfaceName);
return null;
}
if (interfaceNumber != null) {
if (!isCollection(itf)) {
errorManagerItf
.logError(BindingErrors.INVALID_ITF_NO_SUCH_INTERFACE, binding,
componentName, interfaceName + "[" + interfaceNumber + "]");
return null;
}
final int nbElement = getNumberOfElement(itf);
if (nbElement != -1) {
final int itfNumber = parseInt(interfaceNumber);
if (itfNumber < 0 || itfNumber >= nbElement) {
errorManagerItf.logError(BindingErrors.INVALID_ITF_NO_SUCH_INTERFACE,
binding, componentName, interfaceName + "[" + interfaceNumber
+ "]");
return null;
}
}
}
return itf;
}
}