ODL-Sprachkonstrukte und interaktive Benutzerschnittstelle - TUM

5.1 ERWEITERUNG DES SPRACHUMFANGS 61wertung der Operatoren größer-gleich und kleiner-gleich eingesetzt werden können.Im SableCCGenerator sind folgende Methoden für die Verarbeitung von Gleichheits- undVergleichstermen zuständig:MethodeoutAEqualExpressionoutABiggerSmallerExpressionoutABiggerComparisonOperatoroutABiggerOrEqualComparison-OperatoroutASmallerComparisonOperatoroutASmallerOrEqualComparison-OperatorAufgabeErstellung eines Gleichheitsterms.Erstellung eines Vergleichsterms.Erkennung eines Größer-Operators.Erkennung eines Größer-Gleich-Operators.Erkennung eines Kleiner-Operators.Erkennung eines Kleiner-Gleich-Operators.• Erweiterte Syntax des context-QuantorsFür die optionalen Parameter eines context-Quantors – zurzeit ist es nur der Hinweistext,der im Eingabedialog angezeigt wird – musste die ODL-Auswertungsklasse ContextQuantifier,der SableCCGenerator und das Interface MetaType mit allen es implementierendenKlassen angepasst werden. Damit zusammenhängende Änderungen an Query- undGUI-Klassen werden im Abschnitt 5.2 besprochen.Wir beginnen mit den Änderungen am SableCCGenerator: hier musste die Methode out-AHintExtension eingeführt werden, die den Hinweistext verarbeitet. Außerdem muss nunin der Methode caseAQuantifierUnaryProposition, die für die Verarbeitung vonQuantoren zuständig sind, im Codeabschnitt für den context-Quantor die Anwesenheit desoptionalen Parameters überprüft werden – ist dieser vorhanden, so wird er an die generierteContextQuantifier-Instanz weitergegeben.Die Klasse ContextQuantifier wurde um die Möglichkeit erweitert, einen Hinweistextoptional zu spezifizieren – ist dieser vorhanden, so wird er bei der Auswertung des context-Quantors stets an die query-Methode des Metatyps der einzugebenden Variable weitergegeben,damit er im Eingabedialog dem Benutzer angezeigt werden kann.Im Interface MetaType und seinen sämtlichen Unterklassen wurde die Methode query umden Parameter hintText erweitert, über den der Hinweistext spezifiziert wird, der in einemEingabedialog dem Benutzer angezeigt werden muss.5.1.3 Weitere ImplementierungsaspekteWir wollen nun einige weitere implementierungstechnischen Aspekte vorstellen, die sich nicht eindeutigin einem der vorherigen Abschnitte unterbringen ließen und deshalb einen eigenen Abschnittbeanspruchen.• Term-HierarchieZunächst wollen wir noch einmal auf den Aufbau der Term-Hierarchie im Package quest.odl.evaluation.model eingehen. Es wurden zwar nicht viele neue Klassen in diese Hierarchieeingefügt, sie erfuhr jedoch einige Umbaumaßnahmen, die vor Allem darauf abzielten,gemeinsame Codeabschnitte aus verwandten Klassen in gemeinsame Oberklassen auszulagern.Folgende Klassengruppen wurden einbezogen:– JunktionenDie Klassen Conjunction, Disjunction, Equivalence und Implication, dielogische Verknüpfungen zwischen zwei Termen implementieren, erhielten eine gemeinsame