Class Hierarchy
- java.lang.Object
- org.jmanikin.example.bank.AccountModule.Account
- org.jmanikin.example.bank.AccountModule.Deposit (implements org.jmanikin.example.bank.AccountModule.AccountMsg)
- org.jmanikin.example.bank.AccountModule.ID (implements org.jmanikin.core.Id<O>)
- org.jmanikin.example.bank.AccountModule.Open (implements org.jmanikin.example.bank.AccountModule.AccountMsg)
- org.jmanikin.example.bank.AccountModule.Withdraw (implements org.jmanikin.example.bank.AccountModule.AccountMsg)
- org.jmanikin.test.ConformanceResult.ConformanceErrorType
- org.jmanikin.test.ConformanceResult.WorldConformanceError<W>
- org.jmanikin.message.LocalMessage.LocalEnvironment<I,O,E> (implements org.jmanikin.core.Apply<I,O,E>, org.jmanikin.core.Effect<I,O,E>, org.jmanikin.core.Environment<I,O,E>, org.jmanikin.core.Msg<I,O,E>, org.jmanikin.core.PostCondition<I,O,E>, org.jmanikin.core.PreCondition<I,O,E>)
- org.jmanikin.example.Performance
- org.jmanikin.example.bank.SimpleTransfer
- org.jmanikin.world.SimpleWorld (implements org.jmanikin.core.World<W>)
- org.jmanikin.test.TestModule.CId (implements org.jmanikin.core.Id<O>)
- org.jmanikin.test.TestModule.CObject
- org.jmanikin.test.TestModule.CopyId (implements org.jmanikin.test.TestModule.CMsg<E>)
- org.jmanikin.test.TestModule.LocalCopyId (implements org.jmanikin.test.TestModule.LMsg<E>)
- org.jmanikin.test.TestModule.LocalSendSetMember (implements org.jmanikin.test.TestModule.LMsg<E>)
- org.jmanikin.test.TestModule.LocalSetMember (implements org.jmanikin.test.TestModule.LMsg<E>)
- org.jmanikin.test.TestModule.SendSetMember (implements org.jmanikin.test.TestModule.CMsg<E>)
- org.jmanikin.test.TestModule.SetMember (implements org.jmanikin.test.TestModule.CMsg<E>)
- org.jmanikin.test.TestModule.ThrowPstException (implements org.jmanikin.test.TestModule.LMsg<E>)
- org.jmanikin.example.bank.TransferModule.Book (implements org.jmanikin.example.bank.TransferModule.TransferMsg)
- org.jmanikin.example.bank.TransferModule.ID (implements org.jmanikin.core.Id<O>)
- org.jmanikin.example.bank.TransferModule.Transfer
- org.jmanikin.core.Value.ValueImpl<W,V> (implements org.jmanikin.core.Value<W,V>)
- org.jmanikin.test.WorldConformanceTest
Interface Hierarchy
- org.jmanikin.example.bank.AccountModule
- org.jmanikin.core.Apply<I,O,E>
- org.jmanikin.test.ConformanceResult
- org.jmanikin.core.Effect<I,O,E>
- org.jmanikin.core.Id<O>
- org.jmanikin.core.Message<I,O,E>
- org.jmanikin.core.Msg<I,O,E>
- org.jmanikin.core.PostCondition<I,O,E>
- org.jmanikin.core.PreCondition<I,O,E>
- org.jmanikin.test.TestModule
- org.jmanikin.example.bank.TransferModule
- org.jmanikin.core.World<W>
- org.jmanikin.core.Value<W,V>