diff --git a/org.eclipse.xtext.ide/src/org/eclipse/xtext/ide/server/Document.xtend b/org.eclipse.xtext.ide/src/org/eclipse/xtext/ide/server/Document.xtend index 8f7e2fef1..7c0da9d13 100644 --- a/org.eclipse.xtext.ide/src/org/eclipse/xtext/ide/server/Document.xtend +++ b/org.eclipse.xtext.ide/src/org/eclipse/xtext/ide/server/Document.xtend @@ -100,5 +100,13 @@ import org.eclipse.lsp4j.Range } return new Document(if (version !== null) version + 1 else null, newContent) } + + /** + * @since 2.15 + */ + @Pure + def boolean isPrintSourceOnError() { + printSourceOnError + } } diff --git a/org.eclipse.xtext.ide/xtend-gen/org/eclipse/xtext/ide/server/Document.java b/org.eclipse.xtext.ide/xtend-gen/org/eclipse/xtext/ide/server/Document.java index f5506d44b..dd50eceff 100644 --- a/org.eclipse.xtext.ide/xtend-gen/org/eclipse/xtext/ide/server/Document.java +++ b/org.eclipse.xtext.ide/xtend-gen/org/eclipse/xtext/ide/server/Document.java @@ -138,6 +138,14 @@ public class Document { return new Document(_xifexpression, newContent); } + /** + * @since 2.15 + */ + @Pure + public boolean isPrintSourceOnError() { + return this.printSourceOnError; + } + @Override @Pure public int hashCode() { @@ -192,9 +200,4 @@ public class Document { public String getContents() { return this.contents; } - - @Pure - public boolean isPrintSourceOnError() { - return this.printSourceOnError; - } }