Uses of Package
org.joe_e

Packages that use org.joe_e

org.joe_e	Core Joe-E language features such as the Joe-E verified interfaces and methods for access to the overlay type system.
org.joe_e.array	Read-only arrays.
org.joe_e.file	The filesystem interface.
org.joe_e.var	Common programming idioms for mutable state.
org.ref_send	A pass-by-construction interface.
org.ref_send.brand	An opaque, globally unique identifier.
org.ref_send.log	A log file format.
org.ref_send.promise	A promise interface.
org.ref_send.scope	A pass-by-copy interface.
org.waterken.bang	A simple demonstration and test of eventual operations.
org.waterken.bounce	An argument passing test.
org.waterken.serial	An infinite series of elements.
org.waterken.syntax	A marshalling interface.
org.waterken.syntax.json	JSON <=> Java conversion.
org.waterken.trace	An event logging implementation.

Classes in org.joe_e used by org.joe_e

Equatable
Marker interface for annotating classes whose instances are permitted to be compared using the == and != operators.

Immutable
Marker interface for annotating classes that transitively do not contain any mutable state.

Powerless
Marker interface for annotating classes that transitively do not contain any mutable state or tokens.

Selfless
Marker interface for annotating classes that are indistinguishable from a shallow copy of themselves.

Classes in org.joe_e used by org.joe_e.array

Immutable
Marker interface for annotating classes that transitively do not contain any mutable state.

Powerless
Marker interface for annotating classes that transitively do not contain any mutable state or tokens.

Selfless
Marker interface for annotating classes that are indistinguishable from a shallow copy of themselves.

Classes in org.joe_e used by org.joe_e.file

Immutable
Marker interface for annotating classes that transitively do not contain any mutable state.

Powerless
Marker interface for annotating classes that transitively do not contain any mutable state or tokens.

Classes in org.joe_e used by org.joe_e.var

Equatable
Marker interface for annotating classes whose instances are permitted to be compared using the == and != operators.

Classes in org.joe_e used by org.ref_send

Selfless
Marker interface for annotating classes that are indistinguishable from a shallow copy of themselves.

Classes in org.joe_e used by org.ref_send.brand

Immutable
Marker interface for annotating classes that transitively do not contain any mutable state.

Powerless
Marker interface for annotating classes that transitively do not contain any mutable state or tokens.

Selfless
Marker interface for annotating classes that are indistinguishable from a shallow copy of themselves.

Classes in org.joe_e used by org.ref_send.log

Immutable
Marker interface for annotating classes that transitively do not contain any mutable state.

Powerless
Marker interface for annotating classes that transitively do not contain any mutable state or tokens.

Selfless
Marker interface for annotating classes that are indistinguishable from a shallow copy of themselves.

Struct
This abstract class contains implementations of the equals() and hashCode() methods that satisfy the Selfless interface.

Classes in org.joe_e used by org.ref_send.promise

Immutable
Marker interface for annotating classes that transitively do not contain any mutable state.

Powerless
Marker interface for annotating classes that transitively do not contain any mutable state or tokens.

Selfless
Marker interface for annotating classes that are indistinguishable from a shallow copy of themselves.

Struct
This abstract class contains implementations of the equals() and hashCode() methods that satisfy the Selfless interface.

Classes in org.joe_e used by org.ref_send.scope

Immutable
Marker interface for annotating classes that transitively do not contain any mutable state.

Powerless
Marker interface for annotating classes that transitively do not contain any mutable state or tokens.

Selfless
Marker interface for annotating classes that are indistinguishable from a shallow copy of themselves.

Classes in org.joe_e used by org.waterken.bang

Selfless
Marker interface for annotating classes that are indistinguishable from a shallow copy of themselves.

Struct
This abstract class contains implementations of the equals() and hashCode() methods that satisfy the Selfless interface.

Classes in org.joe_e used by org.waterken.bounce

Selfless
Marker interface for annotating classes that are indistinguishable from a shallow copy of themselves.

Struct
This abstract class contains implementations of the equals() and hashCode() methods that satisfy the Selfless interface.

Classes in org.joe_e used by org.waterken.serial

Selfless
Marker interface for annotating classes that are indistinguishable from a shallow copy of themselves.

Struct
This abstract class contains implementations of the equals() and hashCode() methods that satisfy the Selfless interface.

Classes in org.joe_e used by org.waterken.syntax

Immutable
Marker interface for annotating classes that transitively do not contain any mutable state.

Powerless
Marker interface for annotating classes that transitively do not contain any mutable state or tokens.

Selfless
Marker interface for annotating classes that are indistinguishable from a shallow copy of themselves.

Struct
This abstract class contains implementations of the equals() and hashCode() methods that satisfy the Selfless interface.

Classes in org.joe_e used by org.waterken.syntax.json

Immutable
Marker interface for annotating classes that transitively do not contain any mutable state.

Powerless
Marker interface for annotating classes that transitively do not contain any mutable state or tokens.

Selfless
Marker interface for annotating classes that are indistinguishable from a shallow copy of themselves.

Struct
This abstract class contains implementations of the equals() and hashCode() methods that satisfy the Selfless interface.

Classes in org.joe_e used by org.waterken.trace

Selfless
Marker interface for annotating classes that are indistinguishable from a shallow copy of themselves.

Struct
This abstract class contains implementations of the equals() and hashCode() methods that satisfy the Selfless interface.