Skip to content

Latest commit

 

History

History
52 lines (25 loc) · 1.27 KB

README.md

File metadata and controls

52 lines (25 loc) · 1.27 KB

PrettyPrinter Combinators in F2J

License BSD 2

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