The following is a list of compile dependencies for this project. These dependencies are required to compile and run the application:
| GroupId | ArtifactId | Version | Type |
|---|---|---|---|
| org.overturetool | parser | 1.0.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 | Type |
|---|---|---|---|
| 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.
Unknown: The Overture Abstract Syntax, The VDM++ Standard Library, The VDM++ parser, The VDMJ Interpreter
Common Public License Version 1.0: JUnit
| Filename | Size | Entries | Classes | Packages | JDK Rev | Debug |
|---|---|---|---|---|---|---|
| junit-3.8.1.jar | 118.23 kB | 119 | 100 | 6 | 1.1 | debug |
| ast-1.0.0.jar | 580.77 kB | 470 | 456 | 3 | 1.5 | debug |
| parser-1.0.0.jar | 400.84 kB | 26 | 8 | 3 | 1.5 | debug |
| stdlib-1.0.0.jar | 327.01 kB | 343 | 176 | 7 | 1.5 | debug |
| Total | Size | Entries | Classes | Packages | JDK Rev | Debug |
| 4 | 1.39 MB | 958 | 740 | 19 | 1.5 | 4 |
| compile: 3 | compile: 1.28 MB | compile: 839 | compile: 640 | compile: 13 | - | compile: 3 |
| test: 1 | test: 118.23 kB | test: 119 | test: 100 | test: 6 | - | test: 1 |
| Repo ID | URL | Release | Snapshot |
|---|---|---|---|
| overturetool.org | http://www.overturetool.org/maven2 | Yes | Yes |
| central | http://repo1.maven.org/maven2 | Yes | - |
Repository locations for each of the Dependencies.
| Artifact | overturetool.org | central |
|---|---|---|
| junit:junit:jar:3.8.1 | - | 
|
| org.overturetool:ast:jar:1.0.0 |
|
- |
| org.overturetool:parser:jar:1.0.0 |
|
- |
| org.overturetool:stdlib:jar:1.0.0 |
|
- |
| Total | overturetool.org | central |
| 4 (compile: 3, test: 1) | 3 | 1 |
