ODL-Sprachkonstrukte und interaktive Benutzerschnittstelle - TUM

5.1 ERWEITERUNG DES SPRACHUMFANGS 53non_constant_expression =functional_expression |selector_expression |defined_variable;constant_expression =bool_constant_expr |string_constant_expr;Es wurde also eine Unterscheidung zwischen konstanten Ausdrücken, nicht-konstanten Ausdrückenund arithmetischen Ausdrücken gemacht, wobei ganzzahlige Konstanten zu den arithmetischenAusdrücken und nicht zu den konstanten Ausdrücken gehören (andernfalls ließ sichkeine Grammatik erstellen, die von SableCC verarbeitet werden kann). Zu den konstantenAusdrücken gehören boolesche Konstanten und Zeichenketten, zu den nicht-konstanten Ausdrückenzählen Selektorausdrücke, deklarierte Variablen und funktionelle Ausdrücke. Letzteredürfen zurzeit noch nicht eingesetzt werden – bei ihrer Verwendung wird vom SableCCGeneratoreine UnsupportedConstructException erzeugt.• Erweiterte Syntax des context-QuantorsFür den context-Quantor wurde eine Erweiterung eingeführt, über die optionale Parameterspezifiziert werden können, die das Aussehen des Eingabedialogs für die vom context-Quantor gebundene Variable beeinflussen. Zurzeit ist nur die Angabe eines Hinweistextes fürden Eingabedialog möglich.quantifier =ccl_quantifier |context context_extension?;context_extension =[ hint_extension? ];hint_extension =hint = string_constant_expr_list;Hierbei ist string_constant_expr_list eine durch Kommata getrennte Liste aus eineroder mehreren Zeichenketten. Sie wird wie folgt definiert:string_constant_expr_list =string_constant_expr string_constant_expr_list_tail*;string_constant_expr_list_tail =, string_constant_expr;5.1.2 Implementierung erweiterter und neuer SprachkonstrukteDieser Abschnitt stellt die Implementierung der Erweiterung des ODL-Sprachumfangs im ODL-Auswertungssystem dar. Wir werden die Änderungen an vorhandenen ODL-Auswertungsklassensowie neue ODL-Auswertungsklassen beschreiben. Des Weiteren zeigen wir die Änderungen amSableCCGenerator, die notwendig waren, um die neuen ODL-Auswertungsklassen einsetzen zukönnen.• TypsystemDas ODL-Typsystem ist vom Java-Typsystem soweit wie möglich abgekoppelt und hat eigeneTyp-Klassen, die den Typ eines Werts beschreiben. Ein Typklassen-Name wird nach