Index
All Classes and Interfaces|All Packages|Constant Field Values|Serialized Form
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.
All Classes and Interfaces|All Packages|Constant Field Values|Serialized Form