ref_send API 1.16
defensive programming in Java
A B C D E F G H I J L M N O P R S T U V W _

A

a - Variable in class org.waterken.bounce.AllTypes
unknown type
abort(Error) - Static method in class org.joe_e.JoeE
Aborts the current flow of control.
AllTypes - Class in org.waterken.bounce
A record containing a field of each type.
AllTypes(BooleanArray, CharArray, FloatArray, DoubleArray, ByteArray, ShortArray, IntArray, LongArray, String, ConstArray<Runnable>, ConstArray<Volatile>, Object) - Constructor for class org.waterken.bounce.AllTypes
Constructs an instance.
and(Eventual, Volatile<Boolean>...) - Static method in class org.ref_send.test.Logic
Create a promise for the logical AND of multiple boolean promises.
append(E) - Method in interface org.joe_e.array.ArrayBuilder
Appends an element to the Array
append(E[]) - Method in interface org.joe_e.array.ArrayBuilder
Appends all elements from a Java array to the Array
append(E[], int, int) - Method in interface org.joe_e.array.ArrayBuilder
Appends a range of elements from a Java array to the Array
append(Boolean) - Method in class org.joe_e.array.BooleanArray.Builder
Append a Boolean
append(Boolean[]) - Method in class org.joe_e.array.BooleanArray.Builder
Append an array of Booleans
append(Boolean[], int, int) - Method in class org.joe_e.array.BooleanArray.Builder
Append a range of elements from an array of Booleans
append(boolean) - Method in class org.joe_e.array.BooleanArray.Builder
Append a boolean
append(boolean[]) - Method in class org.joe_e.array.BooleanArray.Builder
Append an array of booleans
append(boolean[], int, int) - Method in class org.joe_e.array.BooleanArray.Builder
Append a range of elements from an array of booleans
append(Byte) - Method in class org.joe_e.array.ByteArray.Builder
Append a Byte
append(Byte[]) - Method in class org.joe_e.array.ByteArray.Builder
Append an array of Bytess
append(Byte[], int, int) - Method in class org.joe_e.array.ByteArray.Builder
Append a range of elements from an array of Bytes
append(byte) - Method in class org.joe_e.array.ByteArray.Builder
Append a byte
append(byte[]) - Method in class org.joe_e.array.ByteArray.Builder
Append an array of bytes
append(byte[], int, int) - Method in class org.joe_e.array.ByteArray.Builder
Append a range of elements from an array of bytes
append(Character) - Method in class org.joe_e.array.CharArray.Builder
Append a Character
append(Character[]) - Method in class org.joe_e.array.CharArray.Builder
Append an array of Characters
append(Character[], int, int) - Method in class org.joe_e.array.CharArray.Builder
Append a range of elements from an array of Characters
append(char) - Method in class org.joe_e.array.CharArray.Builder
Append a char
append(char[]) - Method in class org.joe_e.array.CharArray.Builder
Append an array of chars
append(char[], int, int) - Method in class org.joe_e.array.CharArray.Builder
Append a range of elements from an array of chars
append(E) - Method in class org.joe_e.array.ConstArray.Builder
Appends an element to the Array
append(E[]) - Method in class org.joe_e.array.ConstArray.Builder
Appends all elements from a Java array to the Array
append(E[], int, int) - Method in class org.joe_e.array.ConstArray.Builder
Appends a range of elements from a Java array to the Array
append(Double) - Method in class org.joe_e.array.DoubleArray.Builder
Append a Double
append(Double[]) - Method in class org.joe_e.array.DoubleArray.Builder
Append an array of Doubles
append(Double[], int, int) - Method in class org.joe_e.array.DoubleArray.Builder
Append a range of elements from an array of Doubles
append(double) - Method in class org.joe_e.array.DoubleArray.Builder
Append a double
append(double[]) - Method in class org.joe_e.array.DoubleArray.Builder
Append an array of doubles
append(double[], int, int) - Method in class org.joe_e.array.DoubleArray.Builder
Append a range of elements from an array of doubles
append(Float) - Method in class org.joe_e.array.FloatArray.Builder
Append a Float
append(Float[]) - Method in class org.joe_e.array.FloatArray.Builder
Append an array of Floats
append(Float[], int, int) - Method in class org.joe_e.array.FloatArray.Builder
Append a range of elements from an array of Floats
append(float) - Method in class org.joe_e.array.FloatArray.Builder
Append a float
append(float[]) - Method in class org.joe_e.array.FloatArray.Builder
Append an array of floats
append(float[], int, int) - Method in class org.joe_e.array.FloatArray.Builder
Append a range of elements from an array of floats
append(E) - Method in class org.joe_e.array.ImmutableArray.Builder
Appends an element to the Array
append(E[]) - Method in class org.joe_e.array.ImmutableArray.Builder
Appends all elements from a Java array to the Array
append(E[], int, int) - Method in class org.joe_e.array.ImmutableArray.Builder
Appends a range of elements from a Java array to the Array
append(Integer) - Method in class org.joe_e.array.IntArray.Builder
Append a Integer
append(Integer[]) - Method in class org.joe_e.array.IntArray.Builder
Append an array of Integers
append(Integer[], int, int) - Method in class org.joe_e.array.IntArray.Builder
Append a range of elements from an array of Integers
append(int) - Method in class org.joe_e.array.IntArray.Builder
Append a int
append(int[]) - Method in class org.joe_e.array.IntArray.Builder
Append an array of ints
append(int[], int, int) - Method in class org.joe_e.array.IntArray.Builder
Append a range of elements from an array of ints
append(Long) - Method in class org.joe_e.array.LongArray.Builder
Append a Long
append(Long[]) - Method in class org.joe_e.array.LongArray.Builder
Append an array of Longs
append(Long[], int, int) - Method in class org.joe_e.array.LongArray.Builder
Append a range of elements from an array of Longs
append(long) - Method in class org.joe_e.array.LongArray.Builder
Append a long
append(long[]) - Method in class org.joe_e.array.LongArray.Builder
Append an array of longs
append(long[], int, int) - Method in class org.joe_e.array.LongArray.Builder
Append a range of elements from an array of longs
append(E) - Method in class org.joe_e.array.PowerlessArray.Builder
Appends an element to the Array
append(E[]) - Method in class org.joe_e.array.PowerlessArray.Builder
Appends all elements from a Java array to the Array
append(E[], int, int) - Method in class org.joe_e.array.PowerlessArray.Builder
Appends a range of elements from a Java array to the Array
append(Short) - Method in class org.joe_e.array.ShortArray.Builder
Append a Short
append(Short[]) - Method in class org.joe_e.array.ShortArray.Builder
Append an array of Shorts
append(Short[], int, int) - Method in class org.joe_e.array.ShortArray.Builder
Append a range of elements from an array of Shorts
append(short) - Method in class org.joe_e.array.ShortArray.Builder
Append a short
append(short[]) - Method in class org.joe_e.array.ShortArray.Builder
Append an array of shorts
append(short[], int, int) - Method in class org.joe_e.array.ShortArray.Builder
Append a range of elements from an array of shorts
append(T) - Method in class org.ref_send.list.List
Appends a value.
array(boolean...) - Static method in class org.joe_e.array.BooleanArray
Constructs an array of booleans.
array(byte...) - Static method in class org.joe_e.array.ByteArray
Constructs a ByteArray.
array(char...) - Static method in class org.joe_e.array.CharArray
Constructs an array of chars.
array(T...) - Static method in class org.joe_e.array.ConstArray
Constuct a ConstArray.
array(double...) - Static method in class org.joe_e.array.DoubleArray
Constructs an array of doubles.
array(float...) - Static method in class org.joe_e.array.FloatArray
Constructs an array of floats.
array(E...) - Static method in class org.joe_e.array.ImmutableArray
Constuct a ImmutableArray.
array(int...) - Static method in class org.joe_e.array.IntArray
Constructs an array of ints.
array(long...) - Static method in class org.joe_e.array.LongArray
Constructs an array of longs.
array(E...) - Static method in class org.joe_e.array.PowerlessArray
Constuct a PowerlessArray.
array(short...) - Static method in class org.joe_e.array.ShortArray
Constructs an array of shorts.
ArrayBuilder<E> - Interface in org.joe_e.array
A builder of ConstArrays.
ASCII - Class in org.joe_e.charset
ASCII I/O.
asInputStream() - Method in class org.joe_e.array.ByteArray
Views this array as an input stream.
asOutputStream() - Method in class org.joe_e.array.ByteArray.Builder
Convenience method that creates an output stream using this Builder

