|
Dresden OCL Toolkit | |||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
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.
OclFactory
,
ReflectionFacade
Method Summary | |
Type |
getTypeForClass(Class c)
|
boolean |
isMap(Class c)
Determines, whether the given class is a map. |
Method Detail |
public Type getTypeForClass(Class c)
public boolean isMap(Class c)
|
Dresden OCL Toolkit | |||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |