| Лицензия |
Лицензия |
|---|---|
| Группа | Группаcom.surelogic |
| Идентификатор | Идентификаторpromises |
| Последняя версия | Последняя версия5.0.0 |
| Дата | Дата |
| Тип | Типjar |
| Описание |
ОписаниеSureLogic Promise Annotations
Provides the annotations necessary to express models of programmer
design intent in Java code. Promises are supra-linguistic formal
annotations to programs. Each promise has a precise meaning and
constrains the implementation and evolution of the code it targets.
Promises are also (typically) modular, meaning that the
implementation constraint on the code of a promise is limited in
scope.
|
| Ссылка на сайт |
Ссылка на сайт |
| Организация-разработчик |
Организация-разработчик |
| Имя Файла | Размер |
|---|---|
| promises-5.0.0.pom | |
| promises-5.0.0.jar | 18 KB |
| promises-5.0.0-sources.jar | 86 KB |
| promises-5.0.0-javadoc.jar | 226 KB |
| Обзор |
JarCasting<!-- https://jarcasting.com/artifacts/com.surelogic/promises/ -->
<dependency>
<groupId>com.surelogic</groupId>
<artifactId>promises</artifactId>
<version>5.0.0</version>
</dependency>// https://jarcasting.com/artifacts/com.surelogic/promises/
implementation 'com.surelogic:promises:5.0.0'// https://jarcasting.com/artifacts/com.surelogic/promises/
implementation ("com.surelogic:promises:5.0.0")'com.surelogic:promises:jar:5.0.0'<dependency org="com.surelogic" name="promises" rev="5.0.0">
<artifact name="promises" type="jar" />
</dependency>@Grapes(
@Grab(group='com.surelogic', module='promises', version='5.0.0')
)libraryDependencies += "com.surelogic" % "promises" % "5.0.0"[com.surelogic/promises "5.0.0"]