B

b - Variable in class org.waterken.bounce.AllTypes
boolean
Bang - Class in org.waterken.bang
A Drum maker.
bang(int) - Method in interface org.waterken.bang.Drum
Bangs the drum.
binary - Static variable in class org.web_send.Entity
binary Media Type: "application/octet-stream"
bind(String, Object) - Method in interface org.web_send.graph.Publisher
Creates a new binding.
BooleanArray - Class in org.joe_e.array
An immutable array of boolean.
BooleanArray.Builder - Class in org.joe_e.array
A BooleanArray factory.
Bounce - Class in org.waterken.bounce
A Wall implementation.
bounce(A) - Method in interface org.waterken.bounce.Wall
Returns the given argument.
bound(Type, Type) - Static method in class org.ref_send.type.Typedef
Determine the upper bound on a type parameter.
build(Framework) - Static method in class org.waterken.all.Main
Constructs an instance.
build(Framework) - Static method in class org.waterken.bang.Bang
Constructs an instance.
build(Framework) - Static method in class org.waterken.bang.Main
Constructs an instance.
build(Framework) - Static method in class org.waterken.bounce.Bounce
Constructs an instance.
build(Framework) - Static method in class org.waterken.bounce.Main
Constructs an instance.
build(Framework) - Static method in class org.waterken.eq.Main
Constructs an instance.
build(Framework) - Static method in class org.waterken.factorial.Main
Constructs an instance.
build(Framework) - Static method in class org.waterken.put.Main
Constructs an instance.
build(Framework) - Static method in class org.waterken.put.Put
Constructs an instance.
build(Framework) - Static method in class org.waterken.serial.Main
Constructs an instance.
build(Framework) - Static method in class org.waterken.serial.Serial
Constructs an instance.
builder() - Static method in class org.joe_e.array.BooleanArray
Get a BooleanArray.Builder.
builder(int) - Static method in class org.joe_e.array.BooleanArray
Get a BooleanArray.Builder.
builder() - Static method in class org.joe_e.array.ByteArray
Get a ByteArray.Builder.
builder(int) - Static method in class org.joe_e.array.ByteArray
Get a ByteArray.Builder.
builder() - Static method in class org.joe_e.array.CharArray
Get a CharArray.Builder.
builder(int) - Static method in class org.joe_e.array.CharArray
Get a CharArray.Builder.
builder() - Static method in class org.joe_e.array.ConstArray
Get a ConstArray.Builder.
builder(int) - Static method in class org.joe_e.array.ConstArray
Get a ConstArray.Builder.
builder() - Static method in class org.joe_e.array.DoubleArray
Get a DoubleArray.Builder.
builder(int) - Static method in class org.joe_e.array.DoubleArray
Get a DoubleArray.Builder.
builder() - Static method in class org.joe_e.array.FloatArray
Get a FloatArray.Builder.
builder(int) - Static method in class org.joe_e.array.FloatArray
Get a FloatArray.Builder.
builder() - Static method in class org.joe_e.array.ImmutableArray
Get an ImmutableArray.Builder.
builder(int) - Static method in class org.joe_e.array.ImmutableArray
Get an ImmutableArray.Builder.
builder() - Static method in class org.joe_e.array.IntArray
Get a IntArray.Builder.
builder(int) - Static method in class org.joe_e.array.IntArray
Get a IntArray.Builder.
builder() - Static method in class org.joe_e.array.LongArray
Get a LongArray.Builder.
builder(int) - Static method in class org.joe_e.array.LongArray
Get a LongArray.Builder.
builder() - Static method in class org.joe_e.array.PowerlessArray
Get a PowerlessArray.Builder.
builder(int) - Static method in class org.joe_e.array.PowerlessArray
Get a PowerlessArray.Builder.
builder() - Static method in class org.joe_e.array.ShortArray
Get a ShortArray.Builder.
builder(int) - Static method in class org.joe_e.array.ShortArray
Get a ShortArray.Builder.
ByteArray - Class in org.joe_e.array
An immutable array of byte.
ByteArray.Builder - Class in org.joe_e.array
A ByteArray factory.
ByteArray.BuilderOutputStream - Class in org.joe_e.array
A ByteArray factory that extends OutputStream.
ByteArray.BuilderOutputStream() - Constructor for class org.joe_e.array.ByteArray.BuilderOutputStream
Create an output stream using a new underlying ByteArray.Builder with the default internal array length
ByteArray.BuilderOutputStream(int) - Constructor for class org.joe_e.array.ByteArray.BuilderOutputStream
Create an output stream using a new underlying ByteArray.Builder
ByteArray.BuilderOutputStream(ByteArray.Builder) - Constructor for class org.joe_e.array.ByteArray.BuilderOutputStream
Create an output stream that wraps the specified ByteArray.Builder

