Uses of Interface
org.joe_e.Immutable

Packages that use Immutable

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.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.syntax	A marshalling interface.
org.waterken.syntax.json	JSON <=> Java conversion.

Uses of Immutable in org.joe_e

Subinterfaces of Immutable in org.joe_e

interface	ErrorHandler This is the interface for custom implementations to handle java.lang.Errors in a Joe-E program.
interface	Powerless Marker interface for annotating classes that transitively do not contain any mutable state or tokens.

Classes in org.joe_e that implement Immutable

class

Token Content-less class used solely for its unforgeable object identity.

Uses of Immutable in org.joe_e.array

Classes in org.joe_e.array that implement Immutable

class	BooleanArray An immutable array of boolean.
class	ByteArray An immutable array of byte.
class	CharArray An immutable array of char.
class	DoubleArray An immutable array of double.
class	FloatArray An immutable array of float.
class	ImmutableArray<E> An immutable array containing immutable objects.
class	IntArray An immutable array of int.
class	LongArray An immutable array of long.
class	PowerlessArray<E> An immutable array containing powerless objects.
class	ShortArray An immutable array of short.

Uses of Immutable in org.joe_e.file

Classes in org.joe_e.file that implement Immutable

class

InvalidFilenameException Signals an invalid filename.

Uses of Immutable in org.ref_send.brand

Classes in org.ref_send.brand that implement Immutable

class	Amount<T> A typed long value.
class	Brand<T> An opaque, globally unique identifier.
class	WrongBrand Signals a Brand mismatch.

Uses of Immutable in org.ref_send.log

Classes in org.ref_send.log that implement Immutable

class	Anchor A marker for a point in an event loop turn where an event originated.
class	CallSite A source code location.
class	Comment Logs a comment.
class	Event Logs an event.
class	Fulfilled Logs fulfillment of a promise.
class	Got Logs receipt of a message.
class	Pipelined Logs a conditional send of a message processed at the callee's site.
class	Problem Logs an uncaught exception.
class	Progressed Logs progress towards resolution of a promise.
class	Rejected Logs rejection of a promise.
class	Resolved Logs resolution of a condition.
class	Returned Logs sending of a return value.
class	Sent Logs a message send.
class	SentIf Logs a conditional message send.
class	Trace A stack trace.
class	Turn An event loop turn identifier.

Uses of Immutable in org.ref_send.promise

Classes in org.ref_send.promise that implement Immutable

class	Failure Indicates a failed HTTP request.
class	NotAMaker Indicates the class provided to spawn is not a Maker.
class	Unresolved Signals a call to an unresolved promise.

Uses of Immutable in org.ref_send.scope

Classes in org.ref_send.scope that implement Immutable

class	Layout<T> Structural type of a Scope.
class	Unavailable Signals use of an unavailable name.

Uses of Immutable in org.waterken.syntax

Subinterfaces of Immutable in org.waterken.syntax

interface	Deserializer An object deserializer.
interface	Serializer An object serializer.

Classes in org.waterken.syntax that implement Immutable

class	BadSyntax Signals invalid syntax.
class	MissingDeserializer Signals a Record that does not have a constructor meeting all of the requirements for a deserializer.
class	NonFinalRecordField Signals a non-final public instance field in a pass-by-copy type.
class	Syntax A serialization syntax.
class	WrongToken Signals parsed data did not contain an expected token at a required position.

Uses of Immutable in org.waterken.syntax.json

Classes in org.waterken.syntax.json that implement Immutable

class	JSONDeserializer Deserializes a JSON byte stream.
class	JSONSerializer Serializes an array of Java objects to a JSON byte stream.