Index

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.

Example - Section in class org.jcsp.awt.ActiveApplet

 

Example - Section in class org.jcsp.awt.ActiveButton

 

Example - Section in class org.jcsp.awt.ActiveButtonControl

 

Example - Section in class org.jcsp.awt.ActiveCanvas

 

Example - Section in class org.jcsp.awt.ActiveCheckbox

 

Example - Section in class org.jcsp.awt.ActiveCheckboxMenuItem

 

Example - Section in class org.jcsp.awt.ActiveChoice

 

Example - Section in class org.jcsp.awt.ActiveClosingFrame

 

Example - Section in class org.jcsp.awt.ActiveComponent

 

Example - Section in class org.jcsp.awt.ActiveContainer

 

Example - Section in class org.jcsp.awt.ActiveDialog

 

Example - Section in class org.jcsp.awt.ActiveFileDialog

 

Example - Section in class org.jcsp.awt.ActiveFrame

 

Example - Section in class org.jcsp.awt.ActiveLabel

 

Example - Section in class org.jcsp.awt.ActiveList

 

Example - Section in class org.jcsp.awt.ActiveMenu

 

Example - Section in class org.jcsp.awt.ActiveMenuItem

 

Example - Section in class org.jcsp.awt.ActivePanel

 

Example - Section in class org.jcsp.awt.ActiveScrollPane

 

Example - Section in class org.jcsp.awt.ActiveScrollbar

 

Example - Section in class org.jcsp.awt.ActiveTextArea

 

Example - Section in class org.jcsp.awt.ActiveTextEnterArea

 

Example - Section in class org.jcsp.awt.ActiveTextEnterField

 

Example - Section in class org.jcsp.awt.ActiveTextField

 

Example - Section in class org.jcsp.awt.ActiveWindow

 

Example - Section in class org.jcsp.lang.AltingChannelAccept

 

Example - Section in class org.jcsp.lang.AltingChannelInput

 

Example - Section in class org.jcsp.lang.AltingChannelInputInt

 

Example - Section in class org.jcsp.lang.AltingChannelOutput

 

Example - Section in class org.jcsp.lang.AltingChannelOutputInt

 

Example - Section in class org.jcsp.lang.Any2AnyCallChannel

 

Example - Section in class org.jcsp.lang.Any2OneCallChannel

 

Example - Section in class org.jcsp.lang.One2AnyCallChannel

 

Example - Section in class org.jcsp.lang.One2OneCallChannel

 

Example - Section in class org.jcsp.lang.Parallel

 

Example - Section in class org.jcsp.lang.TaggedProtocol

 

Example - Section in class org.jcsp.plugNplay.And

 

Example - Section in class org.jcsp.plugNplay.Deparaplex

 

Example - Section in class org.jcsp.plugNplay.FramedButton

 

Example - Section in class org.jcsp.plugNplay.FramedButtonArray

 

Example - Section in class org.jcsp.plugNplay.FramedButtonGrid

 

Example - Section in class org.jcsp.plugNplay.FramedScrollbar

 

Example - Section in class org.jcsp.plugNplay.Merge

 

Example - Section in class org.jcsp.plugNplay.Merge2

 

Example - Section in class org.jcsp.plugNplay.Mult

 

Example - Section in class org.jcsp.plugNplay.Multiplex

 

Example - Section in class org.jcsp.plugNplay.Nand

 

Example - Section in class org.jcsp.plugNplay.Nor

 

Example - Section in class org.jcsp.plugNplay.Or

 

Example - Section in class org.jcsp.plugNplay.Paraplex

 

Example - Section in class org.jcsp.plugNplay.Plex

 

Example - Section in class org.jcsp.plugNplay.Plex2

 

Example - Section in class org.jcsp.plugNplay.Plus

 

Example - Section in class org.jcsp.plugNplay.Printer

 

Example - Section in class org.jcsp.plugNplay.ProcessRead

 

Example - Section in class org.jcsp.plugNplay.ProcessWrite

 

Example - Section in class org.jcsp.plugNplay.Sign

 

Example - Section in class org.jcsp.plugNplay.Successor

 

Example - Section in class org.jcsp.plugNplay.Times

 

Example - Section in class org.jcsp.plugNplay.Xor

 

Example - Section in class org.jcsp.plugNplay.ints.AndInt

 

Example - Section in class org.jcsp.plugNplay.ints.DeparaplexInt

 

Example - Section in class org.jcsp.plugNplay.ints.Merge2Int

 

Example - Section in class org.jcsp.plugNplay.ints.MergeInt

 

Example - Section in class org.jcsp.plugNplay.ints.MultInt

 

Example - Section in class org.jcsp.plugNplay.ints.MultiplexInt

 

Example - Section in class org.jcsp.plugNplay.ints.NandInt

 

Example - Section in class org.jcsp.plugNplay.ints.NorInt

 

Example - Section in class org.jcsp.plugNplay.ints.OrInt

 

Example - Section in class org.jcsp.plugNplay.ints.ParaplexInt

 

Example - Section in class org.jcsp.plugNplay.ints.Plex2Int

 

Example - Section in class org.jcsp.plugNplay.ints.PlexInt

 

Example - Section in class org.jcsp.plugNplay.ints.PlusInt

 

Example - Section in class org.jcsp.plugNplay.ints.PrinterInt

 

Example - Section in class org.jcsp.plugNplay.ints.ProcessReadInt

 

Example - Section in class org.jcsp.plugNplay.ints.ProcessWriteInt

 

Example - Section in class org.jcsp.plugNplay.ints.SignInt

 

Example - Section in class org.jcsp.plugNplay.ints.SuccessorInt

 

Example - Section in class org.jcsp.plugNplay.ints.TimesInt

 

Example - Section in class org.jcsp.plugNplay.ints.XorInt

 

Example - Section in interface org.jcsp.lang.ChannelAccept

 

Example - Section in interface org.jcsp.lang.ChannelInputInt

 

Example - Section in interface org.jcsp.lang.ChannelOutput

 

Example - Section in interface org.jcsp.lang.ChannelOutputInt

 

Example 0 (a single alting barrier) - Section in class org.jcsp.lang.AltingBarrier

 

Example 1 (lots of alting barriers) - Section in class org.jcsp.lang.AltingBarrier

 

Example - Matrix Multiply (in Sequence and in Parallel) - Section in class org.jcsp.lang.Sequence

 

Examples - Section in class org.jcsp.lang.Alternative

 

Examples - Section in class org.jcsp.lang.CSTimer

 

Examples - Section in interface org.jcsp.lang.CSProcess

 

Examples - Section in interface org.jcsp.lang.ChannelInput

 

Exercise - Section in class org.jcsp.lang.Sequence

 

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.

External View - Section in class org.jcsp.plugNplay.Fibonacci

 

External View - Section in class org.jcsp.plugNplay.Integrate

 

External View - Section in class org.jcsp.plugNplay.Numbers

 

External View - Section in class org.jcsp.plugNplay.Pairs

 

External View - Section in class org.jcsp.plugNplay.Squares

 

External View - Section in class org.jcsp.plugNplay.ints.FibonacciInt

 

External View - Section in class org.jcsp.plugNplay.ints.IntegrateInt

 

External View - Section in class org.jcsp.plugNplay.ints.NumbersInt

 

External View - Section in class org.jcsp.plugNplay.ints.PairsInt

 

External View - Section in class org.jcsp.plugNplay.ints.SquaresInt