C

c - Variable in class org.waterken.bounce.AllTypes
char
cast() - Method in class org.ref_send.promise.eventual.Deferred
 
cast(Class, Volatile<T>) - Method in class org.ref_send.promise.eventual.Eventual
Creates an eventual reference.
cast(Class<R>, Volatile<?>) - Method in class org.ref_send.promise.eventual.Eventual
Causes a compile error for code that attempts to create an eventual reference of a concrete type.
cast() - Method in class org.ref_send.promise.Fulfilled
Gets the fulfilled value.
cast() - Method in class org.ref_send.promise.Rejected
Throws the Rejected.reason.
cast() - Method in interface org.ref_send.promise.Volatile
Gets the current referent.
Channel<T> - Class in org.ref_send.promise.eventual
The reified tail and head of a reference: -->.
Channel(Promise<T>, Resolver<T>) - Constructor for class org.ref_send.promise.eventual.Channel
Constructs an instance.
CharArray - Class in org.joe_e.array
An immutable array of char.
CharArray.Builder - Class in org.joe_e.array
A CharArray factory.
checkName(String) - Static method in class org.joe_e.file.Filesystem
Vets a filename.
Collision - Exception in org.web_send.graph
Signals an identifier collision.
Collision() - Constructor for exception org.web_send.graph.Collision
Constructs an instance.
comment(String) - Method in interface org.ref_send.promise.eventual.Log
Logs a comment.
comment(String) - Method in class org.ref_send.promise.eventual.Sink
NOP
Component - Class in org.web_send.split
A base class for a return from a Splitter interface.
Component(Runnable) - Constructor for class org.web_send.split.Component
Constructs an instance.
compose(Do<A, B>, Resolver<B>) - Static method in class org.ref_send.promise.eventual.Eventual
Constructs a call return block.
ConditionalRunner - Interface in org.ref_send.promise.eventual
A conditional message processor.
ConstArray<E> - Class in org.joe_e.array
A read-only array containing elements of an arbitrary type.
ConstArray.Builder<E> - Class in org.joe_e.array
A ConstArray factory.
construct(Constructor, Object...) - Static method in class org.joe_e.reflect.Reflection
Invokes a reflected constructor.
constructor(Class, Class...) - Static method in class org.joe_e.reflect.Reflection
Gets a public constructor.
constructorEnabled(String) - Static method in class org.joe_e.taming.Policy
 
constructors(Class) - Static method in class org.joe_e.reflect.Reflection
Gets all declared public constructors.
consume() - Method in interface org.waterken.serial.Series
Removes the first element in the series.
content - Variable in class org.web_send.Entity
binary content

