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.