The classes and interfaces in this package are used to access model information and represent OCL types. ModelFacade is the interface used by the type checker to access model information. ReflectionFacade is an implementation of this interface that queries compiled Java classes via reflection to get model information. TestModelFacade in the subpackage testfacade is a dummy implementation that is used for testing and demonstration purposes.