tudresden.ocl.check
Interfaces 
NameBoundQueryable
QueryableFactory
TypeQueryable
Classes 
NameBinder
NameSpaceEntry
NodeEnvironmentMap
NodeTypeMap
TypeChecker
TypeCheckerFactory
TypeEnvironment
Exceptions 
OclTypeException