PrettyPrinter Combinators in F2J

Pretty Printer Library in F2J.

Happy ending, and nice pizza!

Xia Fan 15th, July 2015

Usage

• Run tests under each folder in CaseStudies

$ make test

Goals

• A Primitive Pretty Printer Library (PrettyPrintingLib/PrettyPrintingLib.sf)

• A Pretty Printer Library with Alternative Layouts (PrettyPrintingLib/PrettyPrintingLib2.sf)

• A Pretty Printer Library with Efficiency Imrpovement (PrettyPrintingLib/PrettyPrintingLib3.sf)

• A Tree Pretty Printer (CaseStudies/treeprinter/treeprinter3.sf)

• An XML Pretty Printer (CaseStudies/xmlprinter/xmlprinter.sf)

• A Feather Weight Java Pretty Printer (CaseStudies/fjprinter/fjprinter.sf)

• A Subset of F2J Pretty Printer (CaseStudies/f2jprinter/f2jprinter.sf)

• An Integration of Parser and Pretty Printer for Simple Arithmetic Expression (CaseStudies/arithExpr/pp.sf)

• An Integration of Parser and Pretty Printer for Feather Weight Java (CaseStudies/fjprinter/fjparserandprinter.sf)

• An Integration of Parser and Pretty Printer for a Subset of F2J (CaseStudies/f2jprinter/pp.sf)

License

BSD 2