About Miro Spönemann

Miro is a software engineer and consultant at TypeFox and a committer for Xtext, ELK, and LSP4J. He started to get involved into open source development while researching graph layout algorithms and their application to graphical modeling at the University of Kiel. Miro's contributions to KIELER, an academic project on modeling pragmatics and semantics, have been the foundation of his doctoral thesis and are now part of the ELK project.

Visualizing npm Package Dependencies with Sprotty

By |2018-06-07T14:10:11+00:00June 7th, 2018|Cloud IDE, Diagrams, Eclipse, sprotty|

Sprotty is an open-source diagramming framework that is based on web technologies. I'm excited to announce that it will soon be moved to the Eclipse Foundation. This step will enable existing visualizations built on the Eclipse Platform to be migrated to cloud IDEs such as Eclipse Theia. But Sprotty is not limited to IDE integrations; [...]

Flexible Window Layout in Theia IDE

By |2018-02-13T17:05:45+00:00February 13th, 2018|Cloud IDE, Electron, Theia|

Theia is an open source IDE for cloud and desktop. The project is relatively young, but currently moving forward with an astonishing speed. This post describes one of the numerous recent contributions: a more flexible window layout. Components of a Theia Window A Theia window has four areas where editors, views etc. (called widgets in [...]

Generate Traced Code with Xtext

By |2017-05-24T13:05:40+00:00May 24th, 2017|DSLs, Eclipse, Generator, Xtext|

Xtext 2.12 is released on May 26th. As described in its release notes, a main novelty is an API for tracing generated code. Why Tracing? Whenever you transpile code from one language to another, you need some kind of mapping that instructs the involved tools how to navigate from a piece of source code to [...]

Getting Closer to Xtext 2.11: Beta 2

By |2016-12-20T09:04:48+00:00December 20th, 2016|Eclipse, Xtext|

A second milestone towards Xtext 2.11 named Beta 2 has been published today! The feature set is largely at the same state as with the Beta 1 published on October 21st. The main difference is that we spent a lot of effort in the build system for the new repository structure, allowing us to [...]

Xtext 2.11 Beta 1 Is Here!

By |2016-11-30T08:34:08+00:00October 21st, 2016|Eclipse, Xtext|

The Xtext 2.11 release has been rescheduled for January 24th 2017, as we underestimated the amount of work in front of us and overestimated the amount of time we could spend. Today's beta release is merely a sanity check to ensure that we can still build a complete SDK update site. Don't use it in production, also we [...]

Building a VS Code Extension with Xtext and the Language Server Protocol

By |2016-11-30T08:34:08+00:00July 27th, 2016|DSLs, Eclipse, Language Server, Xtext|

In the upcoming Version 2.11, Xtext will support the Language Server Protocol defined by Visual Studio Code. This is a very important step, as the protocol is generic and is going to be supported by other editors such as Eclipse or Che as well. In this post I want to give the early adopters among [...]

The Language Server Protocol in Java

By |2016-11-30T08:34:08+00:00June 30th, 2016|Eclipse, Language Server|

Note: The ls-api library has been superseded by LSP4J. Parts of this post refer to outdated API. The Language Server Protocol (LSP) is an interface for connecting arbitrary languages to development tools (IDEs). Such a connection enables important features like validation and code completion, which have become a matter of course in today's IDEs. LSP [...]