|
Dresden OCL Toolkit | |||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |
See:
Description
Interface Summary | |
NameBoundQueryable | A interface defining operations necessary for simple normalization steps. |
QueryableFactory | an object of this type is used to tell an OclTree object
which implementation of NameBoundQueryable or
TypeQuerable it should use |
TypeQueryable | This interface is used by code generator and normalization modules to query type information as it is supplied for example by the class TypeChecker. |
Class Summary | |
NameBinder | This class supplies name binding information as defined by the interface NameBoundQueryable. |
NameSpaceEntry | |
NodeEnvironmentMap | |
NodeTypeMap | |
TypeChecker | |
TypeCheckerFactory | |
TypeEnvironment |
Exception Summary | |
OclTypeException |
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
.
|
Dresden OCL Toolkit | |||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |