Dresden OCL Toolkit

tudresden.ocl.check.types
Interface ReflectionAdapter

All Known Implementing Classes:
DefaultReflectionAdapter

public interface ReflectionAdapter

This interface is required for compile-time type checking with the class ReflectionFacade. It is comparable to tudresden.ocl.lib.OclFactory but operates on meta level. In many cases consistency between the used implementation of this interface and the implementation of OclFactory will be desired.

A homomorphism between OCL types, the type Boolean and the relation oclConformsTo:OCL-Type, OCL-Type -> Boolean on the one hand and Java types, the type Boolean and javaConformsTo:Java-Type, Java-Type -> Boolean on the other hand is necessary for ReflectionFacade to work properly; it may be broken only for the Java type Integer is mapped to which does not need to conform to the Java type Real is mapped to.

See Also:
OclFactory, ReflectionFacade

Method Summary
 Type getTypeForClass(Class c)
           
 boolean isMap(Class c)
          Determines, whether the given class is a map.
 

Method Detail

getTypeForClass

public Type getTypeForClass(Class c)

isMap

public boolean isMap(Class c)
Determines, whether the given class is a map. Maps may have a @key-type tag.


Dresden OCL Toolkit

Submit a bug
Developed at the Dresden University of Technology.
This software is published under the GNU Lesser General Public License.