Package org.jmanikin.core

Interface PostCondition<I extends Id<O>,​O,​E>

Type Parameters:
I - the Id Type
O - the Object Type
E - the Effect Type
All Known Implementing Classes:
LocalMessage.LocalEnvironment
public interface PostCondition<I extends Id<O>,​O,​E>

The Post-condition stage of building a Message.

  • Method Summary

    Modifier and Type Method Description
    Msg<I,​O,​E> pst​(java.util.function.Supplier<java.lang.Boolean> pst)
    Build the next Msg stage, given a lazy post-condition supplier.

  • Method Details

    • pst

      Msg<I,​O,​E> pst​(java.util.function.Supplier<java.lang.Boolean> pst)
      Build the next Msg stage, given a lazy post-condition supplier.
      Parameters:
      pst - the supplier of the post-condition
      Returns:
      the Msg stage