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