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.
AnnotationBounds - Annotation Type in com.surelogic
This annotation is used to add constraints to the formal type parameters of the annotated type.
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
When used on a parameter or method, declares that the reference passed to the parameter or receiver of the method 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.

C

Cast - Class in com.surelogic
A utility class to cast object references to non-null references and nullable references.
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
Instances of the type (class or interface) to which this annotation is applied are immutable.
Initialized - Annotation Type in com.surelogic
Declares that the object referenced by the local variable, return value, receiver, or formal parameter may be only partially initialized.
InitializedReferences - Annotation Type in com.surelogic
Container annotation for multiple Initialized annotations on a method.
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 the annotated type is allowed to reference.
MustInvokeOnOverride - Annotation Type in com.surelogic
Declares that the method to which this annotation is applied must be invoked by any method that directly overrides it.
Mutable - Annotation Type in com.surelogic
The class to which this annotation is applied is mutable, that is, has state that is changeable.

N

NonNull - Annotation Type in com.surelogic
Declares that the parameter, local variable, return value, or field to which this annotation is applied is a reference to an object.
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.
Nullable - Annotation Type in com.surelogic
Declares that the parameter, local variable, return value, or field to which this annotation is applied is a reference to an object or null.

P

Part - Enum in com.surelogic
An enumeration allowing ThreadSafe, NotThreadSafe, Immutable, and Mutable promises to control which portion of a declaration's state they apply to.
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

ReferenceObject - Annotation Type in com.surelogic
Indicates that instances of this type are not fundamentally defined by their attributes.
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 should be invoked holding one or more 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

ThreadConfined - Annotation Type in com.surelogic
Declares that the state referenced by this field is thread confined.
ThreadSafe - Annotation Type in com.surelogic
The type to which this annotation is applied is thread-safe.
toNonNull(T) - Static method in class com.surelogic.Cast
Casts any reference to a non-null reference which may be assigned to any variable annotated to be NonNull.
toNonNull(T, String) - Static method in class com.surelogic.Cast
Casts any reference to a non-null reference which may be assigned to any variable annotated to be NonNull.
toNullable(T) - Static method in class com.surelogic.Cast
Casts any reference to a nullable reference which may be assigned to any variable annotated to be Nullable or unannotated.
toNullable(T, String) - Static method in class com.surelogic.Cast
Casts any reference to a nullable reference which may be assigned to any variable annotated to be Nullable or unannotated.
toUniqueReference(T) - Static method in class com.surelogic.Cast
Casts any reference to a unique reference which may be assigned to any field annotated to be Unique.
toUniqueReference(T, String) - Static method in class com.surelogic.Cast
Casts any reference to a unique reference which may be assigned to any field annotated to be Unique.
TrackPartiallyInitialized - Annotation Type in com.surelogic
When used on a class this annotation indicates that that object specifies, using Initialized annotations, any methods that may be invoked with a partially initialized object.
TypeSet - Annotation Type in com.surelogic
Declares a named set of types to be used in AllowsReferencesFrom, 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

ValueObject - Annotation Type in com.surelogic
Indicates that instances of this type are fundamentally defined by their attributes.
valueOf(String) - Static method in enum com.surelogic.Part
Returns the enum constant of this type with the specified name.
values() - Static method in enum com.surelogic.Part
Returns an array containing the constants of this enum type, in the order they are declared.
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