Design and Implementation of a Pretty Printer for the Functional Specification Language SPEC

摘要

The purpose of this thesis is to develop and implement a language dependent pretty printer for the SPEC language. SPEC is a formal language for writing black-box specifications for components of software systems which are developed in the functional specification stage of software development. The pretty printer is a software tool used to format specifications to make them easier to understand and read. A computer program was written implementing the pretty printer design criteria. The program uses Kodiyak and was written as an attribute grammar. Included is a listing of the grammar for the SPEC language, the pretty printer program source listing, a representative sample of input used to test the pretty printer program and resulting output. A significant result of this study is the conclusion that by abstracting this language dependent pretty printer, it is feasible to use Kodiyak to create a language independent pretty printer generator. (KR)