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

F

FACTORY - Static variable in interface org.jcsp.lang.ConnectionServer

The factory for creating channels within servers.

fairSelect() - Method in class org.jcsp.lang.Alternative

Returns the index of one of the ready guards.

fairSelect(boolean[]) - Method in class org.jcsp.lang.Alternative

Returns the index of one of the ready guards whose preCondition index is true.

fairSelect() - Method in class org.jcsp.lang.InlineAlternative

Creates an Alternative (if needed) and delegates the call to it.

fallInto() - Method in class org.jcsp.lang.Bucket

Fall into the bucket.

Fibonacci - Class in org.jcsp.plugNplay

This generates the Fibonacci sequence on its output channel.

Fibonacci(ChannelOutput) - Constructor for class org.jcsp.plugNplay.Fibonacci

Construct a new Fibonacci process with the output Channel out.

FibonacciInt - Class in org.jcsp.plugNplay.ints

This generates the Fibonacci sequence on its output channel.

FibonacciInt(ChannelOutputInt) - Constructor for class org.jcsp.plugNplay.ints.FibonacciInt

Construct a new FibonacciInt process with the output Channel out.

Filter - Interface in org.jcsp.util.filter

Interface for channel plug-ins that define filtering operations - transformations on the data as it is read or written.

filter(Object) - Method in interface org.jcsp.util.filter.Filter

Applies the filter operation.

filter(Object) - Method in class org.jcsp.util.filter.PoisonFilter

FilteredAltingChannelInput - Class in org.jcsp.util.filter

Implements an AltingChannelInput channel end that also supports read filters.

FilteredAny2AnyChannel - Interface in org.jcsp.util.filter

Interface for an Any2Any channel that has support for filtering at both ends.

FilteredAny2OneChannel - Interface in org.jcsp.util.filter

Interface for an Any2One channel that supports filtering operations at each end.

FilteredChannel - Class in org.jcsp.util.filter

Static factory for creating filtered channels.

FilteredChannelEnd - Class in org.jcsp.util.filter

Static factory for creating channel end wrappers that support filtering.

FilteredChannelEndFactory - Class in org.jcsp.util.filter

Factory for creating filtered channel ends around existing channel ends.

FilteredChannelEndFactory() - Constructor for class org.jcsp.util.filter.FilteredChannelEndFactory

Constructs a new FilteredChannelEndFactory.

FilteredChannelFactory - Class in org.jcsp.util.filter

This class is used for constructing Filtered Channels.

FilteredChannelFactory() - Constructor for class org.jcsp.util.filter.FilteredChannelFactory

All channels constructed with a Factory constructed with this constructor will default to having no pre-installed filters.

FilteredChannelFactory(Filter[], Filter[]) - Constructor for class org.jcsp.util.filter.FilteredChannelFactory

All channels constructed with this Factory instance will have the specified Filter objects inserted into them.

FilteredChannelInput - Interface in org.jcsp.util.filter

Interface for a channel input end that supports filtering operations.

FilteredChannelOutput - Interface in org.jcsp.util.filter

Interface for a channel output end that supports write filtering operations.

FilteredOne2AnyChannel - Interface in org.jcsp.util.filter

Interface for an Any2Any channel that supports both read and write filters.

FilteredOne2OneChannel - Interface in org.jcsp.util.filter

Interface for a One2One channel that supports filtering operations at each end.

FilteredSharedChannelInput - Interface in org.jcsp.util.filter

Interface for a channel input end that supports filtering and can be shared by multiple processes.

FilteredSharedChannelInputWrapper - Class in org.jcsp.util.filter

This is wrapper for a SharedChannelInput that adds read filtering.

FilteredSharedChannelInputWrapper(SharedChannelInput) - Constructor for class org.jcsp.util.filter.FilteredSharedChannelInputWrapper

Constructs a new wrapper for the given channel input end.

FilteredSharedChannelOutput - Interface in org.jcsp.util.filter

Interface for an output channel end that supports filtering operations and can be shared by multiple concurrent processes.

FilteredSharedChannelOutputWrapper - Class in org.jcsp.util.filter

This is wrapper for a SharedChannelOutput that adds write filtering.

FilteredSharedChannelOutputWrapper(SharedChannelOutput) - Constructor for class org.jcsp.util.filter.FilteredSharedChannelOutputWrapper

Constructs a new wrapper for the given channel output end.

finalize() - Method in class org.jcsp.lang.Crew

Finalize method added to terminate the process that it spawned.

finalize() - Method in class org.jcsp.lang.Parallel

System finalizer.

finish() - Static method in class org.jcsp.lang.SpuriousLog

Finish logging of spurious wakeups.

FixedDelay - Class in org.jcsp.plugNplay

This process copies input to output, imposing a fixed time delay between these events.

FixedDelay(long, ChannelInput, ChannelOutput) - Constructor for class org.jcsp.plugNplay.FixedDelay

This process copies input to output, imposing a fixed time delay between these events.

FixedDelayInt - Class in org.jcsp.plugNplay.ints

This holds on to data from its input channel for a fixed delay before passing it on to its output channel.

FixedDelayInt(long, ChannelInputInt, ChannelOutputInt) - Constructor for class org.jcsp.plugNplay.ints.FixedDelayInt

Construct a new FixedDelayInt process with the input Channel in and the output Channel out.

flush() - Method in class org.jcsp.lang.Bucket

Flush the bucket.

fork() - Method in class org.jcsp.lang.Any2AnyCallChannel

This is invoked by a client during the standard calling sequence.

fork() - Method in class org.jcsp.lang.Any2OneCallChannel

This is invoked by a client during the standard calling sequence.

fork() - Method in class org.jcsp.lang.One2AnyCallChannel

This is invoked by a client during the standard calling sequence.

fork() - Method in class org.jcsp.lang.One2OneCallChannel

This is invoked by a client during the standard calling sequence.

FramedButton - Class in org.jcsp.plugNplay

A free-standing button process in its own frame, with configure and event channels.

FramedButton(String, int, int, ChannelInput, ChannelOutput) - Constructor for class org.jcsp.plugNplay.FramedButton

Construct a framed button process.

FramedButtonArray - Class in org.jcsp.plugNplay

A free-standing array of button processes in their own frame, with configure and event channels.

FramedButtonArray(String, int, int, int, boolean, ChannelInput[], ChannelOutput[]) - Constructor for class org.jcsp.plugNplay.FramedButtonArray

Construct a framed button array process.

FramedButtonGrid - Class in org.jcsp.plugNplay

A free-standing grid of button processes in their own frame, with configure and event channels.

FramedButtonGrid(String, int, int, int, int, ChannelInput[][], ChannelOutput[][]) - Constructor for class org.jcsp.plugNplay.FramedButtonGrid

Construct a framed button grid process.

FramedScrollbar - Class in org.jcsp.plugNplay

A free-standing scrollbar process in its own frame, with configure and event channels.

FramedScrollbar(String, int, int, ChannelInput, ChannelOutputInt, boolean, int, int, int, int) - Constructor for class org.jcsp.plugNplay.FramedScrollbar

Construct a framed scrollbar process.

FULL - Static variable in interface org.jcsp.util.ChannelDataStore

Indicates that the ChannelDataStore is full -- it can accept only a get.

FULL - Static variable in interface org.jcsp.util.ints.ChannelDataStoreInt

Indicates that the ChannelDataStoreInt is full -- it can accept only a get.