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

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

public class ConstraintParameter

extends java.lang.Object

Represents the self and result parameter a constraint can be parameterized with.

Author:

fchabar

Constructor Summary

ConstraintParameter(Instance self)
Constructs a parameter invariants and preconditions are parameterized with.

ConstraintParameter(Instance self, Instance result)
Constructs a parameter for postconditions.

Method Summary

boolean	equals(java.lang.Object o)
java.lang.String	getResult() Returns the result value of this parameter.
java.lang.String	getSelf() Returns the self value of this parameter
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Constructor Detail

ConstraintParameter

public ConstraintParameter(Instance self,
                           Instance result)

Constructs a parameter for postconditions. The parameters are self and result.

Parameters:

self - the value of self

result - the value of result

ConstraintParameter

public ConstraintParameter(Instance self)

Constructs a parameter invariants and preconditions are parameterized with.

Parameters:

self - the value of self

Method Detail

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

getResult

public java.lang.String getResult()

Returns the result value of this parameter.

Returns:

the result value of this parameter

getSelf

public java.lang.String getSelf()

Returns the self value of this parameter

Returns:

the self value of this parameter

equals

public boolean equals(java.lang.Object o)

Overrides:

equals in class java.lang.Object