A B C G I L M N P R S T U V

A

Aggregate - Annotation Type in com.surelogic

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 - Annotation Type in com.surelogic

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 - Annotation Type in com.surelogic

Constrains the set of types that are allowed to reference the annotated program element.

Assume - Annotation Type in com.surelogic

Declares an assumption about a portion of the system.

AssumeFinal - Annotation Type in com.surelogic

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 - Annotation Type in com.surelogic

Container annotation for multiple Assume annotations.

B

Borrowed - Annotation Type in com.surelogic

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.

C

com.surelogic - package com.surelogic

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

G

GuardedBy - Annotation Type in com.surelogic

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.

I

Immutable - Annotation Type in com.surelogic

The class to which this annotation is applied is immutable.

InLayer - Annotation Type in com.surelogic

Declares that the annotated type is part of the named layers.

InRegion - Annotation Type in com.surelogic

Declares that the field to which this annotation is applied is mapped into the named region.

InRegions - Annotation Type in com.surelogic

Container annotation for multiple InRegion annotations on a type.

L

Layer - Annotation Type in com.surelogic

Declares a named layer as well as the type set that types in the layer may refer to.

Layers - Annotation Type in com.surelogic

Container annotation for multiple Layer annotations.

M

MayReferTo - Annotation Type in com.surelogic

Constrains the set of types that a type is allowed to reference.

N

NotThreadSafe - Annotation Type in com.surelogic

The class to which this annotation is applied is not thread-safe.

P

PolicyLock - Annotation Type in com.surelogic

Declares a new policy lock for the class to which this annotation is applied.

PolicyLocks - Annotation Type in com.surelogic

Container annotation for multiple PolicyLock annotations on a type.

Promise - Annotation Type in com.surelogic

Declares a promise that applies to multiple declarations within the scope of code that the annotation appears on.

Promises - Annotation Type in com.surelogic

Container annotation for multiple Promise annotations.

R

Region - Annotation Type in com.surelogic

Declares a new abstract region of state for the class to which this annotation is applied.

RegionEffects - Annotation Type in com.surelogic

Declares the regions that may be read or written during execution of the method or constructor to which this annotation is applied.

RegionLock - Annotation Type in com.surelogic

Declares a new region lock for the class to which this annotation is applied.

RegionLocks - Annotation Type in com.surelogic

Container annotation for multiple RegionLock annotations.

Regions - Annotation Type in com.surelogic

Container annotation for multiple Region annotations.

RequiresLock - Annotation Type in com.surelogic

Declares that the method or constructor to which this annotation applies assumes that the caller holds the named locks.

ReturnsLock - Annotation Type in com.surelogic

Declares that the object returned by the method to which this annotation is applied is the named lock.

S

SingleThreaded - Annotation Type in com.surelogic

Deprecated.

Starts - Annotation Type in com.surelogic

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.

T

ThreadSafe - Annotation Type in com.surelogic

The class to which this annotation is applied is thread-safe.

TypeSet - Annotation Type in com.surelogic

Declares a named set of types to be used in MayReferTo and Layer annotations.

TypeSets - Annotation Type in com.surelogic

Container annotation for multiple TypeSet annotations.

U

Unique - Annotation Type in com.surelogic

Declares that the parameter, receiver, return value, or field to which this annotation is applied is a unique reference to an object.

V

Vouch - Annotation Type in com.surelogic

Vouches for any inconsistent analysis result within the scope of code that the annotation appears on.

A B C G I L M N P R S T U V