D

d - Variable in class org.waterken.bounce.AllTypes
double
decode(byte[]) - Static method in class org.joe_e.charset.ASCII
Decodes a US-ASCII string.
decode(byte[], int, int) - Static method in class org.joe_e.charset.ASCII
Decodes a US-ASCII string.
decode(String) - Static method in class org.joe_e.charset.URLEncoding
URL decode a segment.
decode(byte[]) - Static method in class org.joe_e.charset.UTF8
Decodes a UTF-8 string.
decode(byte[], int, int) - Static method in class org.joe_e.charset.UTF8
Decodes a UTF-8 string.
defer() - Method in class org.ref_send.promise.eventual.Eventual
Creates a promise in the deferred state.
Deferred<T> - Class in org.ref_send.promise.eventual
Implementation hook that users should ignore.
deserializer - Annotation Type in org.ref_send
Marks the deserialization constructor.
destruct - Variable in class org.web_send.graph.Framework
permission to destruct this vat
destruct - Variable in class org.web_send.split.Component
permission to destruct the corresponding vat
detach(T) - Static method in class org.ref_send.promise.Fulfilled
Marks a point where deserialization of an object graph may be deferred.
disallowed - Static variable in interface org.web_send.graph.Publisher
set of disallowed name characters: ";\\/:*?<>|\"=#"
Do<P,R> - Class in org.ref_send.promise.eventual
A deferred code block.
DoubleArray - Class in org.joe_e.array
An immutable array of double.
DoubleArray.Builder - Class in org.joe_e.array
A DoubleArray factory.
Drum - Interface in org.waterken.bang
Something to bang on.

E

Element<T> - Interface in org.waterken.serial
An element in a series.
encode(String) - Static method in class org.joe_e.charset.ASCII
Encodes a string in US-ASCII.
encode(String) - Static method in class org.joe_e.charset.URLEncoding
URL encode a value.
encode(String) - Static method in class org.joe_e.charset.UTF8
Encodes a string in UTF-8.
enqueue - Variable in class org.ref_send.promise.eventual.Eventual
Schedules a task for execution in a future turn.
Entity - Class in org.web_send
A MIME entity.
Entity(String, ByteArray) - Constructor for class org.web_send.Entity
Constructs an instance.
equals(Object) - Method in class org.joe_e.array.BooleanArray
Test for equality with another object
equals(Object) - Method in class org.joe_e.array.ByteArray
Test for equality with another object
equals(Object) - Method in class org.joe_e.array.CharArray
Test for equality with another object
equals(Object) - Method in class org.joe_e.array.ConstArray
Test for equality with another object.
equals(Object) - Method in class org.joe_e.array.DoubleArray
Test for equality with another object
equals(Object) - Method in class org.joe_e.array.FloatArray
Test for equality with another object
equals(Object) - Method in class org.joe_e.array.IntArray
Test for equality with another object
equals(Object) - Method in class org.joe_e.array.LongArray
Test for equality with another object
equals(Object) - Method in class org.joe_e.array.ShortArray
Test for equality with another object
equals(Object) - Method in class org.joe_e.Struct
Tests for equality with another object.
equals(Object) - Method in class org.ref_send.promise.eventual.Deferred
 
equals(Object) - Method in class org.ref_send.promise.Fulfilled
Is the given object the same?
equals(Object) - Method in class org.ref_send.promise.Rejected
Is the given object the same?
equals(Object) - Method in class org.web_send.Entity
Is the given object the same?
Equatable - Interface in org.joe_e
Marker interface for annotating classes whose instances are permitted to be compared using the == and != operators.
ErrorHandler - Interface in org.joe_e
This is the interface for custom implementations to handle java.lang.Errors in a Joe-E program.
Eventual - Class in org.ref_send.promise.eventual
The eventual operator.
Eventual(Token, Loop<Task>, Log) - Constructor for class org.ref_send.promise.eventual.Eventual
Constructs an instance.

F

f - Variable in class org.waterken.bounce.AllTypes
float
Factorial - Class in org.waterken.factorial
A tail recursive factorial implementation.
factorial(Eventual, int) - Static method in class org.waterken.factorial.Factorial
Computes a factorial.
Factorial.Recursion - Interface in org.waterken.factorial
The inner loop of a tail recursive factorial implementation.
Factory<T> - Class in org.ref_send.var
An object factory.
Failure - Exception in org.web_send
Indicates a failed HTTP request.
Failure(String, String) - Constructor for exception org.web_send.Failure
Constructs an instance.
field(Class, String) - Static method in class org.joe_e.reflect.Reflection
Gets a public field.
fieldEnabled(String) - Static method in class org.joe_e.taming.Policy
 
fields(Class) - Static method in class org.joe_e.reflect.Reflection
Gets all public fields.
file(File, String) - Static method in class org.joe_e.file.Filesystem
Produce a File capability for a file contained in a folder.
Filesystem - Class in org.joe_e.file
File construction.
FloatArray - Class in org.joe_e.array
An immutable array of float.
FloatArray.Builder - Class in org.joe_e.array
A FloatArray factory.
Framework - Class in org.web_send.graph
The authority provided to the creator of a new vat.
Framework(Eventual, Runnable, Spawn, Publisher) - Constructor for class org.web_send.graph.Framework
Constructs an instance.
fulfill(P) - Method in class org.ref_send.promise.eventual.Do
Notification of a fulfilled argument.
fulfill(T) - Method in interface org.ref_send.promise.eventual.Resolver
Put the corresponding promise in the fulfilled state.
Fulfilled<T> - Class in org.ref_send.promise
A promise that alleges to be fulfilled.

