A language independent framework for context-sensitive formatting

Abstract

C e n t r u m v o o r W i s k u n d e e n I n f o r m a t i c a Software ENgineeringA language independent framework for context-sensitive formatting M.G.J. van den Brand, A.T. Kooiker, J.J. Vinju, N.P. Veerman A language independent framework for contextsensitive formatting ABSTRACT Automated formatting is an important technique for the software maintainer. It is either applied separately to improve the readability of source code, or as part of a source code transformation tool chain. In this paper we report on the application of generic tools for constructing formatters. In an industrial setting automated formatters need to be tailored to the requirements of the customer. The (legacy) programming language or dialect and the corporate formatting conventions are specific and non-negotiable. Can generic formatting tools deal with such unexpected requirements? Driven by an industrial case of nearly 80 thousand lines of Cobol code, several limitations in existing formatting technology have been addressed. We improved its flexibility by replacing a generative phase by a generic tool, and we added a little expressiveness to the formatting back end. Most importantly, we employed a multi-stage formatting framework that can cope with any kind of formatting convention using more computational power. REPORT SEN-R0601 JANUARY 2006 SEN Software Engineering ACM Computing Classification

Automated mass maintenance of a software portfolio

“…Furthermore, the ASF+SDF Meta-Environment provides an unparser to translate parsed code to text, as well as support for pretty printing. See [14,21] for details.…”

From Centaur to the Meta-Environment: a tribute to a great meta-technologist

“…The PPML constructs mentioned (matching, case distinction, term construction) were also present in the formalisms that performed semantic processing on the syntax tree (be it TYPOL or ASF+SDF) and this duplication of concepts was not appealing for us. Many years later, we gave up ignoring prettyprinting and built several prettyprinters based on the Box language [21,19]. In our most recent prettyprinter, Pandora, all matching, case distinction and construction of boxes is done in ... ASF+SDF.…”

Towards multilingual programming environments

“…The same models can also be used for abstract (symbolic) execution, representing for example type constraints and logical expressions. Rascal's built-in context-free grammars and Box pretty-printing language [31] allow complex programming language artifacts to loaded for and rendered to text in a declarative fashion. Moreover, a number of standard library modules provide access to XML, YAML and JSON files.…”