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.
  • Field Details

  • Constructor Details

    • FilteredChannelEnd

      private FilteredChannelEnd()
      Private constructor to prevent any instances of this static factory from being created.
  • Method Details

    • 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 an Alternative.
      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.