ODL-Sprachkonstrukte und interaktive Benutzerschnittstelle - TUM

26 KAPITEL 4: ERWEITERUNG VON ODLcontext [ hint = ”A hint message” ] var:type (4.8)Eine solche Abfrage ist semantisch äquivalent zu der Abfrage context var:type. Der einzigeUnterschied besteht darin, dass im Eingabedialog für die Variable var der Text ”A hintmessage” angezeigt wird.Soll ein mehrzeiliger Text angezeigt werden, müssen die Zeilen durch Kommata getrennt werden:context [ hint = ”First line”, ”Second line” ] var:typeSowohl die Verwendung eines optionales Parameters, als auch der Parameter selbst sind optional– alle folgenden ODL-Abfragen sind damit gültig und semantisch äquivalent:context var:Int. truecontext [] var:Int. truecontext [ hint = ”A message” ] var:Int. truecontext [ hint = ”Line 1”, ”Line 2” ] var:Int. trueZusammenfassend führen wir noch einmal alle Erweiterungen des Sprachumfangs von ODL inder Tabelle 4.1 auf. Im Anhang B wird eine aktualisierte ODL-Grammatik angegeben, die durch dieErweiterung der Grammatik aus [Sch01] um die neuen Sprachkonstrukte entstand.ProdukttypenSelektorenBezeichnungEingeschränkte TypenMengenBenamte PrädikateVergleicheArithmetische OperationenMengenoperationenErweiterte Syntax des context-QuantorsErläuterungTypen bestehend aus mehreren Elementen anderer Typen.Zugriff auf Elemente von Produkttypen sowie auf Attributeund Assoziationen von Modellelementen.Restriktion eines Basistyps: enthält nur diejenigen Wertedes Basistyps, die eine Restriktionsbedingung erfüllten.Mengenvariablen, die Kollektionen von Werten des Basistypsder Menge darstellen; Möglichkeit der Iteration überdie Elemente einer Menge.Deklaration von CCL-Propositionen, die später aus anderenODL-Abfragen aufgerufen werden können.Vergleichsoperatoren für Zahlen und Strings.Addition, Subtraktion und Multiplikation von Zahlen.Operationen isEmpty und size auf Mengen.Für einen context-Quantor kann optional ein Hinweistextfür den Eingabedialog spezifiziert werden.Tabelle 4.1: Erweiterung des Sprachumfangs von ODL4.2 Interaktive BenutzerschnittstelleEine allgemeine Beschreibung des ODL-Editors ist in [Pasch] (S. 41-46) gegeben. Deshalb werdenwir den Schwerpunkt dieses Abschnitt auf die die Neuerungen legen, die sich im Wesentlichen auf dieimplementierte Benutzerschnittstelle zu Eingabe von Variablenwerten während einer ODL-Abfragebeziehen.Eine ODL-Abfrage bedarf während der Auswertung keiner Benutzerinteraktion, solange sie keinecontext-Quantoren enthält. Ein context-Quantor startet eine Benutzereeingabe für die vom