Editors

All editors are implemented as plug-ins for the Eclipse platform. We use the Graphical Modeling Framework (GMF) for implementing graphical editors. A detailed description of how to use the graphical editors can be found on separate pages: