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

A

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.

Assumes - Annotation Type in com.surelogic

Container annotation for multiple Assume annotations.

B

Borrowed - Annotation Type in com.surelogic

Declares that the reference passed to the parameter or receiver to which this annotation is applied does not receive any new aliases due to reads from the annotated parameter or receiver during execution of the method or constructor.

BorrowedInRegion - Annotation Type in com.surelogic

Annotating a field as @BorrowedInRegion means that the entity pointed to by the field is unique as long as the object with the annotated field is being used.

C

com.surelogic - package com.surelogic

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

Containable - Annotation Type in com.surelogic

The class to which this annotation is applied is declared to be containable.

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

When used on a class or interface declaration, this annotation declares that instances of the annotated type are always 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.

Mutable - Annotation Type in com.surelogic

The class to which this annotation is applied is mutable, that is, has state that is changeable.

N

NotContainable - Annotation Type in com.surelogic

The class to which this annotation is applied is not containable.

NotThreadSafe - Annotation Type in com.surelogic

The type 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

ReadOnly - Annotation Type in com.surelogic

Declares that the parameter, receiver, return value, or field to which this annotation is applied cannot be used to mutate an object.

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

Singleton - Annotation Type in com.surelogic

The class to which this annotation is applied is a singleton, meaning it has only one instance and provides a global point of access to that instance.

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 type 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.

UniqueInRegion - Annotation Type in com.surelogic

Declares that the field to which this annotation is applied is a unique reference to an object.

Utility - Annotation Type in com.surelogic

The class to which this annotation is applied is a utility, meaning it only has static methods and state.

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