Package org.jmanikin.example.bank

Class AccountModule.Open

java.lang.Object
org.jmanikin.example.bank.AccountModule.Open
All Implemented Interfaces:
Environment<AccountModule.ID,​AccountModule.Account,​java.lang.Void>, Message<AccountModule.ID,​AccountModule.Account,​java.lang.Void>, PreCondition<AccountModule.ID,​AccountModule.Account,​java.lang.Void>, AccountModule.AccountMsg, LocalMessage<AccountModule.ID,​AccountModule.Account,​java.lang.Void>
Enclosing interface:
AccountModule
public static class AccountModule.Open
extends java.lang.Object
implements AccountModule.AccountMsg

  • Nested Class Summary

    Nested classes/interfaces inherited from interface org.jmanikin.message.LocalMessage

    LocalMessage.LocalEnvironment<I extends Id<O>,​O,​E>

  • Field Summary

    Fields
    Modifier and Type Field Description
    java.lang.Double initial  

    Fields inherited from interface org.jmanikin.message.LocalMessage

    localEnv

  • Constructor Summary

    Constructors
    Constructor Description
    Open​(java.lang.Double initial)  

  • Method Summary

    Modifier and Type Method Description
    Msg<AccountModule.ID,​AccountModule.Account,​java.lang.Void> local()
    Returns the Msg that has been build.

    Methods inherited from class java.lang.Object

    clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

    Methods inherited from interface org.jmanikin.message.LocalMessage

    env, msg, obj, obj, old, old, pre, self, send