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: