Combining
Graphics and Text
in
Modeling Tools
Jan Köhnlein (itemis)
Jos Warmer (Ordina)

public void assertSameStructure(EObject left, EObject right) {
if(!isSameStructure(left, right)) {
log.error(getErrorMessage());
Assert.fail(getErrorMessage());
}
Text Graphics
//logger.debug("" + counter + " elements compared");
}
protected String getErrorMessage() {
return errorMessage.toString();
}
public boolean isSameStructure(EObject left, EObject right) {
counter = 0;
return internalIsSameStructure(left, right);
}
public boolean internalIsSameStructure(EObject left, EObject right) {
++counter;
if (!isSameClass(left.eClass(), right.eClass())) {
errorMessage.append("Classes are not equal: " + left + " != " + right).append('n');
return false;
}
List<EObject> leftChildren = getRelevantChildren(left);
List<EObject> rightChildren = getRelevantChildren(right);
if(leftChildren.size() != rightChildren.size()) {
errorMessage.append("Number of children differs " + left + " " + right + " " + leftChildren.size() + " <> " + rightChildren.size()).append('n')
return false;
}
for (int i = 0; i < leftChildren.size(); ++i) {
if(!internalIsSameStructure(leftChildren.get(i), rightChildren.get(i))) {
errorMessage.append("Children differ " + left + " " + right + " with children " + leftChildren.get(i) + " " + rightChildren.get(i)).append
return false;
}
}
return true;
}
protected boolean isSameClass(EClass left, EClass right) {
return left.getName().equals(right.getName())
&& left.getEPackage().getNsURI().equals(right.getEPackage().getNsURI());
}
protected List<EObject> getRelevantChildren(EObject _this) {
List<EObject> relevantChildren = new ArrayList<EObject>(_this.eContents());
for (Iterator<EObject> i = relevantChildren.iterator(); i.hasNext();) {
EObject next = i.next();
if (!isRelevantChild(_this, next)) {
i.remove();

public void assertSameStructure(EObject left, EObject right) {
if(!isSameStructure(left, right)) {
log.error(getErrorMessage());
Assert.fail(getErrorMessage());
}
Text Graphics
//logger.debug("" + counter + " elements compared");
}
protected String getErrorMessage() {
return errorMessage.toString();
•
}
Detailed views
public boolean isSameStructure(EObject left, EObject right) {
counter = 0;
return internalIsSameStructure(left, right);
}
public boolean internalIsSameStructure(EObject left, EObject right) {
++counter;
if (!isSameClass(left.eClass(), right.eClass())) {
errorMessage.append("Classes are not equal: " + left + " != " + right).append('n');
return false;
}
List<EObject> leftChildren = getRelevantChildren(left);
List<EObject> rightChildren = getRelevantChildren(right);
if(leftChildren.size() != rightChildren.size()) {
errorMessage.append("Number of children differs " + left + " " + right + " " + leftChildren.size() + " <> " + rightChildren.size()).append('n')
return false;
}
for (int i = 0; i < leftChildren.size(); ++i) {
if(!internalIsSameStructure(leftChildren.get(i), rightChildren.get(i))) {
errorMessage.append("Children differ " + left + " " + right + " with children " + leftChildren.get(i) + " " + rightChildren.get(i)).append
return false;
}
}
return true;
}
protected boolean isSameClass(EClass left, EClass right) {
return left.getName().equals(right.getName())
&& left.getEPackage().getNsURI().equals(right.getEPackage().getNsURI());
}
protected List<EObject> getRelevantChildren(EObject _this) {
List<EObject> relevantChildren = new ArrayList<EObject>(_this.eContents());
for (Iterator<EObject> i = relevantChildren.iterator(); i.hasNext();) {
EObject next = i.next();
if (!isRelevantChild(_this, next)) {
i.remove();

public void assertSameStructure(EObject left, EObject right) {
if(!isSameStructure(left, right)) {
log.error(getErrorMessage());
Assert.fail(getErrorMessage());
}
Text Graphics
//logger.debug("" + counter + " elements compared");
}
protected String getErrorMessage() {
return errorMessage.toString();
• •
}
Detailed views
public boolean isSameStructure(EObject left, EObject right) {
High-level views
counter = 0;
return internalIsSameStructure(left, right);
}
public boolean internalIsSameStructure(EObject left, EObject right) {
++counter;
if (!isSameClass(left.eClass(), right.eClass())) {
errorMessage.append("Classes are not equal: " + left + " != " + right).append('n');
return false;
}
List<EObject> leftChildren = getRelevantChildren(left);
List<EObject> rightChildren = getRelevantChildren(right);
if(leftChildren.size() != rightChildren.size()) {
errorMessage.append("Number of children differs " + left + " " + right + " " + leftChildren.size() + " <> " + rightChildren.size()).append('n')
return false;
}
for (int i = 0; i < leftChildren.size(); ++i) {
if(!internalIsSameStructure(leftChildren.get(i), rightChildren.get(i))) {
errorMessage.append("Children differ " + left + " " + right + " with children " + leftChildren.get(i) + " " + rightChildren.get(i)).append
return false;
}
}
return true;
}
protected boolean isSameClass(EClass left, EClass right) {
return left.getName().equals(right.getName())
&& left.getEPackage().getNsURI().equals(right.getEPackage().getNsURI());
}
protected List<EObject> getRelevantChildren(EObject _this) {
List<EObject> relevantChildren = new ArrayList<EObject>(_this.eContents());
for (Iterator<EObject> i = relevantChildren.iterator(); i.hasNext();) {
EObject next = i.next();
if (!isRelevantChild(_this, next)) {
i.remove();

public void assertSameStructure(EObject left, EObject right) {
if(!isSameStructure(left, right)) {
log.error(getErrorMessage());
Assert.fail(getErrorMessage());
}
Text Graphics
//logger.debug("" + counter + " elements compared");
}
protected String getErrorMessage() {
return errorMessage.toString();
• •
}
Detailed views
public boolean isSameStructure(EObject left, EObject right) {
High-level views
• Very formal syntax
counter = 0;
return internalIsSameStructure(left, right);
}
public boolean internalIsSameStructure(EObject left, EObject right) {
++counter;
if (!isSameClass(left.eClass(), right.eClass())) {
errorMessage.append("Classes are not equal: " + left + " != " + right).append('n');
return false;
}
List<EObject> leftChildren = getRelevantChildren(left);
List<EObject> rightChildren = getRelevantChildren(right);
if(leftChildren.size() != rightChildren.size()) {
errorMessage.append("Number of children differs " + left + " " + right + " " + leftChildren.size() + " <> " + rightChildren.size()).append('n')
return false;
}
for (int i = 0; i < leftChildren.size(); ++i) {
if(!internalIsSameStructure(leftChildren.get(i), rightChildren.get(i))) {
errorMessage.append("Children differ " + left + " " + right + " with children " + leftChildren.get(i) + " " + rightChildren.get(i)).append
return false;
}
}
return true;
}
protected boolean isSameClass(EClass left, EClass right) {
return left.getName().equals(right.getName())
&& left.getEPackage().getNsURI().equals(right.getEPackage().getNsURI());
}
protected List<EObject> getRelevantChildren(EObject _this) {
List<EObject> relevantChildren = new ArrayList<EObject>(_this.eContents());
for (Iterator<EObject> i = relevantChildren.iterator(); i.hasNext();) {
EObject next = i.next();
if (!isRelevantChild(_this, next)) {
i.remove();

public void assertSameStructure(EObject left, EObject right) {
if(!isSameStructure(left, right)) {
log.error(getErrorMessage());
Assert.fail(getErrorMessage());
}
Text Graphics
//logger.debug("" + counter + " elements compared");
}
protected String getErrorMessage() {
return errorMessage.toString();
• •
}
Detailed views
public boolean isSameStructure(EObject left, EObject right) {
High-level views
}
• Very formal syntax
counter = 0;
return internalIsSameStructure(left, right);
• Suggests non-formalism
public boolean internalIsSameStructure(EObject left, EObject right) {
++counter;
if (!isSameClass(left.eClass(), right.eClass())) {
errorMessage.append("Classes are not equal: " + left + " != " + right).append('n');
return false;
}
List<EObject> leftChildren = getRelevantChildren(left);
List<EObject> rightChildren = getRelevantChildren(right);
if(leftChildren.size() != rightChildren.size()) {
errorMessage.append("Number of children differs " + left + " " + right + " " + leftChildren.size() + " <> " + rightChildren.size()).append('n')
return false;
}
for (int i = 0; i < leftChildren.size(); ++i) {
if(!internalIsSameStructure(leftChildren.get(i), rightChildren.get(i))) {
errorMessage.append("Children differ " + left + " " + right + " with children " + leftChildren.get(i) + " " + rightChildren.get(i)).append
return false;
}
}
return true;
}
protected boolean isSameClass(EClass left, EClass right) {
return left.getName().equals(right.getName())
&& left.getEPackage().getNsURI().equals(right.getEPackage().getNsURI());
}
protected List<EObject> getRelevantChildren(EObject _this) {
List<EObject> relevantChildren = new ArrayList<EObject>(_this.eContents());
for (Iterator<EObject> i = relevantChildren.iterator(); i.hasNext();) {
EObject next = i.next();
if (!isRelevantChild(_this, next)) {
i.remove();

public void assertSameStructure(EObject left, EObject right) {
if(!isSameStructure(left, right)) {
log.error(getErrorMessage());
Assert.fail(getErrorMessage());
}
Text Graphics
//logger.debug("" + counter + " elements compared");
}
protected String getErrorMessage() {
return errorMessage.toString();
• •
}
Detailed views
public boolean isSameStructure(EObject left, EObject right) {
High-level views
}
• Very formal syntax
counter = 0;
return internalIsSameStructure(left, right);
• Suggests non-formalism
• Standard text editor
public boolean internalIsSameStructure(EObject left, EObject right) {
++counter;
if (!isSameClass(left.eClass(), right.eClass())) {
errorMessage.append("Classes are not equal: " + left + " != " + right).append('n');
return false;
}
List<EObject> leftChildren = getRelevantChildren(left);
List<EObject> rightChildren = getRelevantChildren(right);
if(leftChildren.size() != rightChildren.size()) {
errorMessage.append("Number of children differs " + left + " " + right + " " + leftChildren.size() + " <> " + rightChildren.size()).append('n')
return false;
}
for (int i = 0; i < leftChildren.size(); ++i) {
if(!internalIsSameStructure(leftChildren.get(i), rightChildren.get(i))) {
errorMessage.append("Children differ " + left + " " + right + " with children " + leftChildren.get(i) + " " + rightChildren.get(i)).append
return false;
}
}
return true;
}
protected boolean isSameClass(EClass left, EClass right) {
return left.getName().equals(right.getName())
&& left.getEPackage().getNsURI().equals(right.getEPackage().getNsURI());
}
protected List<EObject> getRelevantChildren(EObject _this) {
List<EObject> relevantChildren = new ArrayList<EObject>(_this.eContents());
for (Iterator<EObject> i = relevantChildren.iterator(); i.hasNext();) {
EObject next = i.next();
if (!isRelevantChild(_this, next)) {
i.remove();

public void assertSameStructure(EObject left, EObject right) {
if(!isSameStructure(left, right)) {
log.error(getErrorMessage());
Assert.fail(getErrorMessage());
}
Text Graphics
//logger.debug("" + counter + " elements compared");
}
protected String getErrorMessage() {
return errorMessage.toString();
• •
}
Detailed views
public boolean isSameStructure(EObject left, EObject right) {
High-level views
}
• Very formal syntax
counter = 0;
return internalIsSameStructure(left, right);
• Suggests non-formalism
•
++counter;
Standard text editor
public boolean internalIsSameStructure(EObject left, EObject right) { • Custom editor
if (!isSameClass(left.eClass(), right.eClass())) {
errorMessage.append("Classes are not equal: " + left + " != " + right).append('n');
return false;
}
List<EObject> leftChildren = getRelevantChildren(left);
List<EObject> rightChildren = getRelevantChildren(right);
if(leftChildren.size() != rightChildren.size()) {
errorMessage.append("Number of children differs " + left + " " + right + " " + leftChildren.size() + " <> " + rightChildren.size()).append('n')
return false;
}
for (int i = 0; i < leftChildren.size(); ++i) {
if(!internalIsSameStructure(leftChildren.get(i), rightChildren.get(i))) {
errorMessage.append("Children differ " + left + " " + right + " with children " + leftChildren.get(i) + " " + rightChildren.get(i)).append
return false;
}
}
return true;
}
protected boolean isSameClass(EClass left, EClass right) {
return left.getName().equals(right.getName())
&& left.getEPackage().getNsURI().equals(right.getEPackage().getNsURI());
}
protected List<EObject> getRelevantChildren(EObject _this) {
List<EObject> relevantChildren = new ArrayList<EObject>(_this.eContents());
for (Iterator<EObject> i = relevantChildren.iterator(); i.hasNext();) {
EObject next = i.next();
if (!isRelevantChild(_this, next)) {
i.remove();

public void assertSameStructure(EObject left, EObject right) {
if(!isSameStructure(left, right)) {
log.error(getErrorMessage());
Assert.fail(getErrorMessage());
}
Text Graphics
//logger.debug("" + counter + " elements compared");
}
protected String getErrorMessage() {
return errorMessage.toString();
• •
}
Detailed views
public boolean isSameStructure(EObject left, EObject right) {
High-level views
}
• Very formal syntax
counter = 0;
return internalIsSameStructure(left, right);
• Suggests non-formalism
• Standard text editor
public boolean internalIsSameStructure(EObject left, EObject right) { • Custom editor
•
++counter;
Standard versioning /
if (!isSameClass(left.eClass(), right.eClass())) {
errorMessage.append("Classes are not equal: " + left + " != " + right).append('n');
return false;
}
multi-user support
List<EObject> leftChildren = getRelevantChildren(left);
List<EObject> rightChildren = getRelevantChildren(right);
if(leftChildren.size() != rightChildren.size()) {
errorMessage.append("Number of children differs " + left + " " + right + " " + leftChildren.size() + " <> " + rightChildren.size()).append('n')
return false;
}
for (int i = 0; i < leftChildren.size(); ++i) {
if(!internalIsSameStructure(leftChildren.get(i), rightChildren.get(i))) {
errorMessage.append("Children differ " + left + " " + right + " with children " + leftChildren.get(i) + " " + rightChildren.get(i)).append
return false;
}
}
return true;
}
protected boolean isSameClass(EClass left, EClass right) {
return left.getName().equals(right.getName())
&& left.getEPackage().getNsURI().equals(right.getEPackage().getNsURI());
}
protected List<EObject> getRelevantChildren(EObject _this) {
List<EObject> relevantChildren = new ArrayList<EObject>(_this.eContents());
for (Iterator<EObject> i = relevantChildren.iterator(); i.hasNext();) {
EObject next = i.next();
if (!isRelevantChild(_this, next)) {
i.remove();

public void assertSameStructure(EObject left, EObject right) {
if(!isSameStructure(left, right)) {
log.error(getErrorMessage());
Assert.fail(getErrorMessage());
}
Text Graphics
//logger.debug("" + counter + " elements compared");
}
protected String getErrorMessage() {
return errorMessage.toString();
• •
}
Detailed views
public boolean isSameStructure(EObject left, EObject right) {
High-level views
}
• Very formal syntax
counter = 0;
return internalIsSameStructure(left, right);
• Suggests non-formalism
• Standard text editor
public boolean internalIsSameStructure(EObject left, EObject right) { • Custom editor
• •
++counter;
Standard versioning /
if (!isSameClass(left.eClass(), right.eClass())) {
Custom versioning /
errorMessage.append("Classes are not equal: " + left + " != " + right).append('n');
return false;
}
multi-user support
List<EObject> leftChildren = getRelevantChildren(left);
multi-user support
List<EObject> rightChildren = getRelevantChildren(right);
if(leftChildren.size() != rightChildren.size()) {
errorMessage.append("Number of children differs " + left + " " + right + " " + leftChildren.size() + " <> " + rightChildren.size()).append('n')
return false;
}
for (int i = 0; i < leftChildren.size(); ++i) {
if(!internalIsSameStructure(leftChildren.get(i), rightChildren.get(i))) {
errorMessage.append("Children differ " + left + " " + right + " with children " + leftChildren.get(i) + " " + rightChildren.get(i)).append
return false;
}
}
return true;
}
protected boolean isSameClass(EClass left, EClass right) {
return left.getName().equals(right.getName())
&& left.getEPackage().getNsURI().equals(right.getEPackage().getNsURI());
}
protected List<EObject> getRelevantChildren(EObject _this) {
List<EObject> relevantChildren = new ArrayList<EObject>(_this.eContents());
for (Iterator<EObject> i = relevantChildren.iterator(); i.hasNext();) {
EObject next = i.next();
if (!isRelevantChild(_this, next)) {
i.remove();

public void assertSameStructure(EObject left, EObject right) {
if(!isSameStructure(left, right)) {
log.error(getErrorMessage());
Assert.fail(getErrorMessage());
}
Text Graphics
//logger.debug("" + counter + " elements compared");
}
protected String getErrorMessage() {
return errorMessage.toString();
• •
}
Detailed views
public boolean isSameStructure(EObject left, EObject right) {
High-level views
}
• Very formal syntax
counter = 0;
return internalIsSameStructure(left, right);
• Suggests non-formalism
• Standard text editor
public boolean internalIsSameStructure(EObject left, EObject right) { • Custom editor
• •
++counter;
Standard versioning /
if (!isSameClass(left.eClass(), right.eClass())) {
Custom versioning /
errorMessage.append("Classes are not equal: " + left + " != " + right).append('n');
return false;
}
multi-user support
List<EObject> leftChildren = getRelevantChildren(left);
multi-user support
• Editing with keyboard
List<EObject> rightChildren = getRelevantChildren(right);
if(leftChildren.size() != rightChildren.size()) {
errorMessage.append("Number of children differs " + left + " " + right + " " + leftChildren.size() + " <> " + rightChildren.size()).append('n')
return false;
}
for (int i = 0; i < leftChildren.size(); ++i) {
if(!internalIsSameStructure(leftChildren.get(i), rightChildren.get(i))) {
errorMessage.append("Children differ " + left + " " + right + " with children " + leftChildren.get(i) + " " + rightChildren.get(i)).append
return false;
}
}
return true;
}
protected boolean isSameClass(EClass left, EClass right) {
return left.getName().equals(right.getName())
&& left.getEPackage().getNsURI().equals(right.getEPackage().getNsURI());
}
protected List<EObject> getRelevantChildren(EObject _this) {
List<EObject> relevantChildren = new ArrayList<EObject>(_this.eContents());
for (Iterator<EObject> i = relevantChildren.iterator(); i.hasNext();) {
EObject next = i.next();
if (!isRelevantChild(_this, next)) {
i.remove();

public void assertSameStructure(EObject left, EObject right) {
if(!isSameStructure(left, right)) {
log.error(getErrorMessage());
Assert.fail(getErrorMessage());
}
Text Graphics
//logger.debug("" + counter + " elements compared");
}
protected String getErrorMessage() {
return errorMessage.toString();
• •
}
Detailed views
public boolean isSameStructure(EObject left, EObject right) {
High-level views
}
• Very formal syntax
counter = 0;
return internalIsSameStructure(left, right);
• Suggests non-formalism
• Standard text editor
public boolean internalIsSameStructure(EObject left, EObject right) { • Custom editor
• •
++counter;
Standard versioning /
if (!isSameClass(left.eClass(), right.eClass())) {
Custom versioning /
errorMessage.append("Classes are not equal: " + left + " != " + right).append('n');
return false;
}
multi-user support
List<EObject> leftChildren = getRelevantChildren(left);
multi-user support
• Editing with keyboard
List<EObject> rightChildren = getRelevantChildren(right);
if(leftChildren.size() != rightChildren.size()) {
• Editing with mouse
errorMessage.append("Number of children differs " + left + " " + right + " " + leftChildren.size() + " <> " + rightChildren.size()).append('n')
return false;
}
for (int i = 0; i < leftChildren.size(); ++i) {
if(!internalIsSameStructure(leftChildren.get(i), rightChildren.get(i))) {
errorMessage.append("Children differ " + left + " " + right + " with children " + leftChildren.get(i) + " " + rightChildren.get(i)).append
return false;
}
}
return true;
}
protected boolean isSameClass(EClass left, EClass right) {
return left.getName().equals(right.getName())
&& left.getEPackage().getNsURI().equals(right.getEPackage().getNsURI());
}
protected List<EObject> getRelevantChildren(EObject _this) {
List<EObject> relevantChildren = new ArrayList<EObject>(_this.eContents());
for (Iterator<EObject> i = relevantChildren.iterator(); i.hasNext();) {
EObject next = i.next();
if (!isRelevantChild(_this, next)) {
i.remove();

public void assertSameStructure(EObject left, EObject right) {
if(!isSameStructure(left, right)) {
log.error(getErrorMessage());
Assert.fail(getErrorMessage());
}
Text Graphics
//logger.debug("" + counter + " elements compared");
}
protected String getErrorMessage() {
return errorMessage.toString();
• •
}
Detailed views
public boolean isSameStructure(EObject left, EObject right) {
High-level views
}
• Very formal syntax
counter = 0;
return internalIsSameStructure(left, right);
• Suggests non-formalism
• Standard text editor
public boolean internalIsSameStructure(EObject left, EObject right) { • Custom editor
• •
++counter;
Standard versioning /
if (!isSameClass(left.eClass(), right.eClass())) {
Custom versioning /
errorMessage.append("Classes are not equal: " + left + " != " + right).append('n');
return false;
}
multi-user support
List<EObject> leftChildren = getRelevantChildren(left);
multi-user support
• Editing with keyboard
List<EObject> rightChildren = getRelevantChildren(right);
if(leftChildren.size() != rightChildren.size()) {
• Editing with mouse
errorMessage.append("Number of children differs " + left + " " + right + " " + leftChildren.size() + " <> " + rightChildren.size()).append('n')
return false;
}
for (int i = 0; i < leftChildren.size(); ++i) {
if(!internalIsSameStructure(leftChildren.get(i), rightChildren.get(i))) {
errorMessage.append("Children differ " + left + " " + right + " with children " + leftChildren.get(i) + " " + rightChildren.get(i)).append
return false;
}
}
Why not have both?
return true;
}
protected boolean isSameClass(EClass left, EClass right) {
return left.getName().equals(right.getName())
&& left.getEPackage().getNsURI().equals(right.getEPackage().getNsURI());
}
protected List<EObject> getRelevantChildren(EObject _this) {
List<EObject> relevantChildren = new ArrayList<EObject>(_this.eContents());
for (Iterator<EObject> i = relevantChildren.iterator(); i.hasNext();) {
EObject next = i.next();
if (!isRelevantChild(_this, next)) {
i.remove();

Xtext vs GMF

Xtext

Xtext
G
ra
m
m
ar

Xtext
G
ra
m
m
ar

Xtext
ar
m
m
ra
G
Runtime
Superclass
Subclass Class
Ecore model LL(*) Parser Text editor

Xtext
ar
m
m
ra
G
Semantic
Metamodel Runtime
Superclass
Subclass Class
Ecore model LL(*) Parser Text editor

Superclass
GMF Subclass
Ecore model
Class

Superclass
GMF Subclass
Ecore model
Class
Graph
Model

Superclass
GMF Subclass
Ecore model
Class
Graph Tool
Model Model

Superclass
GMF Subclass
Ecore model
Class
Graph Map Tool
Model Model Model

Superclass
GMF Subclass
Ecore model
Class
Graph Map Tool
Model Model Model
GMF
Generator
Model

Superclass
GMF Subclass
Ecore model
Class
Graph Map Tool
Model Model Model
GMF
Generator
Model

Runtime Models
and
Synchronization

Xtext
EObject element
eAdapters
NodeAdapter
node
children AbstractNode
offset: int
length: int
CompositeNode LeafNode
text: String
parent

Xtext GMF
EObject element EObject
element
eAdapters
NodeAdapter View
node
children AbstractNode Node Edge
offset: int
length: int
layoutConstraints bendpoints
CompositeNode LeafNode Bounds Bendpoints
text: String x: int
parent y: int
width: int
height: int

GMF
ResourceSet
GMFResource DiagramResource
Canonical
EditPolicy

GMF
ResourceSet
GMFResource DiagramResource
Canonical
Canonical
EditPolicy
EditPolicy

GMF
ResourceSet
GMFResource DiagramResource
Canonical
Canonical
EditPolicy
EditPolicy

Xtext

Xtext
Textual Model
Serializer
Parser
Node Model
Ecore Model
Instance

Xtext
XtextResource
Textual Model
Serializer
Parser
Node Model
Ecore Model
Instance

Xtext
XtextResource
Textual Model
Serializer
Parser
Node Model
Ecore Model
Instance
getContents()

Xtext load(), save()
XtextResource
Textual Model
Serializer
Parser
Node Model
Ecore Model
Instance
getContents()

Xtext load(), save()
XtextResource
Textual Model
Serializer
Parser
Node Model
Ecore Model
Instance FragmentProvider
getContents() getURIFragment()
getEObject()

ResourceSet
XtextResource DiagramResource

diagram
change
ResourceSet
XtextResource DiagramResource

ResourceSet
XtextResource DiagramResource

reparse()
w/ errors
ResourceSet
XtextResource DiagramResource

ResourceSet
XtextResource DiagramResource

ResourceSet
XtextResource DiagramResource
Canonical
EditPolicy

ResourceSet
XtextResource DiagramResource
Canonical
EditPolicy

ResourceSet
XtextResource DiagramResource
Canonical
EditPolicy

Fi e l
od a
M xtu
le l
Te
ResourceSet ResourceSet
XtextResource XtextResource DiagramResource

Fi e l
od a
M xtu
le l
Te
ResourceSet ResourceSet
XtextResource XtextResource DiagramResource

Fi e l
od a
M xtu
le l
Te
ResourceSet ResourceSet
XtextResource XtextResource DiagramResource

Fi e l
od a
M xtu
le l
Te
ResourceSet ResourceSet
XtextResource save() XtextResource DiagramResource

Fi e l
od a
M xtu
le l
Te
ResourceSet ResourceSet
XtextResource reload() XtextResource DiagramResource

Fi e l
od a
M xtu
le l
Te
ResourceSet ResourceSet
XtextResource reload() XtextResource DiagramResource

Fi e l
od a
M xtu
le l
Te
ResourceSet ResourceSet
XtextResource XtextResource DiagramResource

Fi e l
od a
M xtu
le l
Te
ResourceSet ResourceSet
XtextResource XtextResource DiagramResource

Alignment

grammar org.xtext.cg2009.Entities
with org.eclipse.xtext.common.Terminals
generate entities "http://www.xtext.org/cg2009/Entities"
Model :
{Model} (entities += Entity)*;
Entity returns Entity:
'entity' (name=ID)? ('extends' superType=[Entity])? '{'
(properties+=Property)*
'}';
Property:
SimpleProperty | ReferenceProperty;
SimpleProperty:
'property' (name=ID)? ':' type=('String'|'Number'|'Bool');
ReferenceProperty :
(name=ID)? 'refs' ('one' | many?='many')? type=[Entity];

grammar org.xtext.cg2009.Entities
with org.eclipse.xtext.common.Terminals
Avoid empty
generate entities "http://www.xtext.org/cg2009/Entities"
models
Model :
{Model} (entities += Entity)*;
Entity returns Entity:
'entity' (name=ID)? ('extends' superType=[Entity])? '{'
(properties+=Property)*
'}';
Property:
SimpleProperty | ReferenceProperty;
SimpleProperty:
'property' (name=ID)? ':' type=('String'|'Number'|'Bool');
ReferenceProperty :
(name=ID)? 'refs' ('one' | many?='many')? type=[Entity];

grammar org.xtext.cg2009.Entities
with org.eclipse.xtext.common.Terminals
Avoid empty
generate entities "http://www.xtext.org/cg2009/Entities"
models
Model :
{Model} (entities += Entity)*;
Entity returns Entity:
'entity' (name=ID)? ('extends' superType=[Entity])? '{'
(properties+=Property)*
'}';
Property:
Cover mandatory
SimpleProperty | ReferenceProperty;
properties in
SimpleProperty:
validation
'property' (name=ID)? ':' type=('String'|'Number'|'Bool');
ReferenceProperty :
(name=ID)? 'refs' ('one' | many?='many')? type=[Entity];

grammar org.xtext.cg2009.Entities
with org.eclipse.xtext.common.Terminals
Avoid empty
generate entities "http://www.xtext.org/cg2009/Entities"
Carefully select
models
Model : containment or cross
{Model} (entities += Entity)*; references
Entity returns Entity:
'entity' (name=ID)? ('extends' superType=[Entity])? '{'
(properties+=Property)*
'}';
Property:
Cover mandatory
SimpleProperty | ReferenceProperty;
properties in
SimpleProperty:
validation
'property' (name=ID)? ':' type=('String'|'Number'|'Bool');
ReferenceProperty :
(name=ID)? 'refs' ('one' | many?='many')? type=[Entity];

Xtext

Xtext
Implement a
Formatter

Xtext
Implement a
Formatter
Implement a
FragmentProvider

Xtext
Implement a
Formatter
Implement a
FragmentProvider
Implement a
JavaValidator

GMF

GMF
Initialize
mandatory
properties

GMF
Initialize
mandatory
properties
Avoid Phantom
Nodes

Add a
transaction on
GMF
load
Initialize
mandatory
properties
Avoid Phantom
Nodes

Glue Code

Glue Code
• Prevent conflicting modifications

Glue Code
• Prevent conflicting modifications
• Navigate
• diagram ➜ text

Glue Code
• Prevent conflicting modifications
• Navigate
• diagram ➜ text
• text ➜ diagram
(needs index)

Glue Code
• Prevent conflicting modifications
• Navigate
• diagram ➜ text
• text ➜ diagram
(needs index)
• Parser wrapper

Glue Code
• Prevent conflicting modifications
• Navigate
• diagram ➜ text
• text ➜ diagram
(needs index)
• Parser wrapper
• Popup editor

Demo Time