All Downloads are FREE. Search and download functionalities are using the official Maven repository.
Search JAR files by class name

Download promises JAR 5.0.0 with all dependencies


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.

Files of the artifact promises version 5.0.0 from the group com.surelogic.

Artifact promises
Group com.surelogic
Version 5.0.0
Last update 01. November 2013
Tags: limited typically scope programmer constrains constraint express supra targets programs promise provides linguistic code meaning intent evolution models that formal implementation promises modular necessary java each annotations also precise design
Organization Surelogic, Inc.
URL http://surelogic.com/promises
License The Apache Software License, Version 2.0
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!
The newest version!
Show more of this group  Show more artifacts with this name
Show all versions of promises Show documentation

Please rate this JAR file. Is it a good library?

1 downloads

Source code of promises version 5.0.0

META-INF
META-INF.META-INF.MANIFEST.MF
com.surelogic
com.surelogic.com.surelogic.AllowsReferencesFrom
com.surelogic.com.surelogic.AnnotationBounds
com.surelogic.com.surelogic.Assume
com.surelogic.com.surelogic.Assumes
com.surelogic.com.surelogic.Borrowed
com.surelogic.com.surelogic.BorrowedInRegion
com.surelogic.com.surelogic.Containable
com.surelogic.com.surelogic.GuardedBy
com.surelogic.com.surelogic.Immutable
com.surelogic.com.surelogic.InLayer
com.surelogic.com.surelogic.InRegion
com.surelogic.com.surelogic.InRegions
com.surelogic.com.surelogic.Layer
com.surelogic.com.surelogic.Layers
com.surelogic.com.surelogic.MayReferTo
com.surelogic.com.surelogic.MustInvokeOnOverride
com.surelogic.com.surelogic.Mutable
com.surelogic.com.surelogic.NonNull
com.surelogic.com.surelogic.NotContainable
com.surelogic.com.surelogic.NotThreadSafe
com.surelogic.com.surelogic.Nullable
com.surelogic.com.surelogic.Part
com.surelogic.com.surelogic.PolicyLock
com.surelogic.com.surelogic.PolicyLocks
com.surelogic.com.surelogic.Promise
com.surelogic.com.surelogic.Promises
com.surelogic.com.surelogic.Raw
com.surelogic.com.surelogic.Raws
com.surelogic.com.surelogic.ReadOnly
com.surelogic.com.surelogic.ReferenceObject
com.surelogic.com.surelogic.Region
com.surelogic.com.surelogic.RegionEffects
com.surelogic.com.surelogic.RegionLock
com.surelogic.com.surelogic.RegionLocks
com.surelogic.com.surelogic.Regions
com.surelogic.com.surelogic.RequiresLock
com.surelogic.com.surelogic.ReturnsLock
com.surelogic.com.surelogic.Singleton
com.surelogic.com.surelogic.Starts
com.surelogic.com.surelogic.ThreadConfined
com.surelogic.com.surelogic.ThreadSafe
com.surelogic.com.surelogic.TypeSet
com.surelogic.com.surelogic.TypeSets
com.surelogic.com.surelogic.Unique
com.surelogic.com.surelogic.UniqueInRegion
com.surelogic.com.surelogic.Utility
com.surelogic.com.surelogic.ValueObject
com.surelogic.com.surelogic.Vouch
com.surelogic.com.surelogic.package-info




© 2015 - 2024 Weber Informatics LLC | Privacy Policy