| Лицензия |
Лицензия |
|---|---|
| Категории |
КатегорииAnt Компиляция и сборка KeY Данные Data Formats Formal Verification |
| Группа | Группаit.uniroma2.art.semanticturkey |
| Идентификатор | Идентификаторst-codegen-annotations |
| Последняя версия | Последняя версия11.1 |
| Дата | Дата |
| Тип | Типjar |
| Описание |
ОписаниеCodegen - Annotations
this module contains the definition of available custom annotations for code generation of the service controllers
|
| Организация-разработчик |
Организация-разработчик |
| Имя Файла | Размер |
|---|---|
| st-codegen-annotations-11.1.pom | |
| st-codegen-annotations-11.1.jar | 3 KB |
| st-codegen-annotations-11.1-sources.jar | 3 KB |
| st-codegen-annotations-11.1-javadoc.jar | 24 KB |
| Обзор |
JarCasting<!-- https://jarcasting.com/artifacts/it.uniroma2.art.semanticturkey/st-codegen-annotations/ -->
<dependency>
<groupId>it.uniroma2.art.semanticturkey</groupId>
<artifactId>st-codegen-annotations</artifactId>
<version>11.1</version>
</dependency>// https://jarcasting.com/artifacts/it.uniroma2.art.semanticturkey/st-codegen-annotations/
implementation 'it.uniroma2.art.semanticturkey:st-codegen-annotations:11.1'// https://jarcasting.com/artifacts/it.uniroma2.art.semanticturkey/st-codegen-annotations/
implementation ("it.uniroma2.art.semanticturkey:st-codegen-annotations:11.1")'it.uniroma2.art.semanticturkey:st-codegen-annotations:jar:11.1'<dependency org="it.uniroma2.art.semanticturkey" name="st-codegen-annotations" rev="11.1">
<artifact name="st-codegen-annotations" type="jar" />
</dependency>@Grapes(
@Grab(group='it.uniroma2.art.semanticturkey', module='st-codegen-annotations', version='11.1')
)libraryDependencies += "it.uniroma2.art.semanticturkey" % "st-codegen-annotations" % "11.1"[it.uniroma2.art.semanticturkey/st-codegen-annotations "11.1"]| Идентификатор библиотеки | Тип | Версия |
|---|---|---|
| javax.validation : validation-api | jar | 1.1.0.Final |