G

get(int) - Method in class org.joe_e.array.BooleanArray
Creates a Boolean for a specified boolean.
get(int) - Method in class org.joe_e.array.ByteArray
Creates a Byte for a specified byte.
get(int) - Method in class org.joe_e.array.CharArray
Creates a Character for a specified char.
get(int) - Method in class org.joe_e.array.ConstArray
Gets the element at a specified position.
get(int) - Method in class org.joe_e.array.DoubleArray
Creates a Double for a specified double.
get(int) - Method in class org.joe_e.array.FloatArray
Creates a Float for a specified float.
get(int) - Method in class org.joe_e.array.IntArray
Creates a Integer for a specified int.
get(int) - Method in class org.joe_e.array.LongArray
Creates a Long for a specified long.
get(int) - Method in class org.joe_e.array.ShortArray
Creates a Short for a specified short.
get(Field, Object) - Static method in class org.joe_e.reflect.Reflection
Gets the value of a field.
get() - Method in interface org.ref_send.var.Getter
Gets the current value.
get() - Method in class org.ref_send.var.Variable
Gets the near value.
getAll() - Method in interface org.waterken.bounce.Wall
Creates a record of all types.
getBoolean(int) - Method in class org.joe_e.array.BooleanArray
Gets the boolean at a specified position.
getByte(int) - Method in class org.joe_e.array.ByteArray
Gets the byte at a specified position.
getChar(int) - Method in class org.joe_e.array.CharArray
Gets the char at a specified position.
getDouble(int) - Method in class org.joe_e.array.DoubleArray
Gets the double at a specified position.
getFloat(int) - Method in class org.joe_e.array.FloatArray
Gets the float at a specified position.
getFront() - Method in class org.ref_send.list.List
Gets the front value.
getHandler(Proxy) - Static method in class org.joe_e.reflect.Proxies
Extract the InvocationHandler from a Proxy
getHits() - Method in interface org.waterken.bang.Drum
Gets the number of hits.
getInt(int) - Method in class org.joe_e.array.IntArray
Gets the int at a specified position.
getLong(int) - Method in class org.joe_e.array.LongArray
Gets the long at a specified position.
getName(Class) - Static method in class org.joe_e.reflect.Reflection
Get the name of the entity represented by a Class object, in the same format as returned by Class.getName().
getNext() - Method in interface org.waterken.serial.Element
next element
getShort(int) - Method in class org.joe_e.array.ShortArray
Gets the short at a specified position.
getSize() - Method in class org.ref_send.list.List
Gets the element count.
getSnapshot() - Method in interface org.waterken.menu.Menu
Gets a snapshot of the current variable values.
Getter<T> - Interface in org.ref_send.var
The read facet of a Variable.
getter - Variable in class org.ref_send.var.Variable
read permission
getValue() - Method in interface org.waterken.serial.Element
element value
gone() - Static method in exception org.web_send.Failure
410 Gone
got(Equatable) - Method in interface org.ref_send.promise.eventual.Log
Logs receipt of a message.
got(Equatable) - Method in class org.ref_send.promise.eventual.Sink
NOP
grow() - Method in interface org.waterken.menu.Menu
Generates a new entry.
Guard<T> - Class in org.ref_send.var
A condition on a Variable assignment.
Guard() - Constructor for class org.ref_send.var.Guard
Constructs an instance.
guard - Variable in class org.ref_send.var.Variable
assignment condition

H

handle(Error) - Method in interface org.joe_e.ErrorHandler
Handles an error.
hashCode() - Method in class org.joe_e.array.BooleanArray
Computes a digest of the array for hashing.
hashCode() - Method in class org.joe_e.array.ByteArray
Computes a digest of the array for hashing.
hashCode() - Method in class org.joe_e.array.CharArray
Computes a digest of the array for hashing.
hashCode() - Method in class org.joe_e.array.ConstArray
Computes a digest of the array for hashing.
hashCode() - Method in class org.joe_e.array.DoubleArray
Computes a digest of the array for hashing.
hashCode() - Method in class org.joe_e.array.FloatArray
Computes a digest of the array for hashing.
hashCode() - Method in class org.joe_e.array.IntArray
Computes a digest of the array for hashing.
hashCode() - Method in class org.joe_e.array.LongArray
Computes a digest of the array for hashing.
hashCode() - Method in class org.joe_e.array.ShortArray
Computes a digest of the array for hashing.
hashCode() - Method in interface org.joe_e.Selfless
 
hashCode() - Method in class org.joe_e.Struct
Calculates the hash code.
hashCode() - Method in class org.ref_send.promise.eventual.Deferred
 
hashCode() - Method in class org.ref_send.promise.Fulfilled
Calculates the hash code.
hashCode() - Method in class org.ref_send.promise.Rejected
Calculates the hash code.
hashCode() - Method in class org.web_send.Entity
Calculates the hash code.
hasHonorary(String, String) - Static method in class org.joe_e.taming.Policy
 

I

