| 
CSP for Java (JCSP) 1.1-rc3  | 
||||||||
| PREV NEXT | FRAMES NO FRAMES | ||||||||
| Package org.jcsp.awt | 
|---|
| Class org.jcsp.awt.ActiveApplet extends Applet implements Serializable | 
|---|
| Serialized Fields | 
|---|
CSProcess process
ProcessManager manager
boolean started
int timeoutAck
The default value is 10000 (i.e. 10 seconds).
ChannelOutputInt stopStart
ChannelOutputInt destroy
AltingChannelInputInt destroyAck
CSTimer tim
Alternative destroyAlt
int ACKNOWLEDGE
int TIMEOUT
Vector<E> vec
ChannelInput configure
| Class org.jcsp.awt.ActiveButton extends Button implements Serializable | 
|---|
| Serialized Fields | 
|---|
Vector<E> vec
ChannelInput configure
| Class org.jcsp.awt.ActiveButtonControl.BadArguments extends Exception implements Serializable | 
|---|
| Class org.jcsp.awt.ActiveButtonState.BadArguments extends Exception implements Serializable | 
|---|
| Class org.jcsp.awt.ActiveCanvas extends Canvas implements Serializable | 
|---|
| Serialized Fields | 
|---|
ChannelInput toGraphics
ChannelOutput fromGraphics
Paintable paintable
Vector<E> vec
int requestedWidth
int requestedHeight
| Class org.jcsp.awt.ActiveCheckbox extends Checkbox implements Serializable | 
|---|
| Serialized Fields | 
|---|
Vector<E> vec
ChannelInput configure
| Class org.jcsp.awt.ActiveCheckboxMenuItem extends CheckboxMenuItem implements Serializable | 
|---|
| Serialized Fields | 
|---|
Vector<E> vec
ChannelInput configure
| Class org.jcsp.awt.ActiveChoice extends Choice implements Serializable | 
|---|
| Serialized Fields | 
|---|
Vector<E> vec
ChannelInput configure
| Class org.jcsp.awt.ActiveComponent extends Component implements Serializable | 
|---|
| Serialized Fields | 
|---|
Vector<E> vec
ChannelInput configure
| Class org.jcsp.awt.ActiveContainer extends Container implements Serializable | 
|---|
| Serialized Fields | 
|---|
Vector<E> vec
ChannelInput configure
| Class org.jcsp.awt.ActiveDialog extends Dialog implements Serializable | 
|---|
| Serialized Fields | 
|---|
Vector<E> vec
ChannelInput configure
| Class org.jcsp.awt.ActiveFileDialog extends FileDialog implements Serializable | 
|---|
| Serialized Fields | 
|---|
Vector<E> vec
ChannelInput configure
ChannelOutput event
| Class org.jcsp.awt.ActiveFrame extends Frame implements Serializable | 
|---|
| Serialized Fields | 
|---|
Vector<E> vec
ChannelInput configure
| Class org.jcsp.awt.ActiveLabel extends Label implements Serializable | 
|---|
| Serialized Fields | 
|---|
Vector<E> vec
ChannelInput configure
| Class org.jcsp.awt.ActiveList extends List implements Serializable | 
|---|
| Serialized Fields | 
|---|
Vector<E> vec
ChannelInput configure
| Class org.jcsp.awt.ActiveMenu extends Menu implements Serializable | 
|---|
| Serialized Fields | 
|---|
Vector<E> vec
ChannelInput configure
| Class org.jcsp.awt.ActiveMenuItem extends MenuItem implements Serializable | 
|---|
| Serialized Fields | 
|---|
Vector<E> vec
ChannelInput configure
| Class org.jcsp.awt.ActivePanel extends Panel implements Serializable | 
|---|
| Serialized Fields | 
|---|
Vector<E> vec
ChannelInput configure
| Class org.jcsp.awt.ActiveScrollbar extends Scrollbar implements Serializable | 
|---|
| Serialized Fields | 
|---|
Vector<E> vec
ChannelInput configure
| Class org.jcsp.awt.ActiveScrollPane extends ScrollPane implements Serializable | 
|---|
| Serialized Fields | 
|---|
Vector<E> vec
ChannelInput configure
| Class org.jcsp.awt.ActiveTextArea extends TextArea implements Serializable | 
|---|
| Serialized Fields | 
|---|
Vector<E> vec
ChannelInput configure
| Class org.jcsp.awt.ActiveTextField extends TextField implements Serializable | 
|---|
| Serialized Fields | 
|---|
Vector<E> vec
ChannelInput configure
| Class org.jcsp.awt.ActiveWindow extends Window implements Serializable | 
|---|
| Serialized Fields | 
|---|
Vector<E> vec
ChannelInput configure
| Package org.jcsp.lang | 
|---|
| Class org.jcsp.lang.AlternativeError extends Error implements Serializable | 
|---|
| Class org.jcsp.lang.AltingBarrierError extends Error implements Serializable | 
|---|
| Class org.jcsp.lang.Any2AnyCallChannel extends Object implements Serializable | 
|---|
| Serialized Fields | 
|---|
org.jcsp.lang.Any2OneChannelImpl c
org.jcsp.lang.One2OneChannelImpl d
CSProcess server
join
 and fork elements of the standard
 calling sequence.
 As shown in that sequence, it will need casting up to the relevant interface
 supported by the specific CALL channel derived from this class.
int selected
join and fork elements of
 that sequence.  Either all the CALL
 channel methods should do this or none - in the latter case, its default
 value remains as zero.  Its value is returned to a server as the result
 the server's invocation of accept.
