|
|||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | ||||||||
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. |
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.
|
|||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | ||||||||