/**
* 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.idl;
import java.net.URL;
import java.util.Map;
import org.objectweb.fractal.adl.ADLException;
import org.ow2.mind.error.ErrorManager;
import org.ow2.mind.idl.IDLLoader.AbstractDelegatingIDLLoader;
import org.ow2.mind.idl.ast.ArrayOf;
import org.ow2.mind.idl.ast.IDL;
import org.ow2.mind.idl.ast.InterfaceDefinition;
import org.ow2.mind.idl.ast.Member;
import org.ow2.mind.idl.ast.MemberContainer;
import org.ow2.mind.idl.ast.Method;
import org.ow2.mind.idl.ast.Parameter;
import org.ow2.mind.idl.ast.PointerOf;
import org.ow2.mind.idl.ast.Type;
import org.ow2.mind.idl.ast.TypeCollectionContainer;
import org.ow2.mind.idl.ast.TypeContainer;
import org.ow2.mind.idl.ast.TypeDefReference;
import org.ow2.mind.idl.ast.TypeDefinition;
import com.google.inject.Inject;
public class IDLTypeCheckerLoader extends AbstractDelegatingIDLLoader {
@Inject
protected ErrorManager errorManagerItf;
@Inject
protected InterfaceReferenceResolver interfaceReferenceResolverItf;
@Inject
protected IDLLocator idlLocatorItf;
// ---------------------------------------------------------------------------
// Implementation of the IDLLocator interface
// ---------------------------------------------------------------------------
public IDL load(final String name, final Map<Object, Object> context)
throws ADLException {
final IDL idl = clientIDLLoaderItf.load(name, context);
checkTypes(idl, context);
return idl;
}
// ---------------------------------------------------------------------------
// Utility methods
// ---------------------------------------------------------------------------
protected void checkTypes(final IDL idl, final Map<Object, Object> context)
throws ADLException {
// check types defines at top-level
if (idl instanceof TypeCollectionContainer) {
for (final Type type : ((TypeCollectionContainer) idl).getTypes()) {
checkType(idl, type, context);
}
}
// check types in method
if (idl instanceof InterfaceDefinition) {
for (final Method method : ((InterfaceDefinition) idl).getMethods()) {
// check return type
checkType(idl, method.getType(), context);
// check params
for (final Parameter parameter : method.getParameters()) {
checkType(idl, parameter.getType(), context);
}
}
}
}
protected void checkType(final IDL idl, final Type type,
final Map<Object, Object> context) throws ADLException {
if (type instanceof TypeDefReference) {
final URL itf = idlLocatorItf.findSourceItf(
((TypeDefReference) type).getName(), context);
if (itf != null) {
interfaceReferenceResolverItf.resolve(
((TypeDefReference) type).getName(), idl, context);
}
} else if (type instanceof MemberContainer) {
for (final Member member : ((MemberContainer) type).getMembers()) {
checkType(idl, member.getType(), context);
}
} else if (type instanceof TypeDefinition || type instanceof ArrayOf
|| type instanceof PointerOf) {
checkType(idl, ((TypeContainer) type).getType(), context);
}
}
}