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 jcsp.util.ChannelDataStore

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

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

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

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

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

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

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

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

Associate the invoking process with this barrier.

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

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

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

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

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

Extends the array of GraphicsCommands to be executed.

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

Extends the array of GraphicsCommands to be interpreted.