Uses of Interface
org.jmanikin.core.Msg
| Package | Description |
|---|---|
| org.jmanikin.core |
Provides the core interfaces
|
| org.jmanikin.example.bank |
Provides the basic Bank example
|
| org.jmanikin.message |
Provides basic abstract Message types
|
| org.jmanikin.test |
Provides conformance tests
|
-
Uses of Msg in org.jmanikin.core
Methods in org.jmanikin.core that return Msg Modifier and Type Method Description Msg<I,O,E>Message. msg(Environment<I,O,E> env)Builds a Msg, given an EnvironmentMsg<I,O,E>PostCondition. pst(java.util.function.Supplier<java.lang.Boolean> pst)Build the next Msg stage, given a lazy post-condition supplier. -
Uses of Msg in org.jmanikin.example.bank
Methods in org.jmanikin.example.bank that return Msg Modifier and Type Method Description Msg<AccountModule.ID,AccountModule.Account,java.lang.Void>AccountModule.Deposit. local()Msg<AccountModule.ID,AccountModule.Account,java.lang.Void>AccountModule.Open. local()Msg<AccountModule.ID,AccountModule.Account,java.lang.Void>AccountModule.Withdraw. local()Msg<TransferModule.ID,TransferModule.Transfer,java.lang.Void>TransferModule.Book. local() -
Uses of Msg in org.jmanikin.message
Classes in org.jmanikin.message that implement Msg 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 Msg Modifier and Type Method Description Msg<I,O,E>LocalMessage. local()Returns the Msg that has been build.default Msg<I,O,E>LocalMessage. msg(Environment<I,O,E> e)Msg<I,O,E>LocalMessage.LocalEnvironment. pst(java.util.function.Supplier<java.lang.Boolean> pst) -
Uses of Msg in org.jmanikin.test
Methods in org.jmanikin.test that return Msg Modifier and Type Method Description Msg<TestModule.CId,TestModule.CObject,java.lang.Void>TestModule.LocalCopyId. local()Msg<TestModule.CId,TestModule.CObject,java.lang.Integer>TestModule.LocalSendSetMember. local()Msg<TestModule.CId,TestModule.CObject,java.lang.Integer>TestModule.LocalSetMember. local()Msg<TestModule.CId,TestModule.CObject,java.lang.Void>TestModule.ThrowPstException. local()Msg<TestModule.CId,TestModule.CObject,java.lang.Void>TestModule.CopyId. msg(Environment<TestModule.CId,TestModule.CObject,java.lang.Void> e)Msg<TestModule.CId,TestModule.CObject,java.lang.Integer>TestModule.SendSetMember. msg(Environment<TestModule.CId,TestModule.CObject,java.lang.Integer> e)Msg<TestModule.CId,TestModule.CObject,java.lang.Integer>TestModule.SetMember. msg(Environment<TestModule.CId,TestModule.CObject,java.lang.Integer> e)