Uses of Interface
org.jmanikin.core.PreCondition

Packages that use PreCondition

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

Subinterfaces of PreCondition in org.jmanikin.core

Modifier and Type	Interface	Description
interface	Environment<I extends Id<O>,O,E>	An Environment is the self scope that is provided/injected when evaluating a Msg.

Uses of PreCondition in org.jmanikin.example.bank

Subinterfaces of PreCondition 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 PreCondition

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

Uses of PreCondition in org.jmanikin.message

Subinterfaces of PreCondition 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.

Classes in org.jmanikin.message that implement PreCondition

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.

Uses of PreCondition in org.jmanikin.test

Subinterfaces of PreCondition in org.jmanikin.test

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

Classes in org.jmanikin.test that implement PreCondition

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