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

Package de.tuberlin.cs.cis.ocl.check

Provides classes for OCL context and type checking.

See:
          Description

Class Summary
ContextChecker Controls the use of OCL constructs represented by an abstract syntax tree produced by the parser.
 

Exception Summary
OclContextException Thrown when OCL Constraints does not semantically conform to OCL 1.5.
TypeConformanceException Thrown when a type or a property of a type does not conform to the OCL 1.5 type system or is ambigious.
 

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

Provides classes for OCL context and type checking. These classes control the use of OCL constructs represented by an abstract syntax tree produced by the parser. In contrary to the parser, this examination is not solely based on the syntax, but also on semantics of OCL constraints.

Related Documentation

The package is heavily based on parser classes and the type implementation: 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