com.surelogic

Annotation Type ThreadConfined

@Documented
@Retention(value=RUNTIME)
@Target(value=FIELD)
public @interface ThreadConfined

Declares that the state referenced by this field is thread confined. By thread confined we mean the state referenced by the field is

• mutable,
• accessed (read and written) by one and only one thread, t1,
• until it is safely transferred to another thread, t2,
• and so on.

State is safely transferred from t1 to t2 when a happens-before exists between the last access in t1 and the first access in t2.

This annotation is trusted, i.e., it is not verified. Its use is for documentation.