|
|||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object | +--de.tuberlin.cs.cis.ocl.eval.report.ConstraintParameter
Represents the self and result parameter a constraint can be parameterized with.
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 |
public ConstraintParameter(Instance self, Instance result)
self
- the value of selfresult
- the value of resultpublic ConstraintParameter(Instance self)
self
- the value of selfMethod Detail |
public java.lang.String toString()
toString
in class java.lang.Object
public java.lang.String getResult()
public java.lang.String getSelf()
public boolean equals(java.lang.Object o)
equals
in class java.lang.Object
|
|||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |