|
Dresden OCL Toolkit | |||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||
java.lang.Objecttudresden.ocl.test.royloy.RLObject
tudresden.ocl.test.royloy.Transaction
tudresden.ocl.test.royloy.Earning
| Field Summary |
| Fields inherited from class tudresden.ocl.test.royloy.Transaction |
card, date, loyaltyAccount, points, service |
| Fields inherited from class tudresden.ocl.test.royloy.RLObject |
allObjects, description, id, idCounter, popFile |
| Constructor Summary | |
Earning(String description)
|
|
| Method Summary | |
boolean |
assertTrue()
|
| Methods inherited from class tudresden.ocl.test.royloy.Transaction |
program |
| Methods inherited from class tudresden.ocl.test.royloy.RLObject |
assertAll, getID, getObjectWithID, loadPopFile, main, report, setIDCounter, storePopFile, toString, toXString |
| Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
| Constructor Detail |
public Earning(String description)
| Method Detail |
public boolean assertTrue()
assertTrue in class Transaction
|
Dresden OCL Toolkit | |||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||