Dresden OCL Toolkit

Package tudresden.ocl.check

This package contains classes for checking the semantical correctness of OCL expressions.

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  
 

Package tudresden.ocl.check Description

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

Submit a bug
Developed at the Dresden University of Technology.
This software is published under the GNU Lesser General Public License.