11.07.2015 Aufrufe

ODL-Sprachkonstrukte und interaktive Benutzerschnittstelle - TUM

ODL-Sprachkonstrukte und interaktive Benutzerschnittstelle - TUM

ODL-Sprachkonstrukte und interaktive Benutzerschnittstelle - TUM

MEHR ANZEIGEN
WENIGER ANZEIGEN

Sie wollen auch ein ePaper? Erhöhen Sie die Reichweite Ihrer Titel.

YUMPU macht aus Druck-PDFs automatisch weboptimierte ePaper, die Google liebt.

4.2 INTERAKTIVE BENUTZERSCHNITTSTELLE 31Abbildung 4.6: Auswahl einer KomponenteDie Eingabe eines Produktwerts kann abgeschlossen werden, wenn für alle Produkttyp-Elementeein zulässiger Wert eingegeben wurde.4.2.4 Eingabe von eingeschränkten TypenEin eingeschränkter Typ unterscheidet sich von seinem Basistyp nur durch die angewendete Restriktionsbedingung.Deshalb gleicht der Eingabedialog für einen eingeschränkten Typ dem Eingabedialogfür seinen Basistyp. So würde der Eingabedialog für die Abfragecontext var:{ v:(c1:Component,c2:Component,b:Boolean) |is SubComponents( v.c1, v.c2 ) } .true(4.10)genauso aussehen, wie der Eingabedialog für die Abfrage 4.9 auf der Abbildung 4.7 – nur die Überschriftim Eingabebereich würde ”Restricted type variable ’var’” anstatt ”Producttype variable ’var’” lauten. Der wichtige Unterschied in der Funktionsweise ist, dass dieEingabe nur dann abgeschlossen werden kann, wenn der eingegebene Wert des Basistyps die Restriktionsbedingungerfüllt. Bei der Abfrage 4.10 würde der Next-Button des Eingabedialog nur dannaktiviert, wenn c2 eine Unterkomponente von c1 ist.4.2.5 Eingabe von MengenDer Eingabebereich des Eingabedialogs für Mengen ist komplexer als alle anderen Eingabebereiche<strong>und</strong> besteht aus zwei Teilen. Betrachten wir den Eingabedialog für die <strong>ODL</strong>-Abfragecontext stringSet:set String.trueauf der Abbildung 4.9:• Basistyp-Eingabebereich:im unteren Teil des Mengen-Eingabepanels befindet sich ein Eingabepanel für die Werte desBasistyps der Menge (in unserem Beispiel ist es String) sowie die Buttons Add <strong>und</strong> Clear.Der Add-Button fügt einen eingegebenen Basistyp-Wert zur Menge hinzu, falls er zulässig ist<strong>und</strong> nicht bereits in der Menge enthalten ist. Die Bestätigung des Basistyp-Werts durch dasDrücken der Eingabe-Taste has dieselbe Funktion. Der Clear-Button löscht den aktuellen Wertim Basistyp-Eingabepanel.

Hurra! Ihre Datei wurde hochgeladen und ist bereit für die Veröffentlichung.

Erfolgreich gespeichert!

Leider ist etwas schief gelaufen!