From c69a4e378e9f1ded7943c604725e48a2dc5b84d8 Mon Sep 17 00:00:00 2001 From: Christian Dietrich Date: Wed, 3 Aug 2016 16:40:25 +0200 Subject: [PATCH] fixed https://bugs.eclipse.org/bugs/show_bug.cgi?id=465171 Signed-off-by: Christian Dietrich --- .../xtext/xtext/generator/generator/GeneratorFragment2.xtend | 2 +- .../xtext/xtext/generator/generator/GeneratorFragment2.java | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/org.eclipse.xtext.xtext.generator/src/org/eclipse/xtext/xtext/generator/generator/GeneratorFragment2.xtend b/org.eclipse.xtext.xtext.generator/src/org/eclipse/xtext/xtext/generator/generator/GeneratorFragment2.xtend index ff3d66306..ea7e3ad5b 100644 --- a/org.eclipse.xtext.xtext.generator/src/org/eclipse/xtext/xtext/generator/generator/GeneratorFragment2.xtend +++ b/org.eclipse.xtext.xtext.generator/src/org/eclipse/xtext/xtext/generator/generator/GeneratorFragment2.xtend @@ -152,7 +152,7 @@ class GeneratorFragment2 extends AbstractStubGeneratingFragment { override void doGenerate(«Resource» resource, «IFileSystemAccess2» fsa, «IGeneratorContext» context) { // fsa.generateFile('greetings.txt', 'People to greet: ' + // resource.allContents - // .filter(typeof(Greeting)) + // .filter(Greeting) // .map[name] // .join(', ')) } diff --git a/org.eclipse.xtext.xtext.generator/xtend-gen/org/eclipse/xtext/xtext/generator/generator/GeneratorFragment2.java b/org.eclipse.xtext.xtext.generator/xtend-gen/org/eclipse/xtext/xtext/generator/generator/GeneratorFragment2.java index 277ce0254..67de12aaa 100644 --- a/org.eclipse.xtext.xtext.generator/xtend-gen/org/eclipse/xtext/xtext/generator/generator/GeneratorFragment2.java +++ b/org.eclipse.xtext.xtext.generator/xtend-gen/org/eclipse/xtext/xtext/generator/generator/GeneratorFragment2.java @@ -290,7 +290,7 @@ public class GeneratorFragment2 extends AbstractStubGeneratingFragment { _builder.newLine(); _builder.append("//\t\t\tresource.allContents"); _builder.newLine(); - _builder.append("//\t\t\t\t.filter(typeof(Greeting))"); + _builder.append("//\t\t\t\t.filter(Greeting)"); _builder.newLine(); _builder.append("//\t\t\t\t.map[name]"); _builder.newLine();