The Overture Abstract Syntax - Project Dependencies

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

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

No transitive dependencies are required for this project.

Project Dependency Graph

Dependency Tree

org.overturetool:ast:jar:1.0.1 Information

The Overture Abstract Syntax
Description: There is currently no description associated with this project. URL: http://www.overturetool.org/ast Project License: No project license is defined for this project.

org.overturetool:stdlib:jar:1.0.0 (compile) Information

The VDM++ Standard Library
Description: There is currently no description associated with this project. URL: http://www.overturetool.org/stdlib Project License: No project license is defined for this project.

junit:junit:jar:3.8.1 (test) Information

JUnit
Description: JUnit is a regression testing framework written by Erich Gamma and Kent Beck. It is used by the developer who implements unit tests in Java. URL: http://junit.org Project License: Common Public License Version 1.0

Licenses

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

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
stdlib-1.0.0.jar	327.01 kB	343	176	7	1.5	debug
Total	Size	Entries	Classes	Packages	JDK Rev	Debug
2	445.25 kB	462	276	13	1.5	2
compile: 1	compile: 327.01 kB	compile: 343	compile: 176	compile: 7	-	compile: 1
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	-
org.overturetool:stdlib:jar:1.0.0		-
Total	overturetool.org	central
2 (compile: 1, test: 1)	1	1

Project Documentation