com.willhains.purity

Annotation Type IO

@Retention(value=SOURCE)
 @Target(value={TYPE,TYPE_PARAMETER})
public @interface IO

Indicates that a type has controller semantics.

Formally:

1. It is final, or all of its subtypes are guaranteed to have controller semantics.
2. It is at least shallowly immutable.
3. It might not have reliable equals, hashCode, or toString implementations.
4. It interacts with input and/or output.
5. It has no interaction with locks or concurrency mechanisms whatsoever.

Author:

willhains

See Also:

Pure, Mutable, Barrier