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