JarCasting
JarCasting JarCasting
Last Version

SureLogic Promise Annotations 5.0.0

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.

License

License
GroupId

GroupId

com.surelogic
ArtifactId

ArtifactId

promises
Version

Version

5.0.0
Type

Type

jar
Description

Description

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.
Project URL

Project URL

http://surelogic.com/promises
Project Organization

Project Organization

Surelogic, Inc.

Download promises 5.0.0

Filename Size
promises-5.0.0.pom
promises-5.0.0.jar 23 KB
promises-5.0.0-sources.jar 107 KB
promises-5.0.0-javadoc.jar 270 KB
Browse 

<!-- 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"]

Dependencies

There are no dependencies for this project. It is a standalone project that does not depend on any other jars.

Project Modules

There are no modules declared in this project.