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.

License	The Apache Software License, Version 2.0
GroupId	com.surelogic
ArtifactId	promises
Last Version	5.0.0
Release Date	Nov 1, 2013
Type	jar
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	http://surelogic.com/promises
Project Organization	Surelogic, Inc.

Download promises

Filename	Size
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

How to add to project

Apache Maven

<!-- https://jarcasting.com/artifacts/com.surelogic/promises/ -->
<dependency>
    <groupId>com.surelogic</groupId>
    <artifactId>promises</artifactId>
    <version>5.0.0</version>
</dependency>

Gradle Groovy

// https://jarcasting.com/artifacts/com.surelogic/promises/
implementation 'com.surelogic:promises:5.0.0'

Gradle Kotlin

// https://jarcasting.com/artifacts/com.surelogic/promises/
implementation ("com.surelogic:promises:5.0.0")

Apache Buildr

'com.surelogic:promises:jar:5.0.0'

Apache Ivy

<dependency org="com.surelogic" name="promises" rev="5.0.0">
  <artifact name="promises" type="jar" />
</dependency>

Groovy Grape

@Grapes(
@Grab(group='com.surelogic', module='promises', version='5.0.0')
)

Scala SBT

libraryDependencies += "com.surelogic" % "promises" % "5.0.0"

Leiningen

[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.

Versions

Version
5.0.0 Nov 1, 2013
4.4.0 Dec 12, 2012
4.3.1 Jul 2, 2012
4.3.0 Jun 6, 2012
4.0.3 Apr 13, 2012
4.0.2 Sep 14, 2011
4.0.1 Aug 30, 2011
4.0.0 Aug 9, 2011
3.2.2 Jan 10, 2011
3.2.1 May 11, 2010
3.1.0 Dec 11, 2009
3.0.0 Nov 5, 2009