jar

org.bidib.com.surelogic : promises

Maven & Gradle

Feb 17, 2017

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 org.bidib.com.surelogic : promises JAR file - Latest Versions:

All Versions

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

Version Vulnerabilities Size Updated
5.6.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.6.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.Cast.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.Initialized.class - [JAR]

├─ com.surelogic.InitializedReferences.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.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.TrackPartiallyInitialized.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

Discover Dependencies

Jun 24, 2023
1 usages
19.4k stars
Jun 24, 2023
4 usages
19.4k stars
Jun 24, 2023
9 usages
19.5k stars
Jun 24, 2023
9 usages
19.4k stars
Jun 24, 2023
28 usages
19.7k stars
Aug 09, 2023
2.5k stars
Mar 30, 2018
0 stars
Apr 20, 2017
1 stars
Nov 18, 2019
1 usages