All Classes
| Class | Description |
|---|---|
| AccountModule | |
| AccountModule.Account | |
| AccountModule.AccountMsg | |
| AccountModule.Deposit | |
| AccountModule.ID | |
| AccountModule.Open | |
| AccountModule.Withdraw | |
| Apply<I extends Id<O>,O,E> |
The Apply stage of building a Message.
|
| ConformanceResult | |
| ConformanceResult.ConformanceErrorType | |
| ConformanceResult.DeterminismProblem | |
| ConformanceResult.ObjProblem | |
| ConformanceResult.OldProblem | |
| ConformanceResult.RollbackProblem | |
| ConformanceResult.SendProblem | |
| ConformanceResult.WorldConformanceError<W extends World<W>> | |
| Effect<I extends Id<O>,O,E> |
The Effect stage of building a Message.
|
| Environment<I extends Id<O>,O,E> |
An Environment is the self scope that is provided/injected when evaluating a Msg.
|
| Id<O> |
An Id is a factory for (a pristine) Object O which it subsequently identifies.
|
| LocalMessage<I extends Id<O>,O,E> |
A LocalMessage wraps the Environment in a LocalEnv, and temporarily stores the LocalEnv in a ThreadLocal variable.
|
| LocalMessage.LocalEnvironment<I extends Id<O>,O,E> |
LocalEnvironment implementation that sets the ThreadLocal variable at each Stage.
|
| Message<I extends Id<O>,O,E> |
A Message is a factory for building a Msg using a fluent Builder.
|
| Msg<I extends Id<O>,O,E> |
The final Msg stage of building a Message.
|
| Performance | |
| PostCondition<I extends Id<O>,O,E> |
The Post-condition stage of building a Message.
|
| PreCondition<I extends Id<O>,O,E> |
The Pre-condition stage of building a Message.
|
| SimpleTransfer | |
| SimpleWorld |
A SimpleWorld provides a (mutable!) World implementation that still conforms to Manikin's minimum semantics.
|
| TestModule | |
| TestModule.CId | |
| TestModule.CMsg<E> | |
| TestModule.CObject | |
| TestModule.CopyId | |
| TestModule.LMsg<E> | |
| TestModule.LocalCopyId | |
| TestModule.LocalSendSetMember | |
| TestModule.LocalSetMember | |
| TestModule.SendSetMember | |
| TestModule.SetMember | |
| TestModule.ThrowPstException | |
| TransferModule | |
| TransferModule.Book | |
| TransferModule.ID | |
| TransferModule.Transfer | |
| TransferModule.TransferMsg | |
| Value<W extends World<W>,V> |
A Value correlates a value V with a World W that produced value V.
|
| Value.ValueImpl<W extends World<W>,V> |
Default implementation.
|
| World<W extends World<W>> |
A World is a 'memory' for (old) Objects and the entry point for sending Messages to Objects.
|
| WorldConformanceTest | |
| WorldTest<W extends World<W>> |