Package | Description |
---|---|
org.jcsp.net |
This is main package for JCSP.NET.
|
org.jcsp.net.dynamic |
Supports dynamic operations over the JCSP.NET infrastructure.
|
org.jcsp.util.filter |
This defines filtering channels that can apply transformations to objects
as they are read and/or written.
|
Modifier and Type | Class and Description |
---|---|
private class |
LoopbackLink.LoopbackSerializationFilter |
Modifier and Type | Method and Description |
---|---|
(package private) void |
Link.addTxFilter(Filter filter,
int index)
Adds a transmission filter.
|
(package private) void |
Link.removeTxFilter(Filter filter)
Removes a transmission filter.
|
Modifier and Type | Class and Description |
---|---|
(package private) class |
DataSerializationFilter
A filter to be plugged into the sending end of a channel if dynamic class transfer is to be supported
over the channel.
|
(package private) class |
DeserializeChannelFilter
This class is used in the dynamic class loading mechanism.
|
Modifier and Type | Field and Description |
---|---|
private static Filter |
DynamicClassLoader.nonDynamicClassLoadingRxFilter
The alternative RX filter that does not support dynamic class loading, returned by
getNonDynamicClassLoadingRxFilter . |
Modifier and Type | Method and Description |
---|---|
Filter |
DynamicClassLoader.getChannelRxFilter()
Returns the RX filter to be used at the receiving end of a channel if dynamic class loading is to
be supported over that channel.
|
Filter |
DynamicClassLoader.DynamicClassLoaderUserObject.getChannelRxFilter()
Returns the RX filter to be used at the receiving end of a channel if dynamic class loading
is to be supported over that channel.
|
Filter |
DynamicClassLoader.getChannelTxFilter()
Returns the TX filter to be used at the sending end of a channel if dynamic class loading is to
be supported over that channel.
|
Filter |
DynamicClassLoader.DynamicClassLoaderUserObject.getChannelTxFilter()
Returns the TX filter to be used at the sending end of a channel if dynamic class laoding is
to be supported over that channel.
|
static Filter |
DynamicClassLoader.getNonDynamicClassLoadingRxFilter()
An alternative RX filter that does not support dynamic class loading but will properly
unmarshal objects wrapped up by a TX filter.
|
Filter |
MigratableAltingChannelInputImpl.getReadFilter(int index) |
Filter |
MigratableChannelOutputImpl.getWriteFilter(int index) |
Modifier and Type | Method and Description |
---|---|
void |
MigratableAltingChannelInputImpl.addReadFilter(Filter filter) |
void |
MigratableAltingChannelInputImpl.addReadFilter(Filter filter,
int index) |
void |
MigratableChannelOutputImpl.addWriteFilter(Filter filter) |
void |
MigratableChannelOutputImpl.addWriteFilter(Filter filter,
int index) |
void |
MigratableAltingChannelInputImpl.removeReadFilter(Filter filter) |
void |
MigratableChannelOutputImpl.removeWriteFilter(Filter filter) |
Modifier and Type | Class and Description |
---|---|
class |
PoisonFilter
This filter will throw a
PoisonException
when filter(Object) is called. |
Modifier and Type | Field and Description |
---|---|
private Filter[] |
FilterHolder.filters
The array of filters.
|
private Filter[] |
FilteredChannelFactory.readFilters
Read filters to install in channels created by this factory.
|
private Filter[] |
FilteredChannelFactory.writeFilters
Write filters to install in channels created by this factory.
|
Modifier and Type | Method and Description |
---|---|
Filter |
FilterHolder.getFilter(int index)
Returns a filter at the given array index.
|
Filter |
FilteredChannelInputWrapper.getReadFilter(int index) |
Filter |
FilteredAltingChannelInput.getReadFilter(int index) |
Filter |
ReadFiltered.getReadFilter(int index)
Returns the read filter installed at the given index.
|
Filter |
FilteredSharedChannelInputWrapper.getReadFilter(int index) |
Filter |
FilteredSharedChannelOutputWrapper.getWriteFilter(int index) |
Filter |
WriteFiltered.getWriteFilter(int index)
Returns the write filter installed at the given index.
|
Filter |
FilteredChannelOutputWrapper.getWriteFilter(int index) |
Modifier and Type | Method and Description |
---|---|
void |
FilterHolder.addFilter(Filter filter)
Adds a filter to the end of the array, possibly enlarging it if it is full.
|
void |
FilterHolder.addFilter(Filter filter,
int index)
Adds a filter at the given index.
|
void |
FilteredChannelInputWrapper.addReadFilter(Filter filter) |
void |
FilteredAltingChannelInput.addReadFilter(Filter filter) |
void |
ReadFiltered.addReadFilter(Filter filter)
Installs a read filter defining a transformation to be applied by the
read method of the
channel end. |
void |
FilteredSharedChannelInputWrapper.addReadFilter(Filter filter) |
void |
FilteredChannelInputWrapper.addReadFilter(Filter filter,
int index) |
void |
FilteredAltingChannelInput.addReadFilter(Filter filter,
int index) |
void |
ReadFiltered.addReadFilter(Filter filter,
int index)
Installs a read filter defining a transformation to be applied by the
read method of the
channel end at a specific index. |
void |
FilteredSharedChannelInputWrapper.addReadFilter(Filter filter,
int index) |
void |
FilteredSharedChannelOutputWrapper.addWriteFilter(Filter filter) |
void |
WriteFiltered.addWriteFilter(Filter filter)
Installs a write filter defining a transformation to be applied by the
write method of
the channel end. |
void |
FilteredChannelOutputWrapper.addWriteFilter(Filter filter) |
void |
FilteredSharedChannelOutputWrapper.addWriteFilter(Filter filter,
int index) |
void |
WriteFiltered.addWriteFilter(Filter filter,
int index)
Installs a write filter defining a transformation to be applied by the
write method of the
channel end at a specific index. |
void |
FilteredChannelOutputWrapper.addWriteFilter(Filter filter,
int index) |
void |
FilterHolder.removeFilter(Filter filter)
Removes a filter from the set.
|
void |
FilteredChannelInputWrapper.removeReadFilter(Filter filter) |
void |
FilteredAltingChannelInput.removeReadFilter(Filter filter) |
void |
ReadFiltered.removeReadFilter(Filter filter)
Removes the first read filter (lowest index) matching the filter given as a parameter.
|
void |
FilteredSharedChannelInputWrapper.removeReadFilter(Filter filter) |
void |
FilteredSharedChannelOutputWrapper.removeWriteFilter(Filter filter) |
void |
WriteFiltered.removeWriteFilter(Filter filter)
Removes the first write filter (lowest index) matching the filter given as a parameter.
|
void |
FilteredChannelOutputWrapper.removeWriteFilter(Filter filter) |
Constructor and Description |
---|
FilteredChannelFactory(Filter[] readFilters,
Filter[] writeFilters)
All channels constructed with this Factory instance will have the
specified
Filter objects inserted into them. |
FilteredChannelFactory(Filter[] readFilters,
Filter[] writeFilters)
All channels constructed with this Factory instance will have the
specified
Filter objects inserted into them. |