|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
public interface Immutable
Marker interface for annotating classes that transitively do not contain any mutable state. Joe-E requires that classes that implement this interface meet the obligation that all fields must be (1) final and (2) of a declared type that implements this interface in the overlay type system.
This interface contains no members.
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |