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