Package org.jcsp.util.filter
Class FilteredChannelEnd
- java.lang.Object
-
- org.jcsp.util.filter.FilteredChannelEnd
-
public class FilteredChannelEnd extends Object
Static factory for creating channel end wrappers that support filtering.- Author:
- Quickstone Technologies Limited
-
-
Method Summary
All Methods Static Methods Concrete Methods Modifier and Type Method Description static FilteredAltingChannelInput
createFiltered(AltingChannelInput in)
Creates a new filtered input channel end around an existing input channel end.static FilteredChannelInput
createFiltered(ChannelInput in)
Creates a new filtered input channel end around an existing input channel end.static FilteredChannelOutput
createFiltered(ChannelOutput out)
Creates a new filtered output channel end around an existing output channel end.static FilteredSharedChannelInput
createFiltered(SharedChannelInput in)
Creates a new filtered input channel end around an existing input channel end that can be shared by multiple processes.static FilteredSharedChannelOutput
createFiltered(SharedChannelOutput out)
Creates a new filtered output channel end around an existing output channel end that can be shared by multiple processes.
-
-
-
Method Detail
-
createFiltered
public static FilteredAltingChannelInput createFiltered(AltingChannelInput in)
Creates a new filtered input channel end around an existing input channel end. The channel end can be used as a guard in anAlternative
.- Parameters:
in
- the existing channel end to create a filtered form of.- Returns:
- the new channel end with filtering ability.
-
createFiltered
public static FilteredChannelInput createFiltered(ChannelInput in)
Creates a new filtered input channel end around an existing input channel end.- Parameters:
in
- the existing channel end to create a filtered form of.- Returns:
- the new channel end with filtering ability.
-
createFiltered
public static FilteredSharedChannelInput createFiltered(SharedChannelInput in)
Creates a new filtered input channel end around an existing input channel end that can be shared by multiple processes.- Parameters:
in
- the existing channel end to create a filtered form of,- Returns:
- the new channel end with filtering ability.
-
createFiltered
public static FilteredChannelOutput createFiltered(ChannelOutput out)
Creates a new filtered output channel end around an existing output channel end.- Parameters:
out
- the existing channel end to create a filtered form of.
-
createFiltered
public static FilteredSharedChannelOutput createFiltered(SharedChannelOutput out)
Creates a new filtered output channel end around an existing output channel end that can be shared by multiple processes.- Parameters:
out
- the existing channel end to create a filtered form of.- Returns:
- the new channel end with filtering ability.
-
-