Package de.tuberlin.cs.cis.ocl.eval.report

Provides classes summarising the interpretation results of OCL constraints.

See:
Description

Class Summary

ConstraintParameter	Represents the self and result parameter a constraint can be parameterized with.
ConstraintSummary	Summarises the results obtained from evaluating a constraint.
ContextSummary	Summarises the evaluation of constraints contained in a context.
Report	Describes the results of the evaluation of an OCL file.

Package de.tuberlin.cs.cis.ocl.eval.report Description

Provides classes summarising the interpretation results of OCL constraints.

Related Documentation

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

• Naomi Project at Sourceforge
• Fadi Chabarek's diploma thesis, especially chapter 6