JarCasting
JarCasting JarCasting

model-checker

Walkmod library to apply constraints to the AST

License

License
GroupId

GroupId

org.walkmod
ArtifactId

ArtifactId

model-checker
Last Version

Last Version

1.1
Release Date

Release Date
Type

Type

jar
Description

Description

model-checker
Walkmod library to apply constraints to the AST
Project URL

Project URL

https://github.com/rpau/javalang
Source Code Management

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
Browse

How to add to project

<!-- https://jarcasting.com/artifacts/org.walkmod/model-checker/ -->
<dependency>
    <groupId>org.walkmod</groupId>
    <artifactId>model-checker</artifactId>
    <version>1.1</version>
</dependency>
// https://jarcasting.com/artifacts/org.walkmod/model-checker/
implementation 'org.walkmod:model-checker:1.1'
// https://jarcasting.com/artifacts/org.walkmod/model-checker/
implementation ("org.walkmod:model-checker:1.1")
'org.walkmod:model-checker:jar:1.1'
<dependency org="org.walkmod" name="model-checker" rev="1.1">
  <artifact name="model-checker" type="jar" />
</dependency>
@Grapes(
@Grab(group='org.walkmod', module='model-checker', version='1.1')
)
libraryDependencies += "org.walkmod" % "model-checker" % "1.1"
[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.
org.walkmod

walkmod

Versions

Version
1.1
1.0