ODL-Sprachkonstrukte und interaktive Benutzerschnittstelle - TUM

56 KAPITEL 5: IMPLEMENTIERUNG– PowersetIteratorIteriert über die Potenzmenge einer spezifizierten Kollektion. Für die Kollektion(A,B,C)würde ein PowersetIterator beispielsweise folgende Mengen in Form von java.util.LinkedList-Instanzen liefern:({}, {A}, {B}, {A,B}, {C}, {A,C}, {B,C}, {A,B,C}).Die Parameterkollektion wird, wie auch bei anderen Iteratoren aus diesem Package, überihren Iterator spezifiziert.Ein ausführlicher Kommentar zu den Klassen im Package quest.util.collections befindetsich im Quellcode und in [ODLAPI]. Ein Klassendiagramm des Packages wird im AnhangA auf der Abbildung A.7 gezeigt.Da die oben beschriebenen Klassen im Zuge der Implementierung von MetaType-Unterklassenfür die neuen ODL-Datentypen erstellt wurden, wollen wir angeben, welche Datentypenvon welchen Iteratoren Gebrauch machen, um in ihrer instances-Methode einen Iteratorüber die Werte des jeweiligen Typs zu konstruieren:ODL-Datentyp Klasse Benutzte Klassen ausquest.util.collectionsProdukttyp MetaProductType CompositeIterator,ResettableIteratorEingeschränkter Typ MetaRestrictedType ConditionedIteratorConditionedIterator.ConditionResettableIteratorMengentyp MetaSetType PowersetIteratorResettableIteratorAn dieser Stelle ist ein Hinweis zur Gestaltung effizienter ODL-Abfragen notwendig: die (indirekte)Benutzung der Klasse CachedIterator bei der Iteration durch Tupel eines Produkttyps(indem MetaProductType auf die Klasse CompositeIterator zurückgreift, dieihrerseits CachedIterator benutzt) hat den Vorteil zur Folge, dass eine Abfrage der Formexists var:( p1:Port, p2:Port, c:Component ).(var.p1.Component = var.c and var.p2.Component = var.c )durch das Caching zum Teil erheblich schneller ausgewertet wird, als die Abfrageexists p1:Port. exists p2:Port. exists c:Component.(p1.Component = c and p2.Component = c ).Dies sollte beim Entwurf und Optimierung von ODL-Abfragen berücksichtigt werden. MehrInformationen zum Entwurf effizienter Abfragen gibt es im Abschnitt 5.4.• Benamte PrädikateFür die benamten Prädikate waren zwei Anwendungsfälle zu implementieren:1) Deklaration eines benamten Prädikats. Beispiel:compHasSubComps( comp:Component ) :=size( comp.SubComponents ) > 02) Aufruf eines zuvor deklarierten benamten Prädikats. Beispiel:exists c:Component. call compHasSubComps( c )Wir beschreiben nun die Implementierung beider Anwendungsfälle.