Validation und Quick Fixing mit Xtend. 3. Dezember 2014

Transkript

1 Validation und Quick Fixing mit Xtend 3. Dezember

2 Überblick Tuning der Xtext-generierten Editoren Validierung mit OCL auf der abstrakten Syntax mit Xtend auf der konkreten Syntax Quick Fixes mit Xtend realisiert Xtend zur Modellanfrage zur Modelltransformation als Alternative zu Java mit kompakter Syntax und neuen Features Taentzer Modellgetriebene Entwicklung von mobilen Anwendungen 176

3 Xtend Xtend ist Java-ähnlich, mit teilweise neuer Syntax Xtend interagiert nahtlos mit Java Anfragen an das Modell Eine OCL-ähnliche Syntax und Semantik zur Formulierung von komplexeren Anfragen an das Modell Spezielle Ausdrücke und Operatoren Lambda-Ausdrücke Map und Reduce-Operatoren Xtend enthält einen Template-basierten Ansatz zur Modell-zu-Code-Transformation Open Source-Projekt im Eclipse Modeling Projekt: Taentzer Modellgetriebene Softwareentwicklung 177

4 Beispiele für Validierungen und Quickfixes Typen haben Namen, die mit Großbuchstaben anfangen. Quickfix: Ändere den Namen entsprechend ab. Properties haben Namen, die mit Kleinbuchstaben anfangen. Quickfix: Ändere den Namen entsprechend ab. Modelle haben Typen mit eindeutigen Namen. Quickfix: Ändere einen der gleichen Typnamen ab. Taentzer Modellgetriebene Entwicklung von mobilen Anwendungen 178

5 Anfragen an das Modell OCL-ähnliche Konzepte Navigationsausdrücke Beispiel: model.elements Collection-Operationen durch Lambda-Ausdrücke Beispiel: model.elements.sortby[e e.name] Beispiel: entity.properties.filter[p p.name == "id"].isempty Weitere Operationen: z.b. contains, exists, forall, add, remove filter berechnet eine Sicht auf die Originalliste. Die Ergebnisliste unterstützt kein remove. Änderungen in der Originalliste werden durch filter reflektiert. Taentzer Modellgetriebene Softwareentwicklung 179

6 Weitere Collection-Operationen map führt eine Funktion auf allen Elementen der Collection aus und gibt eine Liste mit den Ergebnissen zurück. Beispiel: model.elements.map[name] Beispiel: m.elements.filter[eclass.name.equals("entity")]. map[e e as Entity] Der Rückgabetyp ist eine Liste vom Typ der berechneten Werte. Die zurückgegebene Liste ist eine transformierte Sicht auf die Originalliste. Taentzer Modellgetriebene Softwareentwicklung 180

7 Weitere Collection-Operationen reduce wendet eine kombinierende Funktion auf alle Elemente der Collection an. Beispiel: model.allentities.map[properties.size].reduce[a,b a+b] Ausführung: Das erste Collection-Element ist der Samen und das erste Ergebnis. Die Funktion wird iterativ auf den Ergebnis und dem nächsten Element ausgeführt. Wenn die Collection leer ist, wird null zurückgegeben. Beispiel: Collection: [a b c d] Anwendung der Funktion f: f(f(f(a,b),c),d) Taentzer Modellgetriebene Softwareentwicklung 181

8 Lambda-Ausdrücke Ein Code-Fragment, das in einem Objekt verpackt ist. Ähnlich den anonymen Klassen in Java Lambda-Ausdrücke erzeugen Funktionsobjekte Bei Rückgabetyp void wird eine Prozedur erzeugt. Anonyme Klasse in Java: Lambda-Ausdruck in Xtend: eclipse.org/xtend Taentzer Modellgetriebene Softwareentwicklung 182

9 Felder und Variablen Felder: Deklaration eines finalen Felds mit val Deklaration anderer Felder mit var (optional) Implizite Variablen: this: Instanz der aktuellen Klasse it: eine aktuelle Variable oder ein aktueller Parameter it.myproperty hat höhere Bindung als this.myproperty Taentzer Modellgetriebene Softwareentwicklung 183

10 Methoden Extension-Methoden: Neue Methoden zu existierenden Typen, ohne diese zu modifizieren Override-Methoden Mit Schlüsselwort override Inferierter Rückgabetyp Nicht bei rekursiven Methoden Polymorphes Verhalten Mit Schlüsselwort dispatch Taentzer Modellgetriebene Softwareentwicklung 184

11 Neue Infix-Operatoren Bereich: <ausdruck1>.. <ausdruck2> Beispiele: , 0.. m.element.size Mathematische Operatoren: Exponent: Beispiel: n**i Key-Value-Paare: Mapped to-operator: <key> -> <value> Let-Ausdruck: => wird gelesen als mit Beispiel: new Person => [ firstname = 'Hans' lastname = 'Meier' ] Abfrage auf null: <first>?:<second>: Wenn <first>!= null dann <second> Beispiel: person.name?:'hans' Taentzer Modellgetriebene Softwareentwicklung 185

12 Switch-Ausdrücke Mehr als ein Fall sind möglich. Nicht nur Werte, sondern auch Ausdrücke, eventuell mit Objektreferenzen Auch mit Type-Guard: Wert und/oder Typ müssen stimmen. Taentzer Modellgetriebene Softwareentwicklung 186

13 Beispiel: Validierung Taentzer Modellgetriebene Entwicklung von mobilen Anwendungen 187

14 Beispiel: Quick Fix Taentzer Modellgetriebene Entwicklung von mobilen Anwendungen 188

15 2. Beispiel: Validierung Taentzer Modellgetriebene Entwicklung von mobilen Anwendungen 189

16 2. Beispiel: Quick Fix Taentzer Modellgetriebene Entwicklung von mobilen Anwendungen 190

17 Zusammenfassung OCL-Anfragen lassen sich recht direkt in Xtend programmieren. Neue Operatoren unterstützen einen funktionalen Programmierstil. Lambda-Ausdrücke Map und Reduce-Operatoren Weitere Sprach-Features haben eine kompaktere Syntax als in Java. Taentzer Modellgetriebene Softwareentwicklung 191