Annotation processing for Donkey 1.4.0

Adds compile time checks and code generation to make working with Donkey faster and more enjoyable.

License	MIT
Categories	KeY Data Data Formats Formal Verification
GroupId	io.github.asvanberg
ArtifactId	donkey-apt
Version	1.4.0
Type	jar
Description	Annotation processing for Donkey Adds compile time checks and code generation to make working with Donkey faster and more enjoyable.

Download donkey-apt 1.4.0

Filename	Size
donkey-apt-1.4.0.pom
donkey-apt-1.4.0.jar	24 KB
donkey-apt-1.4.0-sources.jar	12 KB
donkey-apt-1.4.0-javadoc.jar	135 KB

Apache Maven

<!-- https://jarcasting.com/artifacts/io.github.asvanberg/donkey-apt/ -->
<dependency>
    <groupId>io.github.asvanberg</groupId>
    <artifactId>donkey-apt</artifactId>
    <version>1.4.0</version>
</dependency>

Gradle Groovy

// https://jarcasting.com/artifacts/io.github.asvanberg/donkey-apt/
implementation 'io.github.asvanberg:donkey-apt:1.4.0'

Gradle Kotlin

// https://jarcasting.com/artifacts/io.github.asvanberg/donkey-apt/
implementation ("io.github.asvanberg:donkey-apt:1.4.0")

Apache Buildr

'io.github.asvanberg:donkey-apt:jar:1.4.0'

Apache Ivy

<dependency org="io.github.asvanberg" name="donkey-apt" rev="1.4.0">
  <artifact name="donkey-apt" type="jar" />
</dependency>

Groovy Grape

@Grapes(
@Grab(group='io.github.asvanberg', module='donkey-apt', version='1.4.0')
)

Scala SBT

libraryDependencies += "io.github.asvanberg" % "donkey-apt" % "1.4.0"

Leiningen

[io.github.asvanberg/donkey-apt "1.4.0"]

Dependencies

compile (1)

Group / Artifact	Type	Version
jakarta.json.bind : jakarta.json.bind-api	jar	2.0.0

test (3)

Group / Artifact	Type	Version
jakarta.json : jakarta.json-api	jar	2.0.1
org.junit.jupiter : junit-jupiter	jar
org.assertj : assertj-core	jar	3.20.1

Project Modules

There are no modules declared in this project.