i - Variable in class org.waterken.bounce.AllTypes
int
Immutable - Interface in org.joe_e
Marker interface for annotating classes that transitively do not contain any mutable state.
ImmutableArray<E> - Class in org.joe_e.array
An immutable array containing immutable objects.
ImmutableArray.Builder<E> - Class in org.joe_e.array
An ImmutableArray factory.
Infinity - Exception in org.ref_send.promise
Signals an infinity.
Infinity() - Constructor for exception org.ref_send.promise.Infinity
Constructs an instance.
Inline<T> - Class in org.ref_send.promise
A fulfilled promise that should not use persistent object faulting.
input(InputStream) - Static method in class org.joe_e.charset.ASCII
Constructs an ASCII reader.
input(InputStream) - Static method in class org.joe_e.charset.UTF8
Constructs a UTF-8 reader.
instanceOf(Object, Class<?>) - Static method in class org.joe_e.JoeE
Tests whether the specified object belongs to the specified type in the overlay type system.
IntArray - Class in org.joe_e.array
An immutable array of int.
IntArray.Builder - Class in org.joe_e.array
A IntArray factory.
InvalidFilenameException - Exception in org.joe_e.file
Signals an invalid filename.
InvalidFilenameException() - Constructor for exception org.joe_e.file.InvalidFilenameException
Constructs an instance.
invoke(Method, Object, Object...) - Static method in class org.joe_e.reflect.Reflection
Invokes a reflected method.
invoke(Object, Method, Object[]) - Method in class org.ref_send.promise.eventual.Deferred
Forwards a Java language invocation.
invoke(Object, Method, Object[]) - Method in class org.ref_send.promise.Rejected
Forwards a Java language invocation.
isEmpty() - Method in class org.ref_send.list.List
Is the element count zero?
isImplementable(Class) - Static method in class org.joe_e.reflect.Proxies
Returns true if the argument is an interface that can be implemented by a Proxy using proxy().
IsJoeE - Annotation Type in org.joe_e
 
isOn() - Method in interface org.ref_send.promise.eventual.Log
Will log events actually be output?
isOn() - Method in class org.ref_send.promise.eventual.Sink
 
isSubtypeOf(Class<?>, Class<?>) - Static method in class org.joe_e.JoeE
Tests whether the first class is a subtype of the second in the overlay type system.
iterator() - Method in class org.joe_e.array.ConstArray
Return a new iterator over the array
iterator() - Method in class org.ref_send.list.List
Iterates over the values in this list.

J

JoeE - Class in org.joe_e
Joe-E core library functions.

L

l - Variable in class org.waterken.bounce.AllTypes
long
length() - Method in interface org.joe_e.array.ArrayBuilder
Gets the current number of elements in the Array
length() - Method in class org.joe_e.array.BooleanArray
Gets the length of the array.
length() - Method in class org.joe_e.array.ByteArray.BuilderOutputStream
Gets the number of bytes written to the underlying ByteArray.Builder
length() - Method in class org.joe_e.array.ByteArray
Gets the length of the array.
length() - Method in class org.joe_e.array.CharArray
Gets the length of the array.
length() - Method in class org.joe_e.array.ConstArray.Builder
Gets the current number of elements in the Array
length() - Method in class org.joe_e.array.ConstArray
Return the length of the array
length() - Method in class org.joe_e.array.DoubleArray
Gets the length of the array.
length() - Method in class org.joe_e.array.FloatArray
Gets the length of the array.
length() - Method in class org.joe_e.array.IntArray
Gets the length of the array.
length() - Method in class org.joe_e.array.LongArray
Gets the length of the array.
length() - Method in class org.joe_e.array.ShortArray
Gets the length of the array.
length(File) - Static method in class org.joe_e.file.Filesystem
Gets the length of a file
list(File) - Static method in class org.joe_e.file.Filesystem
List the contents of a directory.
List<T> - Class in org.ref_send.list
A linked list.
list(T...) - Static method in class org.ref_send.list.List
Constructs a list.
log - Variable in class org.ref_send.promise.eventual.Eventual
debugging output
Log - Interface in org.ref_send.promise.eventual
A log interface.
Logic - Class in org.ref_send.test
Test condition operations.
LongArray - Class in org.joe_e.array
An immutable array of long.
LongArray.Builder - Class in org.joe_e.array
A LongArray factory.
Loop<T extends Task> - Interface in org.ref_send.promise.eventual
An event loop.

M

