Xtext Eclipse Con

Textual Modeling Framework Jan Koehnlein - Sven Efftinge itemis Wednesday, March 25, 2009

Domain-Speciﬁc Language (DSL) Wednesday, March 25, 2009

Domain-Speciﬁc Language (DSL) A DSL is a formal, processable language targeting at a speciﬁc viewpoint or aspect of a software system. Wednesday, March 25, 2009

Domain-Specific Language (DSL) A DSL is a formal, processable language targeting at a specific viewpoint or aspect of a software system. It’s semantics, flexibility and notation is designed in order to support working with that viewpoint as good as possible. Wednesday, March 25, 2009

Why DSLs? • higher abstractions • avoid redundancy • separation of concerns • use domain concepts (Ubiquitous Language) Wednesday, March 25, 2009

The challenge Wednesday, March 25, 2009

Complicated Wednesday, March 25, 2009

Complicated & Expensive ? Wednesday, March 25, 2009

licensed by http://www.wordle.net/ Wednesday, March 25, 2009

How we address this with Wednesday, March 25, 2009

Convenience Wednesday, March 25, 2009

Wednesday, March 25, 2009

grammar org.xtext.example.MyDsl with org.eclipse.xtext.common.Terminals generate myDsl quot;http://www.xtext.org/example/MyDslquot; Model: (types+=Type)*; Type: Datatype | Entity; Datatype: 'datatype' name=ID; Entity: 'entity' name=ID '{' (features+=Feature)* '}'; Feature: type=[Type] name=ID; Wednesday, March 25, 2009

Grammar Deﬁnition grammar org.xtext.example.MyDsl with org.eclipse.xtext.common.Terminals generate myDsl quot;http://www.xtext.org/example/MyDslquot; Model: (types+=Type)*; Type: Datatype | Entity; Datatype: 'datatype' name=ID; Entity: 'entity' name=ID '{' (features+=Feature)* '}'; Feature: type=[Type] name=ID; Wednesday, March 25, 2009

Grammar Deﬁnition Terminal Rule Import grammar org.xtext.example.MyDsl with org.eclipse.xtext.common.Terminals generate myDsl quot;http://www.xtext.org/example/MyDslquot; Model: (types+=Type)*; Type: Datatype | Entity; Datatype: 'datatype' name=ID; Entity: 'entity' name=ID '{' (features+=Feature)* '}'; Feature: type=[Type] name=ID; Wednesday, March 25, 2009

Grammar Deﬁnition Terminal Rule Import grammar org.xtext.example.MyDsl Derived with org.eclipse.xtext.common.Terminals Metamodel generate myDsl quot;http://www.xtext.org/example/MyDslquot; Model: (types+=Type)*; Type: Datatype | Entity; Datatype: 'datatype' name=ID; Entity: 'entity' name=ID '{' (features+=Feature)* '}'; Feature: type=[Type] name=ID; Wednesday, March 25, 2009

Grammar Deﬁnition Terminal Rule Import grammar org.xtext.example.MyDsl Derived with org.eclipse.xtext.common.Terminals Metamodel generate myDsl quot;http://www.xtext.org/example/MyDslquot; Model: Parser (types+=Type)*; Rules Type: Datatype | Entity; Datatype: 'datatype' name=ID; Entity: 'entity' name=ID '{' (features+=Feature)* '}'; Feature: type=[Type] name=ID; Wednesday, March 25, 2009

Grammar Deﬁnition Terminal Rule Import grammar org.xtext.example.MyDsl Derived with org.eclipse.xtext.common.Terminals Metamodel generate myDsl quot;http://www.xtext.org/example/MyDslquot; Containment Reference Model: Parser (types+=Type)*; Rules Type: Datatype | Entity; Datatype: 'datatype' name=ID; Entity: 'entity' name=ID '{' (features+=Feature)* '}'; Feature: type=[Type] name=ID; Wednesday, March 25, 2009

