jar

com.surelogic : promises

Maven & Gradle

Nov 01, 2013
2 usages

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.

Table Of Contents

Latest Version

Download com.surelogic : promises JAR file - Latest Versions:

All Versions

Download com.surelogic : promises JAR file - All Versions:

Version Vulnerabilities Size Updated
5.0.x
4.4.x
4.3.x
4.0.x
3.2.x
3.1.x
3.0.x

View Java Class Source Code in JAR file

  1. Download JD-GUI to open JAR file and explore Java source code file (.class .java)
  2. Click menu "File → Open File..." or just drag-and-drop the JAR file in the JD-GUI window promises-5.0.0.jar file.
    Once you open a JAR file, all the java classes in the JAR file will be displayed.

com.surelogic

├─ com.surelogic.AllowsReferencesFrom.class - [JAR]

├─ com.surelogic.AnnotationBounds.class - [JAR]

├─ com.surelogic.Assume.class - [JAR]

├─ com.surelogic.Assumes.class - [JAR]

├─ com.surelogic.Borrowed.class - [JAR]

├─ com.surelogic.BorrowedInRegion.class - [JAR]

├─ com.surelogic.Containable.class - [JAR]

├─ com.surelogic.GuardedBy.class - [JAR]

├─ com.surelogic.Immutable.class - [JAR]

├─ com.surelogic.InLayer.class - [JAR]

├─ com.surelogic.InRegion.class - [JAR]

├─ com.surelogic.InRegions.class - [JAR]

├─ com.surelogic.Layer.class - [JAR]

├─ com.surelogic.Layers.class - [JAR]

├─ com.surelogic.MayReferTo.class - [JAR]

├─ com.surelogic.MustInvokeOnOverride.class - [JAR]

├─ com.surelogic.Mutable.class - [JAR]

├─ com.surelogic.NonNull.class - [JAR]

├─ com.surelogic.NotContainable.class - [JAR]

├─ com.surelogic.NotThreadSafe.class - [JAR]

├─ com.surelogic.Nullable.class - [JAR]

├─ com.surelogic.Part.class - [JAR]

├─ com.surelogic.PolicyLock.class - [JAR]

├─ com.surelogic.PolicyLocks.class - [JAR]

├─ com.surelogic.Promise.class - [JAR]

├─ com.surelogic.Promises.class - [JAR]

├─ com.surelogic.Raw.class - [JAR]

├─ com.surelogic.Raws.class - [JAR]

├─ com.surelogic.ReadOnly.class - [JAR]

├─ com.surelogic.ReferenceObject.class - [JAR]

├─ com.surelogic.Region.class - [JAR]

├─ com.surelogic.RegionEffects.class - [JAR]

├─ com.surelogic.RegionLock.class - [JAR]

├─ com.surelogic.RegionLocks.class - [JAR]

├─ com.surelogic.Regions.class - [JAR]

├─ com.surelogic.RequiresLock.class - [JAR]

├─ com.surelogic.ReturnsLock.class - [JAR]

├─ com.surelogic.Singleton.class - [JAR]

├─ com.surelogic.Starts.class - [JAR]

├─ com.surelogic.ThreadConfined.class - [JAR]

├─ com.surelogic.ThreadSafe.class - [JAR]

├─ com.surelogic.TypeSet.class - [JAR]

├─ com.surelogic.TypeSets.class - [JAR]

├─ com.surelogic.Unique.class - [JAR]

├─ com.surelogic.UniqueInRegion.class - [JAR]

├─ com.surelogic.Utility.class - [JAR]

├─ com.surelogic.ValueObject.class - [JAR]

├─ com.surelogic.Vouch.class - [JAR]

├─ com.surelogic.package-info.class - [JAR]

Advertisement

Dependencies from Group

Nov 01, 2013
2 usages

Discover Dependencies

May 23, 2023
6 usages
581 stars
Jan 25, 2023
39 usages
1 stars
Feb 27, 2022
11 usages
770 stars
Apr 23, 2023
73 usages
45.2k stars
Oct 10, 2020
4 usages
288 stars
Oct 03, 2021
3 usages
3 stars
Apr 22, 2021
5 usages
0 stars
Jul 21, 2022
8 usages
4 stars
Oct 16, 2015
2 usages