model-checker 1.1

Walkmod library to apply constraints to the AST

License	GNU General Public License (GPL v.3)
GroupId	org.walkmod
ArtifactId	model-checker
Version	1.1
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 1.1

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

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.