- 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
-
- fork() - Method in class org.jcsp.lang.Any2OneCallChannel
-
- fork() - Method in class org.jcsp.lang.One2AnyCallChannel
-
- fork() - Method in class org.jcsp.lang.One2OneCallChannel
-
- 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.