Introduction | CZT Developer Tools

This part of website is intended for developers interested in working with CZT sources and contributing to the project.

Feel free to ask questions related to the CZT internals and discuss ideas for enhancements and bug fixes on the czt-devel mailing list.

Some documentation is available for setting up CZT development in command-line environment or Eclipse IDE:

This part of website also hosts custom tools used to build CZT itself (see sidebar and modules).

CZT developer tools

CZT project also releases the custom tools used for building CZT itself. The tools are quite generic and could be used for other projects in addition to Community Z Tools.

GnAST

Source code generator for creating Java ASTs from XML Schema definitions.

GnAST - the standalone library.
GnAST Maven plugin - Maven plugin.

ParserGen

Generates source files for different CZT parser generators by slicing the corresponding XML definition files. Allows common definition of different Z dialects.

ParserGen Maven plugin - Maven plugin for ParserGen tool.

Java CUP

CZT parsers are generated using CUP parser generator for Java.

CZT project provides a fork of the abandoned original project with several updates to support large parser grammars and others.

Java CUP - the standalone library and parser generator.
Java CUP Runtime - runtime library needed to use CUP-generated parsers.
CUP Maven plugin - Maven plugin.

CZT: Community Z Tools

CZT developer documentation

CZT developer tools

GnAST

ParserGen

Java CUP