Grammar Deﬁnition Terminal Rule Import grammar org.xtext.example.MyDsl Derived with org.eclipse.xtext.common.Terminals Metamodel generate myDsl quot;http://www.xtext.org/example/MyDslquot; Containment Reference Model: Parser (types+=Type)*; Cardinality Rules Type: Datatype | Entity; Datatype: 'datatype' name=ID; Entity: 'entity' name=ID '{' (features+=Feature)* '}'; Feature: type=[Type] name=ID; Wednesday, March 25, 2009

Grammar Deﬁnition Terminal Rule Import grammar org.xtext.example.MyDsl Derived with org.eclipse.xtext.common.Terminals Metamodel generate myDsl quot;http://www.xtext.org/example/MyDslquot; Containment Reference Model: Parser (types+=Type)*; Cardinality Rules Type: Datatype | Entity; Alternatives Datatype: 'datatype' name=ID; Entity: 'entity' name=ID '{' (features+=Feature)* '}'; Feature: type=[Type] name=ID; Wednesday, March 25, 2009

Grammar Deﬁnition Terminal Rule Import grammar org.xtext.example.MyDsl Derived with org.eclipse.xtext.common.Terminals Metamodel generate myDsl quot;http://www.xtext.org/example/MyDslquot; Containment Reference Model: Parser (types+=Type)*; Cardinality Rules Type: Datatype | Entity; Alternatives Datatype: 'datatype' name=ID; Call to Entity: Terminal 'entity' name=ID '{' (features+=Feature)* Rule '}'; Feature: type=[Type] name=ID; Wednesday, March 25, 2009

Grammar Deﬁnition Terminal Rule Import grammar org.xtext.example.MyDsl Derived with org.eclipse.xtext.common.Terminals Metamodel generate myDsl quot;http://www.xtext.org/example/MyDslquot; Containment Reference Model: Parser (types+=Type)*; Cardinality Rules Type: Datatype | Entity; Alternatives Datatype: 'datatype' name=ID; Call to Entity: Keywords Terminal 'entity' name=ID '{' (features+=Feature)* Rule '}'; Feature: type=[Type] name=ID; Wednesday, March 25, 2009

Grammar Deﬁnition Terminal Rule Import grammar org.xtext.example.MyDsl Derived with org.eclipse.xtext.common.Terminals Metamodel generate myDsl quot;http://www.xtext.org/example/MyDslquot; Containment Reference Model: Parser (types+=Type)*; Cardinality Rules Type: Datatype | Entity; Alternatives Datatype: 'datatype' name=ID; Call to Entity: Keywords Terminal 'entity' name=ID '{' (features+=Feature)* Cross Rule '}'; Reference Feature: type=[Type] name=ID; Wednesday, March 25, 2009

Metamodel Derivation MyDsl grammar org.xtext.example.MyDsl with org.eclipse.xtext.common.Terminals Model generate myDsl quot;http://www.xtext.org/example/MyDslquot; Model: * Type (types+=Type)*; name: String Type: Datatype | Entity; Datatype: Datatype Entity 'datatype' name=ID; Entity: 'entity' name=ID '{' type (features+=Feature)* * '}'; Feature * name: String Feature: type=[Datatype] name=ID; Wednesday, March 25, 2009

Based on the grammar and Ecore models, Xtext provides you with sensible default implementations. licensed by http://www.wordle.net/ Wednesday, March 25, 2009

Validation Wednesday, March 25, 2009

Wednesday, March 25, 2009

Customizing the LabelProvider public class MySpecialLabelProvider extends DefaultLabelProvider { public String label(Feature f) { return f.getName()+quot;:quot;+f.getType().getName(); } } ‣Naming Convention ‣Polymorphic Dispatch ‣Fault tolerance Wednesday, March 25, 2009

Flexibility Wednesday, March 25, 2009

Dependency management licensed by http://www.wordle.net/ Wednesday, March 25, 2009

MyCustomLabelProvider licensed by http://www.wordle.net/ Wednesday, March 25, 2009

Dependency Injection with Google fGuice Wednesday, March 25, 2009

Dependency Injection with Google fGuice ‣No dependency to concrete implementation Wednesday, March 25, 2009

Dependency Injection with Google fGuice ‣No dependency to concrete implementation ‣No explicit construction Wednesday, March 25, 2009

Dependency Injection with Google fGuice ‣No dependency to concrete implementation ‣No explicit construction ‣Easy testing Wednesday, March 25, 2009

Dependency Injection with Google fGuice ‣No dependency to concrete implementation ‣No explicit construction ‣Easy testing ‣Easy composition Wednesday, March 25, 2009

Configuration of Components in Xtext AbstractDeclarativeModule DefaultRuntimeModule DefaultUIModule From Xtext Your Project GeneratedRuntimeModule GeneratedUIModule RuntimeModule UIModule Wednesday, March 25, 2009

Configuration of Components in Xtext /** * used to register components to be used within the IDE. */ public class DomainmodelUiModule extends GeneratedDomainmodelUiModule { @Override public Class<? extends ILabelProvider> bindILabelProvider() { return MySpecialLabelProvider.class; } } Wednesday, March 25, 2009

and Equinox Injector is created during Bundle.start(...) @Override public void start(BundleContext context) throws Exception { super.start(context); INSTANCE = this; injector = Guice.createInjector( new DomainmodelRuntimeModule(), new DomainmodelUiModule()); } Wednesday, March 25, 2009

and Equinox ExecutableExtensions are created via IExecutableExtensionFactory <extension point=quot;org.eclipse.emf.ecore.extension_parserquot;> <parser class=quot;my.pack.DomainmodelExecutableExtensionFactory: org.eclipse.xtext.resource.XtextResourceFactoryquot; type=quot;dmodelquot;> </parser> </extension> Wednesday, March 25, 2009

Composable Code Generator ‣ generator is composed of “fragments” Wednesday, March 25, 2009

Composable Code Generator ‣ generator is composed of “fragments” ‣ fragments can contribute to: Wednesday, March 25, 2009

Composable Code Generator ‣ generator is composed of “fragments” ‣ fragments can contribute to: ‣ Manifest.MF Wednesday, March 25, 2009

Composable Code Generator ‣ generator is composed of “fragments” ‣ fragments can contribute to: ‣ Manifest.MF ‣ plugin.xml Wednesday, March 25, 2009

Composable Code Generator ‣ generator is composed of “fragments” ‣ fragments can contribute to: ‣ Manifest.MF ‣ plugin.xml ‣ Guice modules Wednesday, March 25, 2009

Composable Code Generator ‣ generator is composed of “fragments” ‣ fragments can contribute to: ‣ Manifest.MF ‣ plugin.xml ‣ Guice modules ‣ Add your own fragments Wednesday, March 25, 2009

Future Plans Wednesday, March 25, 2009

Galileo Wednesday, March 25, 2009

Galileo • Index Wednesday, March 25, 2009

Galileo • Index • Enum Rules Wednesday, March 25, 2009

Galileo • Index • Enum Rules • Bug ﬁxing / Performance Tuning Wednesday, March 25, 2009

Galileo • Index • Enum Rules • Bug ﬁxing / Performance Tuning • Documentation Wednesday, March 25, 2009

Galileo • Index • Enum Rules • Bug ﬁxing / Performance Tuning • Documentation • Sugar (Wizards, Tutorials, etc.) Wednesday, March 25, 2009

Post Galileo Wednesday, March 25, 2009

Post Galileo ‣ More UI features Wednesday, March 25, 2009

Post Galileo ‣ More UI features ‣Basic Language Libraries Wednesday, March 25, 2009

Post Galileo ‣ More UI features ‣Basic Language Libraries ‣“Eat your own dog food” continued Wednesday, March 25, 2009

Convenient & Flexible Wednesday, March 25, 2009

http://www.itemis.de	70
http://www.itemis.com	53
http://www.slideshare.net	31
https://onion.net	5
https://suzlon.jira.com	2
http://cecylovebites.blogspot.com	1

Xtext Eclipse Con

by Sven Efftinge on Mar 25, 2009

Accessibility

Categories

Tags

Upload Details

Usage Rights

6 Embeds 162

Statistics

Xtext Eclipse Con — Presentation Transcript