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 |
|---|---|---|---|---|---|
| bsf | bsf | 2.2 | - | jar | |
| junit | junit | 3.8.1 | - | jar | |
| net.sourceforge.czt | zlive | 1.0 | - | jar | |
| rhino | rhino | 1.5-R3 | - | 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 | parser | 1.0 | - | jar | |
| net.sourceforge.czt | parser-zpatt | 1.0 | - | jar | |
| net.sourceforge.czt | rules | 1.0 | - | jar | |
| net.sourceforge.czt | session | 1.0 | - | jar | |
| net.sourceforge.czt | typechecker | 1.0 | - | jar | |
| net.sourceforge.czt | util | 1.0 | - | jar | |
| net.sourceforge.czt | zml | 1.0 | - | jar |
Provides classes for managing and caching Z sections and other Z-related artifacts.
http://czt.sourceforge.net/gaffe
Unnamed - junit:junit:jar:3.8.1
Provides animation and testing facilities for standard Z specifications.
http://czt.sourceforge.net/zlive
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.
http://czt.sourceforge.net/java_cup
Provides classes for transforming and proving Z specifications.
http://czt.sourceforge.net/rules
Provides classes for parsing and printing Z Pattern specifications.
http://czt.sourceforge.net/parser-zpatt
Provides classes for typechecking a Z specification.