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

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
This ends an extended rendezvous by the reader.
endGet() - Method in class org.jcsp.util.OverWritingBuffer
This ends an extended rendezvous by the reader.
endGet() - Method in class org.jcsp.util.ZeroBuffer
Ends the extended rendezvous by clearing the buffer.
endRead() - Method in class org.jcsp.lang.AltingChannelInputWrapper
Deprecated.
Ends an extended rendezvous
endRead() - Method in interface org.jcsp.lang.ChannelInput
End an extended rendezvous.
endRead() - Method in interface org.jcsp.lang.ChannelInputInt
End an extended rendezvous.
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() - Method in class org.jcsp.lang.AltingBarrier
This expands by one the number of processes enrolled in this alting barrier.
expand(int) - Method in class org.jcsp.lang.AltingBarrier
This expands 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 executed by one command.
extend(GraphicsCommand) - Method in class org.jcsp.awt.DisplayList
Extends the array of GraphicsCommands to be executed by one command.
extend(GraphicsCommand[]) - Method in interface org.jcsp.awt.Display
Extends the array of GraphicsCommands to be interpreted.
extend(GraphicsCommand[]) - Method in class org.jcsp.awt.DisplayList
Extends the array of GraphicsCommands to be executed.
A B C D E F G H I J M N O P R S T U V W X Z 
All Classes All Packages