Package org.jmanikin.core

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

Type Parameters:
I - the Id Type
O - the Object Type
E - the Effect Type
All Known Subinterfaces:
AccountModule.AccountMsg, Environment<I,​O,​E>, LocalMessage<I,​O,​E>, TestModule.LMsg<E>, TransferModule.TransferMsg
All Known Implementing Classes:
AccountModule.Deposit, AccountModule.Open, AccountModule.Withdraw, LocalMessage.LocalEnvironment, TestModule.LocalCopyId, TestModule.LocalSendSetMember, TestModule.LocalSetMember, TestModule.ThrowPstException, TransferModule.Book
public interface PreCondition<I extends Id<O>,​O,​E>

The Pre-condition stage of building a Message.

  • Method Summary

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

  • Method Details

    • pre

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