1 Programming with assertions - Introduction
In the first part of this chapter a thematic introduction into the problems of the development of correct software is given and it is discussed how Jass tries to solve these problems. The chapter does not directly serve the purpose of describing the Jass precompiler; it rather explains the background that led to its development as part of a master thesis. The language extensions, the use, and the configuration possibilities will be discussed in the following parts.
2 Documentation Overview
The parts of this documentation are distributed over several files. The first parts describe the assertion language of Jass:
The next two parts are more technical and describe the tool usage:
The last three parts complete the documentation: