Uses of Interface
org.jmanikin.core.PostCondition
| Package | Description |
|---|---|
| org.jmanikin.core |
Provides the core interfaces
|
| org.jmanikin.message |
Provides basic abstract Message types
|
-
Uses of PostCondition in org.jmanikin.core
Methods in org.jmanikin.core that return PostCondition Modifier and Type Method Description PostCondition<I,O,E>Effect. eff(java.util.function.Supplier<E> eff)Build the next post-condition stage, given a lazy effect R supplier. -
Uses of PostCondition in org.jmanikin.message
Classes in org.jmanikin.message that implement PostCondition Modifier and Type Class Description static classLocalMessage.LocalEnvironment<I extends Id<O>,O,E>LocalEnvironment implementation that sets the ThreadLocal variable at each Stage.Methods in org.jmanikin.message that return PostCondition Modifier and Type Method Description PostCondition<I,O,E>LocalMessage.LocalEnvironment. eff(java.util.function.Supplier<E> eff)