Class FilteredChannelEndFactory

java.lang.Object
org.jcsp.util.filter.FilteredChannelEndFactory

public class FilteredChannelEndFactory extends Object

Factory for creating filtered channel ends around existing channel ends.

An instance of this class can be created and used, or alternatively the static factory FilteredChannelEnd may be more convenient.

Author:
Quickstone Technologies Limited
  • Constructor Details

    • FilteredChannelEndFactory

      public FilteredChannelEndFactory()
      Constructs a new FilteredChannelEndFactory.
  • Method Details

    • createFiltered

      public FilteredAltingChannelInput createFiltered(AltingChannelInput in)
      Creates a new filtered channel input end around an existing channel end. The created channel end can be used as a guard in an Alternative.
      Parameters:
      in - the existing channel end.
      Returns:
      the created channel end.
    • createFiltered

      public FilteredChannelInput createFiltered(ChannelInput in)
      Creates a new filtered channel input end around an existing channel end.
      Parameters:
      in - the existing channel end.
      Returns:
      the created channel end.
    • createFiltered

      public FilteredSharedChannelInput createFiltered(SharedChannelInput in)
      Creates a new filtered channel input end around an existing channel end. The created channel end can be shared by multiple processes.
      Parameters:
      in - the existing channel end.
      Returns:
      the created channel end.
    • createFiltered

      public FilteredChannelOutput createFiltered(ChannelOutput out)
      Creates a new filtered channel output end around an existing channel end.
      Parameters:
      out - the existing channel end.
      Returns:
      the created channel end.
    • createFiltered

      public FilteredSharedChannelOutput createFiltered(SharedChannelOutput out)
      Creates a new filtered channel output end around an existing channel end. The created channel end can be shared by multiple processes.
      Parameters:
      out - the existing channel end.
      Returns:
      the created channel end.