Package com.willhains.purity.annotations

Annotation Type Pure

@Retention(SOURCE)
@Target({TYPE,TYPE_PARAMETER,PARAMETER,TYPE_USE})
public @interface Pure

Indicates that a type has pure value semantics. Formally:

1. It is final, or all of its subtypes are guaranteed to have pure value semantics.
2. It is strictly and deeply immutable, and therefore inherently thread-safe.
3. It has correct equals, hashCode, and toString implementations.
4. It has no interaction with input/output whatsoever.
5. It has no interaction with locks or concurrency mechanisms whatsoever.

Author:

willhains

See Also:

Mutable, IO, Barrier