Uses of Interface
org.jmanikin.core.Message

Packages that use Message

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
org.jmanikin.world	Provides basic World implementations

Uses of Message in org.jmanikin.core

Methods in org.jmanikin.core with parameters of type Message

Modifier and Type	Method	Description
<I2 extends Id<O2>, O2, R2> R2	Environment.send(I2 id, Message<I2,O2,R2> msg)	Sends a Message to Object O, given an Object identifier
<I extends Id<O>, O, E> Value<W,E>	Value.ValueImpl.send(I id, Message<I,O,E> msg)
<I extends Id<O>, O, E> Value<W,E>	World.send(I id, Message<I,O,E> msg)	Returns the effect Value E, after sending a Message to Object O, given an Object identifier.

Uses of Message in org.jmanikin.example.bank

Subinterfaces of Message in org.jmanikin.example.bank

Modifier and Type	Interface	Description
static interface	AccountModule.AccountMsg
static interface	TransferModule.TransferMsg

Classes in org.jmanikin.example.bank that implement Message

Modifier and Type	Class	Description
static class	AccountModule.Deposit
static class	AccountModule.Open
static class	AccountModule.Withdraw
static class	TransferModule.Book

Uses of Message in org.jmanikin.message

Subinterfaces of Message in org.jmanikin.message

Modifier and Type	Interface	Description
interface	LocalMessage<I extends Id<O>,O,E>	A LocalMessage wraps the Environment in a LocalEnv, and temporarily stores the LocalEnv in a ThreadLocal variable.

Methods in org.jmanikin.message with parameters of type Message

Modifier and Type	Method	Description
<I2 extends Id<O2>, O2, R2> R2	LocalMessage.LocalEnvironment.send(I2 id, Message<I2,O2,R2> msg)
default <I2 extends Id<O2>, O2, R2> R2	LocalMessage.send(I2 id, Message<I2,O2,R2> msg)

Uses of Message in org.jmanikin.test

Subinterfaces of Message in org.jmanikin.test

Modifier and Type	Interface	Description
static interface	TestModule.CMsg<E>
static interface	TestModule.LMsg<E>

Classes in org.jmanikin.test that implement Message

Modifier and Type	Class	Description
static class	TestModule.CopyId
static class	TestModule.LocalCopyId
static class	TestModule.LocalSendSetMember
static class	TestModule.LocalSetMember
static class	TestModule.SendSetMember
static class	TestModule.SetMember
static class	TestModule.ThrowPstException

Uses of Message in org.jmanikin.world

Methods in org.jmanikin.world with parameters of type Message

Modifier and Type	Method	Description
<I extends Id<O>, O, E> Value<SimpleWorld,E>	SimpleWorld.send(I id, Message<I,O,E> message)