|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||
java.lang.Objectlehrbuch.multi.IntMenge
public class IntMenge
| Field Summary | |
|---|---|
protected IMenge<java.lang.Integer> |
menge
|
| Constructor Summary | |
|---|---|
IntMenge()
|
|
| 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 |
| Methods inherited from class java.lang.Object |
|---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
| Field Detail |
|---|
protected IMenge<java.lang.Integer> menge
| Constructor Detail |
|---|
public IntMenge()
| Method Detail |
|---|
public void entleeren()
entleeren in interface IIntMengepublic boolean istLeer()
istLeer in interface IIntMengepublic void eintragen(int element)
eintragen in interface IIntMengeelement - der einzutragende Wert
ensures vorhanden(element) && !istLeer();public void entfernen(int element)
entfernen in interface IIntMengeelement - der zu entfernende Wert
ensures !vorhanden(element);public boolean vorhanden(int element)
vorhanden in interface IIntMengeelement - der zu überprüfende Wert
|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||