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.