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 vdmj 1.0.0 jar
org.overturetool vdmtoolsapi 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 ast 1.0.0 jar
org.overturetool parser 1.0.0 jar
org.overturetool stdlib 1.0.0 jar

Project Dependency Graph

Dependency Tree

  • org.overturetool:traces:jar:1.0.0 Information
    • org.overturetool:vdmj:jar:1.0.0 (compile) Information
      • org.overturetool:parser:jar:1.0.0 (compile) Information
        • org.overturetool:ast:jar:1.0.0 (compile) Information
          • org.overturetool:stdlib:jar:1.0.0 (compile) Information
    • org.overturetool:vdmtoolsapi: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: API for VDM Tools - wrapper for corba, Combinatorial Testing of VDM++ models, The Overture Abstract Syntax, The VDM++ Standard Library, The VDM++ parser, The VDMJ Interpreter

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
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
vdmj-1.0.0.jar 1,022.72 kB 544 515 19 1.5 debug
vdmtoolsapi-1.0.0.jar 20.17 kB 21 8 4 1.5 debug
Total Size Entries Classes Packages JDK Rev Debug
6 2.41 MB 1,523 1,263 42 1.5 6
compile: 5 compile: 2.30 MB compile: 1,404 compile: 1,163 compile: 36 - compile: 5
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:parser: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 -
org.overturetool:vdmj:jar:1.0.0 Found at http://www.overturetool.org/maven2 -
org.overturetool:vdmtoolsapi:jar:1.0.0 Found at http://www.overturetool.org/maven2 -
Total overturetool.org central
6 (compile: 5, test: 1) 5 1