ODL-Sprachkonstrukte und interaktive Benutzerschnittstelle - TUM

5.1 ERWEITERUNG DES SPRACHUMFANGS 57– Deklaration eines benamten PrädikatsBetrachten wir zunächst die Deklaration eines benamten Prädikats. Die semantische Analyseund die Kompilation des ODL-Terms, der den Rumpf eines benamten Prädikats bildet,unterscheidet sich nicht von der Verarbeitung eines ODL-Terms in einer üblichen ODL-Abfrage. Der Unterschied tritt erst bei der Behandlung des kompilierten ODL-Terms zuTage – er wird vom SableCCGenerator nicht als Ergebnis der Kompilation an dasaufrufende Objekt (typischerweise eine Instanz von quest.odl.evaluation.EvaluationModelGenerator)zurückgegeben, sondern in einer Instanz der neuen KlasseNamedPredicate gekapselt und in einer internen Hashtabelle unter dem in der Prädikatsdeklarationangegebenen Namen für spätere Aufrufe gespeichert. Für diese Sonderbehandlungsind im SableCCGenerator die Methoden outANamedPredicateOdl-Start, outANamedPredicateDeclaration und caseANamedPredicateDeclarationzuständig. Eine NamedPredicate-Instanz enthält alle für den Aufruf einesbenamten Prädikats notwendigen Angaben – die Parameterliste des benamten Prädikats undseinen Rumpf, der durch einen ODL-Term repräsentiert wird.Diese Verarbeitungsweise hat den positiven Nebeneffekt, dass benamte Prädikate, die imODL-Editor während einer QUEST-Sitzung deklariert wurden, bis zum Ende dieser Sitzungverfügbar bleiben, ohne erneut eingegeben werden zu müssen.– Aufruf eines benamten PrädikatsWir beschreiben nun die Implementierung des Aufrufs eines benamten Prädikats. Dafürwird die Klasse NamedPredicateTerm eingesetzt: sie erfüllt die Rolle eines Adapters(s. auch [GammaEtAl], S.171-185), der einer NamedPredicate-Instanz die Schnittstelleeines Terms gibt. Diese Trennung zwischen NamedPredicate und NamedPredicateTermwird gemacht, um die Auswertung eines benamten Prädikats von der Berechnungseiner Parameter abzukoppeln, die ja beliebige ODL-Ausdrücke sein dürfen. Die Auswertungder Parameter wird von NamedPredicateTerm vorgenommen und die Ergebnissewerden als Parameterwerte an den NamedPredicate weitergegeben.Im SableCCGenerator sind die Methoden outANamedPredicateUnaryProposition,outANamedPredicateCclUnaryProposition und outANamedPredicateCallfür die Erstellung des Aufrufs eines benamten Prädikats zuständig. Die erstenbeiden dienen lediglich dazu, einen bereits erstellten NamedPredicateTerm weiterzugeben.Die Erstellung und Überprüfung eines NamedPredicateTerm findet in derMethode outANamedPredicateCall statt. Hier wird zunächst überprüft, ob das aufgerufenePrädikat bereits deklariert wurde, dann wird überprüft, ob die Anzahl und dieTypen der Parameter mit der deklarierten Signatur des benamten Prädikats übereinstimmen.Schließlich wird ein NamedPredicateTerm erstellt, der das aufzurufende NamedPredicatekapselt.• CCL-PropositionenFür die CCL-Propositionen existiert in der ODL-Grammatik ein eigener Ableitungszweig, dermit einigen Ausnahmen mit dem für ODL-Propositionen übereinstimmt (s. Abschnitt 5.1). Dadie Verarbeitung von Syntaxbaum-Knoten für eine CCL-Proposition und eine ODL-Propositiongleich ist, wurden im SableCCGenerator die Methoden für CCL-Propositionen erstellt,indem entsprechende Methoden für ODL-Propositionen kopiert und die Namen der Methodenund der in Methodenrümpfen aufgerufenen Methoden angepasst wurden. Beispielsweise wurdeaus der Methode für die AND-Verknüpfung von zwei ODL-Propositionen:public void outAAndProposition(AAndProposition node) {Term leftTerm = (Term)getOut( node.getProposition() );Term rightTerm = (Term)getOut( node.getUnaryProposition() );setOut( node, new Conjunction(leftTerm, rightTerm) );}