This package contains classes for checking the semantical correctness of OCL expressions. Classes for the representation of types and the access to model information can be found in the subpackage
types
.