Main - Class in org.waterken.all
Runs all tests.
Main - Class in org.waterken.bang
An introduction to eventual operations in Java.
Main(Eventual) - Constructor for class org.waterken.bang.Main
Constructs an instance
main(String[]) - Static method in class org.waterken.bang.Main
Executes the test.
Main - Class in org.waterken.bounce
An argument passing test.
Main(Eventual) - Constructor for class org.waterken.bounce.Main
Constructs an instance
main(String[]) - Static method in class org.waterken.bounce.Main
Executes the test.
Main - Class in org.waterken.eq
Checks invariants of the ref_send API.
Main(Eventual) - Constructor for class org.waterken.eq.Main
Constructs an instance
main(String[]) - Static method in class org.waterken.eq.Main
Executes the test.
Main - Class in org.waterken.factorial
Eventual invocation tests.
Main(Eventual) - Constructor for class org.waterken.factorial.Main
Constructs an instance
main(String[]) - Static method in class org.waterken.factorial.Main
Executes the test.
Main - Class in org.waterken.put
A Setter test.
Main(Eventual) - Constructor for class org.waterken.put.Main
Constructs an instance
main(String[]) - Static method in class org.waterken.put.Main
Executes the test.
Main - Class in org.waterken.serial
Eventual invocation tests.
Main(Eventual) - Constructor for class org.waterken.serial.Main
Constructs an instance
main(String[]) - Static method in class org.waterken.serial.Main
Executes the test.
make() - Static method in class org.waterken.bang.Bang
Constructs a Drum.
make(Eventual) - Static method in class org.waterken.bounce.Bounce
Constructs an instance.
make(int, Factory<Variable<T>>) - Static method in class org.waterken.menu.MenuMaker
Constructs an instance.
make() - Static method in class org.waterken.put.Put
Constructs an instance.
make(Eventual) - Static method in class org.waterken.serial.Serial
Makes a Series.
make(Spawn, Class<?>) - Static method in class org.web_send.split.Splitter
Constructs an instance.
maxContentSize - Static variable in class org.web_send.Entity
maximum number of bytes in Entity.content: 262144
Menu<T> - Interface in org.waterken.menu
An editable list of Variables.
MenuMaker - Class in org.waterken.menu
A Menu maker.
method(Class, String, Class...) - Static method in class org.joe_e.reflect.Reflection
Gets a public method.
methodEnabled(String) - Static method in class org.joe_e.taming.Policy
 
methods(Class) - Static method in class org.joe_e.reflect.Reflection
Gets all public methods.

N

name - Annotation Type in org.ref_send
Provides a parameter's name.
name(Class, String) - Static method in class org.ref_send.type.Typedef
Gets the named type variable.
NaN - Exception in org.ref_send.promise
Signals a NaN.
NaN() - Constructor for exception org.ref_send.promise.NaN
Constructs an instance.
near(T) - Static method in class org.ref_send.promise.eventual.Eventual
Gets the corresponding immediate reference.
near(Volatile<T>) - Static method in class org.ref_send.promise.eventual.Eventual
Gets the corresponding immediate reference.
NegativeInfinity - Exception in org.ref_send.promise
Signals a negative infinity.
NegativeInfinity() - Constructor for exception org.ref_send.promise.NegativeInfinity
Constructs an instance.
Normal - Class in org.waterken.bounce
A normal pass-by-reference object.
Normal() - Constructor for class org.waterken.bounce.Normal
Constructs an instance.
notFound() - Static method in exception org.web_send.Failure
404 Not Found
notSupported() - Static method in exception org.web_send.Failure
415 Unsupported Media Type

O

o - Variable in class org.waterken.bounce.AllTypes
byte
org.joe_e - 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.
org.joe_e.array - package org.joe_e.array
Read-only arrays.
org.joe_e.charset - package org.joe_e.charset
This package provides access to functions that require the use of Java character sets.
org.joe_e.file - package org.joe_e.file
The filesystem interface.
org.joe_e.reflect - package org.joe_e.reflect
The reflection interface.
org.joe_e.taming - package org.joe_e.taming
The taming database.
org.ref_send - package org.ref_send
A pass-by-construction interface.
org.ref_send.list - package org.ref_send.list
A linked list.
org.ref_send.promise - package org.ref_send.promise
A promise interface.
org.ref_send.promise.eventual - package org.ref_send.promise.eventual
Event loop operations.
org.ref_send.test - package org.ref_send.test
A simple test interface.
org.ref_send.type - package org.ref_send.type
Type definition manipulation.
org.ref_send.var - package org.ref_send.var
A variable implementation.
org.waterken.all - package org.waterken.all
Runs all tests.
org.waterken.bang - package org.waterken.bang
A simple demonstration and test of eventual operations.
org.waterken.bounce - package org.waterken.bounce
An argument passing test.
org.waterken.eq - package org.waterken.eq
Checks invariants of the ref_send API.
org.waterken.factorial - package org.waterken.factorial
A tail recursive factorial implementation.
org.waterken.menu - package org.waterken.menu
An editable list of Variables.
org.waterken.put - package org.waterken.put
A Variable test.
org.waterken.serial - package org.waterken.serial
An infinite series of elements.
org.web_send - package org.web_send
Inter-model messaging.
org.web_send.graph - package org.web_send.graph
A reference graph interface.
org.web_send.split - package org.web_send.split
A helper API for spawning models.
output(OutputStream) - Static method in class org.joe_e.charset.ASCII
Constructs an ASCII writer.
output(OutputStream) - Static method in class org.joe_e.charset.UTF8
Constructs a UTF-8 writer.

P

p - Variable in class org.waterken.bounce.AllTypes
promise
phrase - Variable in exception org.web_send.Failure
HTTP reason phrase
Policy - Class in org.joe_e.taming
 
