Keller

Def.:

Ein Keller ist eine (ggf. leere) Folge von Elementen zusammen mit einem so genannten (ggf. undefinierten) Top-Element.

Schnittstelle des ADT Keller:

empty	:	Keller	$\rightarrow$	boolean	liefert true, falls Keller leer ist, false sonst
push	:	Keller $\times$ Objekt	$\rightarrow$	Keller	legt Element auf Keller
top	:	Keller	$\rightarrow$	Objekt	liefert oberstes Element
pop	:	Keller	$\rightarrow$	Keller	entfernt oberstes Element

Semantik der Kelleroperationen (LIFO: Last in, first out):

A1)

Ein neu konstruierter Keller ist leer.

A2)

Nach einer Push-Operation ist ein Keller nicht leer.

A3)

Nach einer Push-Pop-Operation ist der Keller unverändert.

A4)

Nach der Push-Operation mit dem Element $x$ liefert die Top-Operation das Element $x$.

Source: Keller.java     JavaDoc: Keller.html    

Implementation eines Kellers mit Verweisen

Implementation eines Kellers mit einem Array (LIFO: Last in, first out)

Source: VerweisKeller.java     JavaDoc: VerweisKeller.html     Die folgenden beiden Beispiele zeigen, dass zum Speichern von Werten aus primitiven Datentypen zunächst das Verpacken der Werte mithilfe der bereits erwähnten Wrapperklassen erforderlich ist. So wird durch den Konstruktor new Integer(i) ein Integer-Objekt erzeugt mit dem (nicht mehr veränderbaren) Wert i. Der Wert dieses Objekts kann über die Methode intValue() ermittelt werden.

Source: Reverse.java     JavaDoc: Reverse.html     Applet: Source: Klammer.java     JavaDoc: Klammer.html     Applet: Um die Lesbarkeit der Programme zu erhöhen, soll nun das Einpacken und Auspacken der Wrapper-Klassen-Objekte gekapselt werden. Hierzu leiten wir vom VerweisKeller eine Klasse CharKeller ab, die über spezielle Methoden zum Ablegen und Holen von Zeichen verfügt.

Source: CharKeller.java     JavaDoc: CharKeller.html    

Source: Postfix.java     JavaDoc: Postfix.html     Applet: