|
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.Burning
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 | |
Burning(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 Burning(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 |