Project Dependencies

compile

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 ast 1.0.0 jar

test

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

Project Transitive Dependencies

The following is a list of transitive dependencies for this project. Transitive dependencies are the dependencies of the project dependencies.

compile

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 stdlib 1.0.0 jar

Project Dependency Graph

Dependency Tree

  • org.overturetool:parser:jar:1.0.0 Information
    • org.overturetool:ast:jar:1.0.0 (compile) Information
      • org.overturetool:stdlib:jar:1.0.0 (compile) Information
    • junit:junit:jar:3.8.1 (test) Information

Licenses

Unknown: The Overture Abstract Syntax, The VDM++ Standard Library, The VDM++ parser

Common Public License Version 1.0: JUnit

Dependency File Details

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
stdlib-1.0.0.jar 327.01 kB 343 176 7 1.5 debug
Total Size Entries Classes Packages JDK Rev Debug
3 1.00 MB 932 732 16 1.5 3
compile: 2 compile: 907.78 kB compile: 813 compile: 632 compile: 10 - compile: 2
test: 1 test: 118.23 kB test: 119 test: 100 test: 6 - test: 1

Dependency Repository Locations

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 - Found at http://repo1.maven.org/maven2
org.overturetool:ast:jar:1.0.0 Found at http://www.overturetool.org/maven2 -
org.overturetool:stdlib:jar:1.0.0 Found at http://www.overturetool.org/maven2 -
Total overturetool.org central
3 (compile: 2, test: 1) 2 1