| Class org.jcsp.lang.Any2OneCallChannel extends AltingChannelAccept implements Serializable | 
|---|
| Serialized Fields | 
|---|
org.jcsp.lang.Any2OneChannelImpl c
org.jcsp.lang.One2OneChannelImpl d
CSProcess server
join
 and fork elements of the standard
 calling sequence.
 As shown in that sequence, it will need casting up to the relevant interface
 supported by the specific CALL channel derived from this class.
int selected
join and fork elements of
 that sequence.  Either all the CALL
 channel methods should do this or none - in the latter case, its default
 value remains as zero.  Its value is returned to a server as the result
 the server's invocation of accept.
| Class org.jcsp.lang.Barrier extends Object implements Serializable | 
|---|
| Serialized Fields | 
|---|
int nEnrolled
int countDown
Object barrierLock
boolean evenOddCycle
| Class org.jcsp.lang.BarrierError extends Error implements Serializable | 
|---|
| Class org.jcsp.lang.Bucket extends Object implements Serializable | 
|---|
| Serialized Fields | 
|---|
int nHolding
Object bucketLock
int bucketCycle
| Class org.jcsp.lang.JCSP_InternalError extends Error implements Serializable | 
|---|
| Class org.jcsp.lang.One2AnyCallChannel extends Object implements Serializable | 
|---|
| Serialized Fields | 
|---|
org.jcsp.lang.One2OneChannelImpl c
CSProcess server
join
 and fork elements of the standard
 calling sequence.
 As shown in that sequence, it will need casting up to the relevant interface
 supported by the specific CALL channel derived from this class.
int selected
join and fork elements of
 that sequence.  Either all the CALL
 channel methods should do this or none - in the latter case, its default
 value remains as zero.  Its value is returned to a server as the result
 the server's invocation of accept.
| Class org.jcsp.lang.One2OneCallChannel extends AltingChannelAccept implements Serializable | 
|---|
| Serialized Fields | 
|---|
org.jcsp.lang.One2OneChannelImpl c
CSProcess server
join
 and fork elements of the standard
 calling sequence.
 As shown in that sequence, it will need casting up to the relevant interface
 supported by the specific CALL channel derived from this class.
int selected
join and fork elements of
 that sequence.  Either all the CALL
 channel methods should do this or none - in the latter case, its default
 value remains as zero.  Its value is returned to a server as the result
 the server's invocation of accept.
| Class org.jcsp.lang.ProcessInterruptedException extends Error implements Serializable | 
|---|
| Package org.jcsp.util | 
|---|
| Class org.jcsp.util.Buffer extends Object implements Serializable | 
|---|
| Serialized Fields | 
|---|
Object[] buffer
int counter
int firstIndex
int lastIndex
| Class org.jcsp.util.BufferSizeError extends Error implements Serializable | 
|---|
| Class org.jcsp.util.InfiniteBuffer extends Object implements Serializable | 
|---|
| Serialized Fields | 
|---|
int initialSize
Object[] buffer
int counter
int firstIndex
int lastIndex
| Class org.jcsp.util.OverFlowingBuffer extends Object implements Serializable | 
|---|
| Serialized Fields | 
|---|
Object[] buffer
int counter
int firstIndex
int lastIndex
| Class org.jcsp.util.OverWriteOldestBuffer extends Object implements Serializable | 
|---|
| Serialized Fields | 
|---|
Object[] buffer
int counter
int firstIndex
int lastIndex
boolean valueWrittenWhileFull
| Class org.jcsp.util.OverWritingBuffer extends Object implements Serializable | 
|---|
| Serialized Fields | 
|---|
Object[] buffer
int counter
int firstIndex
int lastIndex
boolean valueWrittenWhileFull
| Class org.jcsp.util.ZeroBuffer extends Object implements Serializable | 
|---|
| Serialized Fields | 
|---|
int state
Object value
| Package org.jcsp.util.ints | 
|---|
| Class org.jcsp.util.ints.BufferInt extends Object implements Serializable | 
|---|
| Serialized Fields | 
|---|
int[] buffer
int counter
int firstIndex
int lastIndex
| Class org.jcsp.util.ints.BufferIntSizeError extends Error implements Serializable | 
|---|
| Class org.jcsp.util.ints.InfiniteBufferInt extends Object implements Serializable | 
|---|
| Serialized Fields | 
|---|
int initialSize
int[] buffer
int counter
int firstIndex
int lastIndex
| Class org.jcsp.util.ints.OverFlowingBufferInt extends Object implements Serializable | 
|---|
| Serialized Fields | 
|---|
int[] buffer
int counter
int firstIndex
int lastIndex
| Class org.jcsp.util.ints.OverWriteOldestBufferInt extends Object implements Serializable | 
|---|
| Serialized Fields | 
|---|
int[] buffer
int counter
int firstIndex
int lastIndex
boolean valueWrittenWhileFull
| Class org.jcsp.util.ints.OverWritingBufferInt extends Object implements Serializable | 
|---|
| Serialized Fields | 
|---|
int[] buffer
int counter
int firstIndex
int lastIndex
boolean valueWrittenWhileFull
| Class org.jcsp.util.ints.ZeroBufferInt extends Object implements Serializable | 
|---|
| Serialized Fields | 
|---|
int state
int value
  | 
CSP for Java (JCSP) 1.1-rc3  | 
||||||||
| PREV NEXT | FRAMES NO FRAMES | ||||||||