model-checker

Walkmod library to apply constraints to the AST

License	GNU General Public License (GPL v.3)
GroupId	org.walkmod
ArtifactId	model-checker
Last Version	1.1
Release Date	Feb 14, 2016
Type	jar
Description	model-checker Walkmod library to apply constraints to the AST
Project URL	https://github.com/rpau/javalang
Source Code Management	https://github.com/walkmod/model-checker

Download model-checker

Filename	Size
model-checker-1.1.pom
model-checker-1.1.jar	3 KB
model-checker-1.1-sources.jar	2 KB
model-checker-1.1-javadoc.jar	30 KB

How to add to project

Apache Maven

<!-- https://jarcasting.com/artifacts/org.walkmod/model-checker/ -->
<dependency>
    <groupId>org.walkmod</groupId>
    <artifactId>model-checker</artifactId>
    <version>1.1</version>
</dependency>

Gradle Groovy

// https://jarcasting.com/artifacts/org.walkmod/model-checker/
implementation 'org.walkmod:model-checker:1.1'

Gradle Kotlin

// https://jarcasting.com/artifacts/org.walkmod/model-checker/
implementation ("org.walkmod:model-checker:1.1")

Apache Buildr

'org.walkmod:model-checker:jar:1.1'

Apache Ivy

<dependency org="org.walkmod" name="model-checker" rev="1.1">
  <artifact name="model-checker" type="jar" />
</dependency>

Groovy Grape

@Grapes(
@Grab(group='org.walkmod', module='model-checker', version='1.1')
)

Scala SBT

libraryDependencies += "org.walkmod" % "model-checker" % "1.1"

Leiningen

[org.walkmod/model-checker "1.1"]

Dependencies

There are no dependencies for this project. It is a standalone project that does not depend on any other jars.

Project Modules

There are no modules declared in this project.

walkmod

Versions

Version
1.1 Feb 14, 2016
1.0 Feb 14, 2016