ODL-Sprachkonstrukte und interaktive Benutzerschnittstelle - TUM

88 KAPITEL 5: IMPLEMENTIERUNGWeitere Visitor-Klassen für ODL-Auswertungsbäume, beispielsweise TermToString-Converter, sollten ebenfalls um Methoden für die neue Auswertungsklasse ergänztwerden.Der letzte Schritt ist die Erstellung von Methoden im SableCCGenerator, die für die Kompilationdes neuen Sprachkonstrukts zuständig sind. Diese Methoden müssen, wenn sie in einemvom SableCC-Parser erstellten ODL-Syntaxbaum einer ODL-Abfrage auf das neue Sprachkonstrukttreffen, eine Instanz der entsprechenden ODl-Auswertungsklasse in den ODL-Auswertungsbaumeinfügen:public void outASetSizeArithmeticTerm(ASetSizeArithmeticTerm node) {TypedExpression typedExpression =(TypedExpression)getOut( node.getExpression() );/* Überprüfen, ob der Typ des Ausdrucks, auf den SetSizeExpressionangewandt wird, ein Mengentyp ist. */if ( !( typedExpression.getType().getInstanceMetaType()instanceof MetaSetType ) ) {throw new InvalidArgumentsException("Argument must be a set",typedExpression.getToken().getLine(),typedExpression.getToken().getPos() );}/* Interne Repräsentation für die AuswertungsklasseSetSizeExpression erstellen. */TypedExpression sizeExpression = new TypedSetSizeExpression(node.getSize(), typedExpression );setOut( node, sizeExpression );}Bei TypedSetSizeExpression handelt es sich um eine interne Klasse von SableCCGenerator,die zusätzlich zu den Informationen für den Aufbau einer SetSizeExpressionweitere Information enthält, die vom SableCCGenerator zur Kompilation einer ODL-Abfragebenötigt werden: ihre Instanz wird im späteren Verlauf der Kompilation der ODL-Abfragedurch eine Instanz von SetSizeExpression ersetzt.Nach der Durchführung aller oben beschriebenen Schritte ist die Einführung des neuen ODL-Ausdrucks abgeschlossen: er kann nun in ODL-Abfragen verwendet werden.• Einführung eines neuen ODL-Datentyps am Beispiel von MetaProductType:Die ersten drei Schritte für die Einführung eines neuen ODL-Datentyps sind dieselben wiefür einen neuen ODL-Ausdruck: Einfügen der Produktionsregeln in die ODL-Grammatik, Erstellungeiner entsprechenden ODL-Auswertungsklasse, die diesmal das Interface MetaTypeimplementiert, Anpassung von EvalTreeVisitor und seiner Unterklassen, Ergänzung vonSableCCGenerator um Methoden für die Verarbeitung des neuen Typs.Der nächste Schritt, der bei einem neuen Datentyp hinzukommt, ist die Implementierung derBenutzereingabe für diesen Datentyp. Ein Datentyp wendet sich an das ODL-Query-Subsystem,indem aus seiner query-Methode heraus die dem Datentyp entsprechende Methode derQueryManager-Klasse aufgerufen wird – für den Produkttyp heißt sie queryProduct-Type und liefert als Rückgabewert eine ProductValue-Instanz, die den vom Benutzer eingegebenenWert enthält. Nachdem das ODL-Query-Subsystem ausführlich im Abschnitt 5.2 beschriebenwurde, verzichten wir hier auf eine ausführliche Beschreibung der Implementierungvon Benutzereingaben und geben nur die Klassen an, die bei der Einführung von Produkttypenim ODL-Query-Subsystem erstellt werden mussten: