Thema 2 Acceleo-MTL- Sprachmittel

Transkript

1 SE Vertiefung Beuth-Hochschule Berlin Thema 2 Acceleo-MTL- Sprachmittel

2 Sprachstruktur Template-Sprache implementiert MOFM2T Bausteine: Modul Template Query Block Protected Area (c) schmiedecke 13 Generator-Kapsel; ein "Main" pro Projekt Textschablone mit Literalen, Acceleo-Operationen, Kontrollstrukturen, OCL-Operationen, Queries Wertliefernde Acceleo-Funktion mit OCL-Operationen oder Java-Services Syntaktische Einheit, umfasst z.b. Iterationen, Abfragen, Definitionen Für manuelle Codeergänzungen, SE3-1-Einführung Wird beim Generieren nicht überschreiben 2

3 Acceleo-Sprachstruktur Module Quell-Metamodell festgelegt [module generateecoreanalysis(' Module enthalten Templates und Queries Pro Projekt ein Main-Modul mit einem Main-Template /] (c) schmiedecke 13 SE3-1-Einführung 3

4 Acceleo-Sprachstruktur Kontrollstrukturen Schleifen über Collections: [for (eattribute:eattribute eclass.eallattributes) ] [/for] Fallunterscheidungen [if (e.ocliskindof(ereference)] [else] [/else] [/if] OCL-Funktionen arithmetische und logische Operatoren +, *, >, <>, select, sortedby, oclisundefined, ocliskindof das EMF kennt sie alle! (c) schmiedecke 13 SE3-1-Einführung 4

5 Acceleo-Templates Templates benannt und paramterisiert: [template public generateecoreanalysis(epackage : EPackage)] Bestehen aus Tags und Ausgabetext Tags in [ ], Abschluss durch [/ ]: Navigation/Selektion, Kontrollstrukturen, Template- und Query- Aufrufe in Tags Navigation über das Metamodel [class.etype.name/] in Tags direkter Aufruf von Templates und Queries [generategettersetter(eattr)/] Ausgabetext außerhalb Tags ohne Quotes, innerhalb von Tags als Parameter in 'Quotes' (c) schmiedecke 13 SE3-1-Einführung 5

6 MTL-HelloWorld für Ecore-Modelle [module generate(' [template public generate(aeclass : EClass)] /] [file (aeclass.name, false, 'UTF-8')] Hello, class [aeclass.name/] [/file] [/template] (c) schmiedecke 13 SE3-1-Einführung 6

7 Templates definieren und benutzen [template public classtojava(c : Class)] class [c.name/] { // Attribute declarations [attributetojava(c.attribute)/] // Constructor [c.name/]() {} } [/template] [template public attributetojava(a : Attribute)] [a.type.name/] [a.name/]; [/template] (c) schmiedecke 13 SE3-1-Einführung 7

8 Query definieren und benutzen [query public getjavafilename (name : String) : String = name.concat('.java') /] [query public getjavafilename (class : Class) : String = getjavafilename(class.name) /] [query public isvoidoperation(op : Operation) : Boolean = o.ownedparameter ->select (p : Parameter p.direction = ParameterDirectionKind::return and not p.type.oclisundefined()) ->size() = 0 /] (c) schmiedecke 13 SE3-1-Einführung 8

9 Query mit Java-Service [query public reqreturntypename /] (anoperation : Operation) : String = invoke('uml2.gen.java.services.typesservices', 'returntypename(uml2.uml.operation)', Sequence{anOperation}) (wird verwendet, wenn der Acceleo-Weg nicht funktioniert oder sehr kompliziert ist) (c) schmiedecke 13 SE3-1-Einführung 9

10 Queries aus dem Getting-Started-Tutorial (c) schmiedecke 13 SE3-1-Einführung 10

11 Module importieren [module generateecoreanalysis(' Ecore')/] [import ereferenceanalysis /] [import eclassanalysis /] [import eoperationanalysis /] Besser: [import de::bht_smi_se3::ecore2java::eoperationanalysis /] (c) schmiedecke 13 SE3-1-Einführung 11

12 Acceleo-Operationen Templating-Kern: Navigation durch das Modell mit "." enum.epackage.name (Meta-Kardinal.1 Einzelelement enum.eliterals (Meta-Kardinal.* Set c.attribute (Meta-Kardinal.* Set!) Kontrollstrukturen: if, else, for, (?:) s. nächste Folie Operations-Anwendung -> Standard-String-Operationen concat, substring, size, s. Acceleo-Referenz (c) schmiedecke 13 SE3-1-Einführung 12

13 Kontrollstrukturen [for (att : Attribute eclass.eattributes) ] [/for] // output some text [if (eclass.eattributes -> size() = 0 ] // output some text [elseif ] [else ] [/if] (eclass.eattributes -> size() = 0)? none : generateattributes(eclass) (c) schmiedecke 13 SE3-1-Einführung 13

14 OCL-Operationen OCL ergänzt die Semantik durch Operationen auf Collections und Standard-Datentypen: Allgemeine Abfragen [.] ocliskindof, oclisundifined, oclastype, allinstances, Alle üblichen String-Operationen Alle grundsätzlichen Operationen auf Collections, Sets, Sequences [->] assequence, collect, select, reject, exists, count Operationen auf Zahlen und booleschen Werten (c) schmiedecke 13 SE3-1-Einführung 14

15 Zusätzliche Acceleo-Operationen OCL-Bibliothek für M2T - "Komfort-Operationen" Operationen auf Strings, Zahlen und booleschen Werten Operationen auf EObject eallcontents, econtents, econtainer, eget, ancestors, siblings Allgemeine Operationen (auf OclAny) current, getproperty, invoke Spezielle Collection-Operationen sep, reverse, filter, (c) schmiedecke 13 SE3-1-Einführung 15

16 Was ist OCL? OCL Object Constraint Language ursprünglich zum semantisch wohldefinierten Ergänzen von UML- Diagrammen durch Einschränkungen Heute Lingua Franca der Modellierung Sprachmittel: Boolesche und Prädikatenlogik Ursprünglich zwei Constraint-Basisformen Klassenkontext: Invarianten ('inv') Prozedurkontext: Pre- und Postconditions ('pre', 'post') In Modellen beliebige überprüfbare Bedingungen oder Kontextaussagen (c) schmiedecke 13 SE3-1-Einführung 16

17 OCL im Modell class Class Model Property {subsets member, ordered} +memberend +association Association 2..* 0..1 {subsets memberend, ordered} +ownedend +owningassociation * 0..1 {subsets ownedend} +navigableownedend 0..* 0..1 hier sind die Mehrfachassoziationen Teilmengen voneinander. (c) schmiedecke 13 SE3-1-Einführung 17

18 Ausdrucksreichtum Mit der Punktnotation kann man die Attribute und Assoziationen des Metamodells nutzen Mit den OCL- oder Acceleo-Operationen lassen sich beliebige Mengen konstruieren, überprüfen und transformieren. kapiert? [query public alloperations(c: Class) : Set ( Operation ) = c.operation->union( c.superclass ->select(sc sc.isabstract=false) - >iterate(ac : Class; os:set(operation) = Set{} os->union(alloperations(ac)))) /] (c) schmiedecke 13 SE3-1-Einführung 18

19 Sprachreferenzen: Nächste Woche im Detail Acceleo-Operationen ce OCL-Operationen (c) schmiedecke 13 SE3-1-Einführung 19

20 Mit dieser Kletterausrüstung können wir uns in dass Ecore-Metamodell und die UML- Superstructure wagen

21 Metamodell-URI (hier nicht UML oder Ecore, sondern eine DSL) [module generate(' (c) schmiedecke 13 SE3-1-Einführung 21