pop() - Method in class org.ref_send.list.List
Removes the front element.
PositiveInfinity - Exception in org.ref_send.promise
Signals a positive infinity.
PositiveInfinity() - Constructor for exception org.ref_send.promise.PositiveInfinity
Constructs an instance.
Powerless - Interface in org.joe_e
Marker interface for annotating classes that transitively do not contain any mutable state or tokens.
PowerlessArray<E> - Class in org.joe_e.array
An immutable array containing powerless objects.
PowerlessArray.Builder<E> - Class in org.joe_e.array
A PowerlessArray factory.
produce(Volatile<T>) - Method in interface org.waterken.serial.Series
Appends a value to the end of the series.
promise - Variable in class org.ref_send.promise.eventual.Channel
permission to access the referent
Promise<T> - Interface in org.ref_send.promise
A promise for a referent.
promised(T) - Static method in class org.ref_send.promise.eventual.Eventual
Gets the corresponding promise.
Proxies - Class in org.joe_e.reflect
The dynamic proxy interface.
proxy(InvocationHandler, Class...) - Static method in class org.joe_e.reflect.Proxies
Constructs a dynamic proxy.
publisher - Variable in class org.web_send.graph.Framework
permission to publish well-known references
Publisher - Interface in org.web_send.graph
A case-insensitive, well-known name publisher.
Put - Class in org.waterken.put
A var factory.

R

r - Variable in class org.waterken.bounce.AllTypes
pass-by-reference
raw(Type) - Static method in class org.ref_send.type.Typedef
Determine the corresponding raw type.
read(File) - Static method in class org.joe_e.file.Filesystem
Opens an existing file for reading.
reason - Variable in class org.ref_send.promise.Rejected
reason for rejecting the promise
Receiver<T> - Interface in org.ref_send.var
An output writer.
Record - Interface in org.ref_send
A pass-by-construction object.
ref(T) - Static method in class org.ref_send.promise.Fulfilled
Adapts an immediate reference to the Promise interface.
Reflection - Class in org.joe_e.reflect
The reflection interface.
reject(Exception) - Method in class org.ref_send.promise.eventual.Do
Notification of a rejected argument.
reject(Exception) - Method in interface org.ref_send.promise.eventual.Resolver
Put the corresponding promise in the rejected state.
Rejected<T> - Class in org.ref_send.promise
A rejected promise.
Rejected(Exception) - Constructor for class org.ref_send.promise.Rejected
Construct an instance.
resolve(Volatile<T>) - Method in interface org.ref_send.promise.eventual.Resolver
Chains the correponding promise to the given promise.
resolved(Equatable) - Method in interface org.ref_send.promise.eventual.Log
Logs resolution of a condition.
resolved(Equatable) - Method in class org.ref_send.promise.eventual.Sink
NOP
resolver - Variable in class org.ref_send.promise.eventual.Channel
permission to resolve the referent
Resolver<T> - Interface in org.ref_send.promise.eventual
A Promise resolver.
run(T) - Method in interface org.ref_send.promise.eventual.Loop
Posts a task to this event loop.
run() - Method in interface org.ref_send.promise.eventual.Task
Executes the task.
run() - Method in class org.ref_send.var.Factory
Produces an object.
run(T) - Method in class org.ref_send.var.Guard
Tests a candidate value.
run(T) - Method in interface org.ref_send.var.Receiver
Receives another output value.
run(T) - Method in interface org.ref_send.var.Setter
Assigns a value.
run() - Method in class org.waterken.bounce.Normal
Does nothing.
run(Factorial.Recursion, int, int) - Method in interface org.waterken.factorial.Factorial.Recursion
 
run(Class<?>) - Method in interface org.web_send.graph.Spawn
Creates a vat.

S

s - Variable in class org.waterken.bounce.AllTypes
short
Selfless - Interface in org.joe_e
Marker interface for annotating classes that are indistinguishable from a shallow copy of themselves.
sentIf(Equatable, Equatable) - Method in interface org.ref_send.promise.eventual.Log
Logs a conditional message send.
sentIf(Equatable, Equatable) - Method in class org.ref_send.promise.eventual.Sink
NOP
Serial - Class in org.waterken.serial
A Series maker.
Series<T> - Interface in org.waterken.serial
An infinite series of elements.
set(Field, Object, Object) - Static method in class org.joe_e.reflect.Reflection
Sets the value of a field.
set(T) - Method in interface org.ref_send.var.Setter
Deprecated. use Setter.run(T) instead
set(T) - Method in class org.ref_send.var.Variable
Sets the value.
Setter<T> - Interface in org.ref_send.var
The write facet of a Variable.
setter - Variable in class org.ref_send.var.Variable
write permission
ShortArray - Class in org.joe_e.array
An immutable array of short.
ShortArray.Builder - Class in org.joe_e.array
A ShortArray factory.
Sink - Class in org.ref_send.promise.eventual
A log that discards all events.
Sink() - Constructor for class org.ref_send.promise.eventual.Sink
Constructs an instance.
snapshot() - Method in interface org.joe_e.array.ArrayBuilder
Create a snapshot of the current content.
snapshot() - Method in class org.joe_e.array.BooleanArray.Builder
Create a snapshot of the current content.
snapshot() - Method in class org.joe_e.array.ByteArray.Builder
Create a snapshot of the current content.
snapshot() - Method in class org.joe_e.array.ByteArray.BuilderOutputStream
Create a snapshot of the current content.
snapshot() - Method in class org.joe_e.array.CharArray.Builder
Create a snapshot of the current content.
snapshot() - Method in class org.joe_e.array.ConstArray.Builder
Create a snapshot of the current content.
snapshot() - Method in class org.joe_e.array.DoubleArray.Builder
Create a snapshot of the current content.