Annotation processing for Donkey

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

Лицензия

Лицензия

MIT
Категории

Категории

KeY Данные Data Formats Formal Verification
Группа

Группа

io.github.asvanberg
Идентификатор

Идентификатор

donkey-apt
Последняя версия

Последняя версия

1.4.0
Дата

Дата

Тип

Тип

jar
Описание

Описание

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

Скачать donkey-apt

Как подключить последнюю версию

<!-- 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>
// https://jarcasting.com/artifacts/io.github.asvanberg/donkey-apt/
implementation 'io.github.asvanberg:donkey-apt:1.4.0'
// https://jarcasting.com/artifacts/io.github.asvanberg/donkey-apt/
implementation ("io.github.asvanberg:donkey-apt:1.4.0")
'io.github.asvanberg:donkey-apt:jar:1.4.0'
<dependency org="io.github.asvanberg" name="donkey-apt" rev="1.4.0">
  <artifact name="donkey-apt" type="jar" />
</dependency>
@Grapes(
@Grab(group='io.github.asvanberg', module='donkey-apt', version='1.4.0')
)
libraryDependencies += "io.github.asvanberg" % "donkey-apt" % "1.4.0"
[io.github.asvanberg/donkey-apt "1.4.0"]

Зависимости

compile (1)

Идентификатор библиотеки Тип Версия
jakarta.json.bind : jakarta.json.bind-api jar 2.0.0

test (3)

Идентификатор библиотеки Тип Версия
jakarta.json : jakarta.json-api jar 2.0.1
org.junit.jupiter : junit-jupiter jar
org.assertj : assertj-core jar 3.20.1

Модули Проекта

Данный проект не имеет модулей.

Версии библиотеки

Версия
1.4.0
1.3.0