ODL-Sprachkonstrukte und interaktive Benutzerschnittstelle - TUM

4.1 ERWEITERUNG DES SPRACHUMFANGS 25denen eine totale Ordnung existiert (in ODL sind es String und Int), wurden nun die Vergleichsoperatoren’’, ’≤’ sowie ’≥’ eingeführt. Für den Typ String wird hierbei dielexikographische Ordnung herangezogen.Beispiele:AusdruckErgebnis10 > 5 true4 >= 10 false”stringA” 45 false2 - 1 * 3 < 0 true(-1)*5 + 3*(7-2) = 10 trueDamit ODL-Abfragen immer erfolgreich ausgewertet werden können, wurde die Division nichteingeführt, weil hierbei eine Division durch Null und damit ein undefiniertes Ergebnis im Laufeder Auswertung eintreten kann. Auf die Möglichkeiten zur Einführung der Division in ODLwird noch einmal im Abschnitt 6.1.4 eingegangen.• MengenoperationenZurzeit sind zwei Operationen auf Mengen verfügbar:- Leerheitstest: isEmpty(setVar)Für eine Mengenvariable setVar wird mit dem Ausdruck isEmpty(setVar) getestet,ob die von der Variablen repräsentierte Menge leer ist. Falls ja, evaluiert der Ausdruck zutrue, sonst zu false.Beispiel:exists c:Component. neg isEmpty( c.Ports )liefert alle Komponenten, die mindestens einen Port haben.- Mengengröße: size(setVar)Für eine Mengenvariable setVar gibt Ausdruck size(setVar) die Anzahl der Elementein der Menge zurück.Beispiel:exists c:Component. size( c.SubComponents ) >= 3liefert alle Komponenten, die mindestens drei Unterkomponenten haben.Vorschläge für weitere Mengenoperationen finden sich im Abschnitt 6.1.2.• Erweiterte Syntax des context-QuantorsDie Syntax des context-Quantors wurde so erweitert, dass der Benutzer über einen optionalenParameter einen Texthinweis spezifizieren kann, der im Eingabedialog für die vomcontext-Quantor gebundene Variable angezeigt werden kann.