A B C D E F G H I J M N O P R S T U V W X Z

E

EMPTY - Static variable in interface org.jcsp.util.ChannelDataStore

Indicates that the ChannelDataStore is empty -- it can accept only a put.

EMPTY - Static variable in interface org.jcsp.util.ints.ChannelDataStoreInt

Indicates that the ChannelDataStoreInt is empty -- it can accept only a put.

endGet() - Method in class org.jcsp.util.Buffer

Removes the oldest object from the buffer.

endGet() - Method in interface org.jcsp.util.ChannelDataStore

Ends an extended read on the buffer.

endGet() - Method in class org.jcsp.util.InfiniteBuffer

Removes the oldest object from the buffer.

endGet() - Method in class org.jcsp.util.ints.BufferInt

Removes the oldest integer from the buffer.

endGet() - Method in interface org.jcsp.util.ints.ChannelDataStoreInt

Ends an extended read on the buffer.

endGet() - Method in class org.jcsp.util.ints.InfiniteBufferInt

Removes the oldest integer from the buffer.

endGet() - Method in class org.jcsp.util.ints.OverFlowingBufferInt

Removes the oldest integer from the buffer.

endGet() - Method in class org.jcsp.util.ints.OverWriteOldestBufferInt

See OverWriteOldestBufferInt.startGet() for a description of the semantics of this method.

endGet() - Method in class org.jcsp.util.ints.OverWritingBufferInt

See OverWritingBufferInt.startGet() for a description of the semantics of this method.

endGet() - Method in class org.jcsp.util.ints.ZeroBufferInt

Ends the extended rendezvous by clearing the buffer.

endGet() - Method in class org.jcsp.util.OverFlowingBuffer

Removes the oldest object from the buffer.

endGet() - Method in class org.jcsp.util.OverWriteOldestBuffer

See OverWriteOldestBuffer.startGet() for a description of the semantics of this method.

endGet() - Method in class org.jcsp.util.OverWritingBuffer

See OverWritingBuffer.startGet() for a description of the semantics of this method.

endGet() - Method in class org.jcsp.util.ZeroBuffer

Ends the extended rendezvous by clearing the buffer.

endRead() - Method in class org.jcsp.lang.AltingChannelInputWrapper

Ends an extended rendezvous

endRead() - Method in interface org.jcsp.lang.ChannelInput

The call that signifies the end of the extended rendezvous, as begun by endRead.

endRead() - Method in interface org.jcsp.lang.ChannelInputInt

The call that signifies the end of the extended rendezvous, as begun by endRead.

endRead() - Method in class org.jcsp.lang.ChannelInputWrapper

Deprecated. Ends an extended rendezvous

endRead() - Method in class org.jcsp.lang.Crew

This must be invoked after any read operations on the associated shared resource.

endWrite() - Method in class org.jcsp.lang.Crew

This must be invoked after any write operations on the associated shared resource.

enroll() - Method in class org.jcsp.lang.AltingBarrier

A process may enroll only if it is resigned.

enroll() - Method in class org.jcsp.lang.Barrier

A process may enroll only if it is resigned.

expand(int) - Method in class org.jcsp.lang.AltingBarrier

This expands the number of processes enrolled in this alting barrier.

expand() - Method in class org.jcsp.lang.AltingBarrier

This expands by one the number of processes enrolled in this alting barrier.

extend(GraphicsCommand[]) - Method in interface org.jcsp.awt.Display

Extends the array of GraphicsCommands to be interpreted.

extend(GraphicsCommand) - Method in interface org.jcsp.awt.Display

Extends the array of GraphicsCommands to be executed by one command.

extend(GraphicsCommand[]) - Method in class org.jcsp.awt.DisplayList

Extends the array of GraphicsCommands to be executed.

extend(GraphicsCommand) - Method in class org.jcsp.awt.DisplayList

Extends the array of GraphicsCommands to be executed by one command.