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