Package org.joe_e

Core Joe-E language features such as the Joe-E verified interfaces and methods for access to the overlay type system.

See:
Description

Interface Summary

Equatable	Marker interface for annotating classes whose instances are permitted to be compared using the == and != operators.
ErrorHandler	This is the interface for custom implementations to handle java.lang.Errors in a Joe-E program.
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.

Class Summary

JoeE	Joe-E core library functions.
Struct	This abstract class contains implementations of the equals() and hashCode() methods that satisfy the Selfless interface.
Token	Content-less class used solely for its unforgeable object identity.

Annotation Types Summary

IsJoeE

Package annotation to use for packages containing Joe-E code.

Package org.joe_e Description

Core Joe-E language features such as the Joe-E verified interfaces and methods for access to the overlay type system.