Main
Get CZT
Documentation
Project Documentation
Parent Project
The following is a list of compile dependencies for this project. These dependencies are required to compile and run the application:
| GroupId | ArtifactId | Version | Classifier | Type | Optional |
|---|---|---|---|---|---|
| net.sourceforge.czt | parser | 1.0 | - | jar |
The following is a list of test dependencies for this project. These dependencies are only required to compile and run unit tests for the application:
| GroupId | ArtifactId | Version | Classifier | Type | Optional |
|---|---|---|---|---|---|
| junit | junit | 3.8.1 | - | jar |
The following is a list of transitive dependencies for this project. Transitive dependencies are the dependencies of the project dependencies.
The following is a list of compile dependencies for this project. These dependencies are required to compile and run the application:
| GroupId | ArtifactId | Version | Classifier | Type | Optional |
|---|---|---|---|---|---|
| net.sourceforge.czt | corejava | 2.1.0 | - | jar | |
| net.sourceforge.czt | java_cup | 1.0 | - | jar | |
| net.sourceforge.czt | jaxb | 1.0 | - | jar | |
| net.sourceforge.czt | session | 1.0 | - | jar | |
| net.sourceforge.czt | util | 1.0 | - | jar | |
| net.sourceforge.czt | zml | 1.0 | - | jar |
Provides classes for parsing and printing Z Pattern specifications.
http://czt.sourceforge.net/parser-zpatt
Unnamed - junit:junit:jar:3.8.1
Provides classes for parsing and printing Z specifications.
http://czt.sourceforge.net/parser
Provides AST classes for Z and Z extensions.
http://czt.sourceforge.net/corejava
Jaxb generated classes.
http://czt.sourceforge.net/jaxb
Provides utility classes for CZT.
http://czt.sourceforge.net/util
Provides XML Schemas that define the XML markup for Z and example specifications in various mark-ups.
http://czt.sourceforge.net/zml
Provides classes for managing and caching Z sections and other Z-related artifacts.
http://czt.sourceforge.net/session/
Java Cup (parser generator) set up for CZT.