Uses of Interface
org.jmanikin.core.Msg

Packages that use 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 Environment
Msg<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 class	LocalMessage.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)