|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||
public interface IMenge<E>
| Method Summary | |
|---|---|
void |
eintragen(E element)
trägt Objekt in die Menge ein; wenn es enthalten ist, keine Veränderung |
void |
entfernen(E element)
entfernt gegebenes Objekt aus der Menge; wenn es nicht enthalten ist, keine Veränderung |
void |
entleeren()
löscht alle Objekte aus der Menge |
boolean |
istLeer()
überprüft, ob die Menge Elemente enthält oder nicht |
boolean |
vorhanden(E element)
überprüft ob das gegebene Objekt in der Menge vorhanden ist |
| Method Detail |
|---|
void entleeren()
boolean istLeer()
void eintragen(E element)
element - das einzutragende Objekt
ensures vorhanden(element) && !istLeer();void entfernen(E element)
element - das zu entfernende Objekt
ensures !vorhanden(element);boolean vorhanden(E element)
element - das zu überprüfende Objekt
|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||