tudresden.ocl.check.types
Interfaces 
Any
ModelFacade
ReflectionAdapter
ReflectionExtender
Type
Type2
TypeFactory
Classes 
Any.VoidAny
Basic
ClassAny
Collection
DefaultReflectionAdapter
DefaultTypeFactory
Multiplicity
OclState
OclType
ReflectionFacade