Overview   Package  Class  Use  Tree  Deprecated  Index  Help 
 PREV PACKAGE   NEXT PACKAGE FRAMES    NO FRAMES    

Package de.tuberlin.cs.cis.ocl.model

Provides classes to describe arbitrary models in terms of OCL.

See:
          Description

Interface Summary
ModelFacade Provides information about and access to a model in order to use it in the OCL-Context.
 

Package de.tuberlin.cs.cis.ocl.model Description

Provides classes to describe arbitrary models in terms of OCL. The description is seperated into type and instance related information. The context checker uses type information in the type checking process to determine the types of the model. Instance related information is used to evaluate the behavior of instances derived from model types.

Related Documentation

For overviews, tutorials, examples, guides, and tool documentation, please see:

Overview   Package  Class  Use  Tree  Deprecated  Index  Help 
 PREV PACKAGE   NEXT PACKAGE FRAMES    NO FRAMES