Package com.surelogic

Provides the annotations necessary to express models of programmer design intent in Java code.

See:
Description

Annotation Types Summary

Aggregate	Declares that regions of the object referenced by this field are to be mapped into regions of the object that contains the field to which this annotation is applied.
AggregateInRegion	Declares that the Instance region of the object referenced by this field is to be mapped into a named region of the object that contains the field to which this annotation is applied.
AllowsReferencesFrom	Constrains the set of types that are allowed to reference the annotated program element.
Assume	Declares an assumption about a portion of the system.
AssumeFinal	Declares that the field or parameter to which this annotation is applied should be treated as if it is declared final, despite the fact that it is not.
Assumes	Container annotation for multiple Assume annotations.
Borrowed	Declares that the parameter or receiver to which this annotation is applied does not receive any new aliases during execution of the method or constructor.
GuardedBy	The field or method to which this annotation is applied can only be accessed when holding a particular lock, which may be a built-in (synchronization) lock, or may be an explicit java.util.concurrent.Lock.
Immutable	The class to which this annotation is applied is immutable.
InLayer	Declares that the annotated type is part of the named layers.
InRegion	Declares that the field to which this annotation is applied is mapped into the named region.
InRegions	Container annotation for multiple InRegion annotations on a type.
Layer	Declares a named layer as well as the type set that types in the layer may refer to.
Layers	Container annotation for multiple Layer annotations.
MayReferTo	Constrains the set of types that a type is allowed to reference.
NotThreadSafe	The class to which this annotation is applied is not thread-safe.
PolicyLock	Declares a new policy lock for the class to which this annotation is applied.
PolicyLocks	Container annotation for multiple PolicyLock annotations on a type.
Promise	Declares a promise that applies to multiple declarations within the scope of code that the annotation appears on.
Promises	Container annotation for multiple Promise annotations.
Region	Declares a new abstract region of state for the class to which this annotation is applied.
RegionEffects	Declares the regions that may be read or written during execution of the method or constructor to which this annotation is applied.
RegionLock	Declares a new region lock for the class to which this annotation is applied.
RegionLocks	Container annotation for multiple RegionLock annotations.
Regions	Container annotation for multiple Region annotations.
RequiresLock	Declares that the method or constructor to which this annotation applies assumes that the caller holds the named locks.
ReturnsLock	Declares that the object returned by the method to which this annotation is applied is the named lock.
SingleThreaded	Deprecated.
Starts	Declares what threads, if any, are started, i.e., by Thread.start(), during the execution of the method or constructor to which this annotation is applied.
ThreadSafe	The class to which this annotation is applied is thread-safe.
TypeSet	Declares a named set of types to be used in MayReferTo and Layer annotations.
TypeSets	Container annotation for multiple TypeSet annotations.
Unique	Declares that the parameter, receiver, return value, or field to which this annotation is applied is a unique reference to an object.
Vouch	Vouches for any inconsistent analysis result within the scope of code that the annotation appears on.

Package com.surelogic Description

Provides the annotations necessary to express models of programmer design intent in Java code. Please suggest enhancements and report problems with these annotations to support@surelogic.com.