|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||
public interface IFarbsack
| Method Summary | |
|---|---|
void |
eintragen(Farbe farbe)
trägt gegebene Farbe in den Sack ein |
void |
entfernen(Farbe farbe)
entfernt die gegebene Farbe aus dem Sack |
void |
entleeren()
löscht alle Farben aus dem Farbsack |
boolean |
istLeer()
überprüft, ob der Sack Elemente enthält oder nicht |
boolean |
vorhanden(Farbe farbe)
überprüft, ob der Sack Farben enthält oder nicht |
| Method Detail |
|---|
void entleeren()
void eintragen(Farbe farbe)
farbe - die einzutragende Farbe
ensures vorhanden(element) &&!istLeer();
void entfernen(Farbe farbe)
throws NichtEnthaltenException
farbe - die zu überprüfende Farbe
requires vorhanden(element);
NichtEnthaltenExceptionboolean vorhanden(Farbe farbe)
boolean istLeer()
|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||