Package org.jmanikin.core

Interface Msg<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 Msg<I extends Id<O>,​O,​E>
The final Msg stage of building a Message.

  • Method Summary

    Modifier and Type Method Description
    java.util.function.Supplier<O> app()
    Returns the lazy Object O supplier that was build by the builder.
    java.util.function.Supplier<E> eff()
    Returns the lazy Effect E supplier that was build by the builder.
    java.util.function.Supplier<java.lang.Boolean> pre()
    Returns the lazy pre-condition supplier that was build by the builder.
    java.util.function.Supplier<java.lang.Boolean> pst()
    Returns the lazy post-condition supplier that was build by the builder.

  • Method Details

    • pre

      java.util.function.Supplier<java.lang.Boolean> pre()
      Returns the lazy pre-condition supplier that was build by the builder.
      Returns:
      the pre-condition supplier

    • app

      java.util.function.Supplier<O> app()
      Returns the lazy Object O supplier that was build by the builder.
      Returns:
      the Object O supplier

    • eff

      java.util.function.Supplier<E> eff()
      Returns the lazy Effect E supplier that was build by the builder.
      Returns:
      the Effect E supplier

    • pst

      java.util.function.Supplier<java.lang.Boolean> pst()
      Returns the lazy post-condition supplier that was build by the builder.
      Returns:
      the post-condition supplier