de.tuberlin.cs.cis.ocl.eval.report
Class ContextSummary

java.lang.Object
  |
  +--de.tuberlin.cs.cis.ocl.eval.report.ContextSummary

public class ContextSummary

extends java.lang.Object

Summarises the evaluation of constraints contained in a context.

Author:

fchabar

Constructor Summary

ContextSummary(de.tuberlin.cs.cis.ocl.parser.node.PContextDeclaration declaration)
Constructs a summary of a context by its context declaration.

Method Summary

void	addResult(ConstraintSummary newResult) Adds a result to the list of evaluated constraints.
java.util.Collection	getConstraintResults() Returns the results of all included constraints.
java.lang.String	getContextDeclaration() Returns the context declaration of the summarized context.
java.lang.String	toString()

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

ContextSummary

public ContextSummary(de.tuberlin.cs.cis.ocl.parser.node.PContextDeclaration declaration)

Constructs a summary of a context by its context declaration.

Parameters:

declaration - the context declaration

Method Detail

addResult

public void addResult(ConstraintSummary newResult)

Adds a result to the list of evaluated constraints.

Parameters:

newResult - the evaluation results of a constraint

getConstraintResults

public java.util.Collection getConstraintResults()

Returns the results of all included constraints.

Returns:

the results of all included constraints.

getContextDeclaration

public java.lang.String getContextDeclaration()

Returns the context declaration of the summarized context.

Returns:

the context declaration of the summarized context.

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object