Abstrakte Datentypen, Beispiel Abbildung

Schnittstelle (ohne Implementierung), beschreibt Operationen und zugesicherte Eigenschaften

interface Map<K,V>  {
    void put (K key, V value);
    V get (K key);
}
Eigenschaften: z. B.
nach m.put (k, v)  gilt  m.get(k) == v



Johannes Waldmann 2007-01-23