Annotation processing for Donkey

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
Last Version	1.4.0
Release Date	Jan 31, 2022
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

Filename	Size
donkey-apt-1.4.0.pom
donkey-apt-1.4.0.jar	17 KB
donkey-apt-1.4.0-sources.jar	9 KB
donkey-apt-1.4.0-javadoc.jar	130 KB

How to add to project

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.

Versions

Version
1.4.0 Jan 31, 2022
1.3.0 Dec 12, 2021