Uses of Package
org.jmanikin.core

Packages that use org.jmanikin.core
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
  • Classes in org.jmanikin.core used by org.jmanikin.core
    Class Description
    Apply
    The Apply stage of building a Message.
    Effect
    The Effect stage of building a Message.
    Environment
    An Environment is the self scope that is provided/injected when evaluating a Msg.
    Id
    An Id is a factory for (a pristine) Object O which it subsequently identifies.
    Message
    A Message is a factory for building a Msg using a fluent Builder.
    Msg
    The final Msg stage of building a Message.
    PostCondition
    The Post-condition stage of building a Message.
    PreCondition
    The Pre-condition stage of building a Message.
    Value
    A Value correlates a value V with a World W that produced value V.
    World
    A World is a 'memory' for (old) Objects and the entry point for sending Messages to Objects.
  • Classes in org.jmanikin.core used by org.jmanikin.example.bank
    Class Description
    Environment
    An Environment is the self scope that is provided/injected when evaluating a Msg.
    Id
    An Id is a factory for (a pristine) Object O which it subsequently identifies.
    Message
    A Message is a factory for building a Msg using a fluent Builder.
    Msg
    The final Msg stage of building a Message.
    PreCondition
    The Pre-condition stage of building a Message.
  • Classes in org.jmanikin.core used by org.jmanikin.message
    Class Description
    Apply
    The Apply stage of building a Message.
    Effect
    The Effect stage of building a Message.
    Environment
    An Environment is the self scope that is provided/injected when evaluating a Msg.
    Id
    An Id is a factory for (a pristine) Object O which it subsequently identifies.
    Message
    A Message is a factory for building a Msg using a fluent Builder.
    Msg
    The final Msg stage of building a Message.
    PostCondition
    The Post-condition stage of building a Message.
    PreCondition
    The Pre-condition stage of building a Message.
  • Classes in org.jmanikin.core used by org.jmanikin.test
    Class Description
    Environment
    An Environment is the self scope that is provided/injected when evaluating a Msg.
    Id
    An Id is a factory for (a pristine) Object O which it subsequently identifies.
    Message
    A Message is a factory for building a Msg using a fluent Builder.
    Msg
    The final Msg stage of building a Message.
    PreCondition
    The Pre-condition stage of building a Message.
    World
    A World is a 'memory' for (old) Objects and the entry point for sending Messages to Objects.
  • Classes in org.jmanikin.core used by org.jmanikin.world
    Class Description
    Id
    An Id is a factory for (a pristine) Object O which it subsequently identifies.
    Message
    A Message is a factory for building a Msg using a fluent Builder.
    Value
    A Value correlates a value V with a World W that produced value V.
    World
    A World is a 'memory' for (old) Objects and the entry point for sending Messages to Objects.