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