While contemporary projectional editors make sure that the edited programs conform to the programming language’s metamodel, they do not enforce that they are also well-formed, that is, that they obey the type and other well-formedness rules defined for the language. We show how, based on a constraint-based capture of well-formedness, projectional editors can be empowered to enforce well-formedness in much the same way they enforce conformance with the metamodel. The resulting robust edits may be more complex than ordinary, well-formedness breaking edits, and hence may require more user involvement; yet, maintaining well-formedness at all times ensures that necessary corrections of a program are linked to the edit that necessitated them, and that the projectional editor’s services are never compromised by inconsistent programs. Robust projectional editing is not a straitjacket, however: If a programmer prefers to work without it, its constraint-based capture of well-formedness will still catch all introduced errors — unlike many other editor services, well-formedness checking and robust editing are based on the same implementation, and are hence guaranteed to behave consistently.
Mon 23 OctDisplayed time zone: Tijuana, Baja California change
| 13:30 - 15:00 | |||
| 13:3023m Talk | Towards a Taxonomy of Grammar Smells SLEDOI | ||
| 13:5322m Talk | Deep Priority Conflicts in the Wild: A Pilot Study SLE Luis Eduardo de Souza Amorim Delft University of Technology, Netherlands, Michael J. Steindorfer Delft University of Technology, Eelco Visser Delft University of TechnologyDOI | ||
| 14:1622m Talk | Virtual Textual Model Composition for Supporting Versioning and Aspect-Orientation SLE Robert Bill Vienna University of Technology, Patrick Neubauer University of York, UK, Manuel Wimmer TU WienDOI | ||
| 14:3822m Talk | Robust Projectional Editing SLEDOI | ||
