User‐adaptable prettyprinting

This paper presents a prettyprinter for high‐level languages that can be adapted to the personal preferences of an individual user or to particular project conventions. The customization of the prettyprinter is done by means of a user profile with a set of parameters. The available parameters have been chosen with respect to minimality of the user interface and reasonable flexibility. The paper includes a complete list of all parameters with examples. The prettyprinter is fairly portable; it consists of a language‐independent back end and a front end that is created by a compiler generator from a formal description of the language to be processed. Currently, Modula‐2 and Pascal versions of the prettyprinter have been implemented.

[1]  Ben Shneiderman,et al.  Program indentation and comprehensibility , 1983, CACM.

[2]  Gary T. Leavens,et al.  Prettyprinting styles for various languages , 1984, SIGP.

[3]  Niklaus Wirth,et al.  The personal computer Lilith , 1981 .

[4]  Prabhaker Mateti.  A specification schema for indenting programs , 1983, Softw. Pract. Exp..

[5]  Lisa F. Rubin.  Syntax-Directed Pretty Printing—A First Step Towards a Syntax-Directed Editor , 1983, IEEE Transactions on Software Engineering.

[6]  Amiram Yehudai.  Automatic indention versus program formatting , 1980, SIGP.

[7]  Patricia R. Mohilner,et al.  Prettyprinting PASCAL programs , 1978, SIGP.

[8]  Hanspeter Mössenböck,et al.  A compiler generator for microcomputers , 1989 .

[9]  Paul A. Bailes,et al.  A semantically‐based formatting discipline for Pascal , 1984, Softw. Pract. Exp..

[10]  Gordon A. Rose,et al.  Generation of Program-Preparation Systems for Formatted Programming Languages , 1983, IFIP Congress.

[11]  Roger R. Baldwin.  Systematic identation in PL/I: minimizing the reduction in horizontal space , 1986, SIGP.

[12]  J. Welsh,et al.  Formatted programming languages , 1981, Softw. Pract. Exp..

[13]  Manfred Jackel.  A formatting parser for PASCAL programs , 1980, SIGP.

[14]  James L. Peterson,et al.  On the formatting of Pascal programs , 1977, SIGP.

[15]  Henry Ledgard,et al.  An automatic formatting program for PASCAL , 1977, SIGP.

[16]  MARK WOODMAN,et al.  Formatted syntaxes and modula‐2 , 1986, Softw. Pract. Exp..

[17]  Joxan Jaffar,et al.  A correctness proof of an indenting program , 1983, Softw. Pract. Exp..

[18]  Peter Fritzson.  Adaptive prettyprinting of abstract syntax applied to ada and pascal , 1983 .

[19]  Arthur H. J. Sale.  Stylistics in Languages with Compound Statements , 1978, Aust. Comput. J..

[20]  Gustav Pomberger,et al.  Moses: a graphics oriented software development environment , 1987, CSC '87.