Uses of Interface
org.jmanikin.core.Id

Packages that use Id

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 Id in org.jmanikin.core

Classes in org.jmanikin.core with type parameters of type Id

Modifier and Type	Interface	Description
interface	Apply<I extends Id<O>,O,E>	The Apply stage of building a Message.
interface	Effect<I extends Id<O>,O,E>	The Effect stage of building a Message.
interface	Environment<I extends Id<O>,O,E>	An Environment is the self scope that is provided/injected when evaluating a Msg.
interface	Message<I extends Id<O>,O,E>	A Message is a factory for building a Msg using a fluent Builder.
interface	Msg<I extends Id<O>,O,E>	The final Msg stage of building a Message.
interface	PostCondition<I extends Id<O>,O,E>	The Post-condition stage of building a Message.
interface	PreCondition<I extends Id<O>,O,E>	The Pre-condition stage of building a Message.

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

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.

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

Modifier and Type	Method	Description
<O2> O2	Environment.obj(Id<? extends O2> id)	Returns the current Object O2, given its id
<O> Value<W,O>	Value.ValueImpl.obj(Id<? extends O> id)
<O> Value<W,O>	World.obj(Id<? extends O> id)	Returns the current Object O value, given an id.
<O2> O2	Environment.old(Id<? extends O2> id)	Returns the old Object O2, given its id
<O> Value<W,O>	Value.ValueImpl.old(Id<? extends O> id)
<O> Value<W,O>	World.old(Id<? extends O> id)	Returns the old Object O value, given an id.

Uses of Id in org.jmanikin.example.bank

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

Modifier and Type	Class	Description
static class	AccountModule.ID
static class	TransferModule.ID

Uses of Id in org.jmanikin.message

Classes in org.jmanikin.message with type parameters of type Id

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.
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 with type parameters of type Id

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)

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

Modifier and Type	Method	Description
<O2> O2	LocalMessage.LocalEnvironment.obj(Id<? extends O2> id)
default <O2> O2	LocalMessage.obj(Id<? extends O2> id)
<O2> O2	LocalMessage.LocalEnvironment.old(Id<? extends O2> id)
default <O2> O2	LocalMessage.old(Id<? extends O2> id)

Uses of Id in org.jmanikin.test

Classes in org.jmanikin.test that implement Id

Modifier and Type	Class	Description
static class	TestModule.CId

Uses of Id in org.jmanikin.world

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

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

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

Modifier and Type	Method	Description
<O> Value<SimpleWorld,O>	SimpleWorld.obj(Id<? extends O> id)
<O> Value<SimpleWorld,O>	SimpleWorld.old(Id<? extends O> id)