Pretty printing in the Asf+Sdf Meta-environment: Past, Present, and Future

M.G.J. van den Brand (UvA)

(Available as P9504-10.ps.gz)

Abstract

This paper gives an overview of the various pretty printing tools available in the Asf+Sdf Meta-environment. The default pretty printer in the Meta-environment is probably the first component which has been fully specified in Asf+Sdf and compiled to C using the ASF2C compiler [KW93]. Some of the achievements concerning pretty printing will be discussed in this paper. A pretty printer generator and its use will be discussed, as well as the tuning of generated pretty printers, this will be demonstrated by means of a small example.