Index

A B C D E F I L M O P R S T V W
All Classes|All Packages

A

Account(Double) - Constructor for class org.jmanikin.example.bank.AccountModule.Account

AccountModule - Interface in org.jmanikin.example.bank

AccountModule.Account - Class in org.jmanikin.example.bank

AccountModule.AccountMsg - Interface in org.jmanikin.example.bank

AccountModule.Deposit - Class in org.jmanikin.example.bank

AccountModule.ID - Class in org.jmanikin.example.bank

AccountModule.Open - Class in org.jmanikin.example.bank

AccountModule.Withdraw - Class in org.jmanikin.example.bank

amount - Variable in class org.jmanikin.example.bank.AccountModule.Deposit

amount - Variable in class org.jmanikin.example.bank.AccountModule.Withdraw

amount - Variable in class org.jmanikin.example.bank.TransferModule.Book

amount - Variable in class org.jmanikin.example.bank.TransferModule.Transfer

app() - Method in interface org.jmanikin.core.Msg

Returns the lazy Object O supplier that was build by the builder.

app() - Method in class org.jmanikin.message.LocalMessage.LocalEnvironment

app(Supplier<O>) - Method in interface org.jmanikin.core.Apply

Build the next Effect stage, given a lazy Object O supplier.

app(Supplier<O>) - Method in class org.jmanikin.message.LocalMessage.LocalEnvironment

Apply<I extends Id<O>,O,E> - Interface in org.jmanikin.core

The Apply stage of building a Message.

B

balance - Variable in class org.jmanikin.example.bank.AccountModule.Account

Book(AccountModule.ID, AccountModule.ID, Double) - Constructor for class org.jmanikin.example.bank.TransferModule.Book

C

check(W) - Static method in class org.jmanikin.test.WorldConformanceTest

check(W) - Method in interface org.jmanikin.test.WorldTest

checkDeterminism(W) - Method in interface org.jmanikin.test.WorldTest

checkObj(W) - Method in interface org.jmanikin.test.WorldTest

checkOld(W) - Method in interface org.jmanikin.test.WorldTest

checkRollback(W) - Method in interface org.jmanikin.test.WorldTest

checkSend(W) - Method in interface org.jmanikin.test.WorldTest

CId(int) - Constructor for class org.jmanikin.test.TestModule.CId

CObject(int) - Constructor for class org.jmanikin.test.TestModule.CObject

ConformanceErrorType() - Constructor for class org.jmanikin.test.ConformanceResult.ConformanceErrorType

ConformanceResult - Interface in org.jmanikin.test

ConformanceResult.ConformanceErrorType - Class in org.jmanikin.test

ConformanceResult.DeterminismProblem - Class in org.jmanikin.test

ConformanceResult.ObjProblem - Class in org.jmanikin.test

ConformanceResult.OldProblem - Class in org.jmanikin.test

ConformanceResult.RollbackProblem - Class in org.jmanikin.test

ConformanceResult.SendProblem - Class in org.jmanikin.test

ConformanceResult.WorldConformanceError<W extends World<W>> - Class in org.jmanikin.test

CopyId() - Constructor for class org.jmanikin.test.TestModule.CopyId

D

Deposit(Double) - Constructor for class org.jmanikin.example.bank.AccountModule.Deposit

DeterminismProblem() - Constructor for class org.jmanikin.test.ConformanceResult.DeterminismProblem

E

eff() - Method in interface org.jmanikin.core.Msg

Returns the lazy Effect E supplier that was build by the builder.

eff() - Method in class org.jmanikin.message.LocalMessage.LocalEnvironment

eff(Supplier<E>) - Method in interface org.jmanikin.core.Effect

Build the next post-condition stage, given a lazy effect R supplier.

eff(Supplier<E>) - Method in class org.jmanikin.message.LocalMessage.LocalEnvironment

Effect<I extends Id<O>,O,E> - Interface in org.jmanikin.core

The Effect stage of building a Message.

env() - Method in interface org.jmanikin.message.LocalMessage

Environment<I extends Id<O>,O,E> - Interface in org.jmanikin.core

An Environment is the self scope that is provided/injected when evaluating a Msg.

error(String) - Method in interface org.jmanikin.test.WorldTest

errorType - Variable in class org.jmanikin.test.ConformanceResult.WorldConformanceError

exception - Variable in class org.jmanikin.test.ConformanceResult.WorldConformanceError

F

from - Variable in class org.jmanikin.example.bank.TransferModule.Book

from - Variable in class org.jmanikin.example.bank.TransferModule.Transfer

I

id - Variable in class org.jmanikin.example.bank.AccountModule.ID

id - Variable in class org.jmanikin.example.bank.TransferModule.ID

id - Variable in class org.jmanikin.test.TestModule.CId

Id<O> - Interface in org.jmanikin.core

An Id is a factory for (a pristine) Object O which it subsequently identifies.

ID(Long) - Constructor for class org.jmanikin.example.bank.TransferModule.ID

ID(String) - Constructor for class org.jmanikin.example.bank.AccountModule.ID

init() - Method in interface org.jmanikin.core.Id

Returns the pristine Object O

init() - Method in class org.jmanikin.core.Value.ValueImpl

init() - Method in interface org.jmanikin.core.World

Returns a pristine new World of type W

init() - Method in class org.jmanikin.example.bank.AccountModule.ID

init() - Method in class org.jmanikin.example.bank.TransferModule.ID

init() - Method in class org.jmanikin.test.TestModule.CId

init() - Method in class org.jmanikin.world.SimpleWorld

initial - Variable in class org.jmanikin.example.bank.AccountModule.Open

L

local() - Method in class org.jmanikin.example.bank.AccountModule.Deposit

local() - Method in class org.jmanikin.example.bank.AccountModule.Open

local() - Method in class org.jmanikin.example.bank.AccountModule.Withdraw

local() - Method in class org.jmanikin.example.bank.TransferModule.Book

local() - Method in interface org.jmanikin.message.LocalMessage

Returns the Msg that has been build.

local() - Method in class org.jmanikin.test.TestModule.LocalCopyId

local() - Method in class org.jmanikin.test.TestModule.LocalSendSetMember

local() - Method in class org.jmanikin.test.TestModule.LocalSetMember

local() - Method in class org.jmanikin.test.TestModule.ThrowPstException

LocalCopyId() - Constructor for class org.jmanikin.test.TestModule.LocalCopyId

localEnv - Static variable in interface org.jmanikin.message.LocalMessage

LocalEnvironment(Environment<I, O, E>) - Constructor for class org.jmanikin.message.LocalMessage.LocalEnvironment

LocalMessage<I extends Id<O>,O,E> - Interface in org.jmanikin.message

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> - Class in org.jmanikin.message

LocalEnvironment implementation that sets the ThreadLocal variable at each Stage.

LocalSendSetMember(int, TestModule.CId) - Constructor for class org.jmanikin.test.TestModule.LocalSendSetMember

LocalSetMember(int) - Constructor for class org.jmanikin.test.TestModule.LocalSetMember

M

main(String[]) - Static method in class org.jmanikin.example.bank.SimpleTransfer

main(String[]) - Static method in class org.jmanikin.example.Performance

main(String[]) - Static method in class org.jmanikin.test.WorldConformanceTest

member - Variable in class org.jmanikin.test.TestModule.CObject

member - Variable in class org.jmanikin.test.TestModule.LocalSendSetMember

member - Variable in class org.jmanikin.test.TestModule.LocalSetMember

member - Variable in class org.jmanikin.test.TestModule.SendSetMember

member - Variable in class org.jmanikin.test.TestModule.SetMember

Message<I extends Id<O>,O,E> - Interface in org.jmanikin.core

A Message is a factory for building a Msg using a fluent Builder.

msg(Environment<I, O, E>) - Method in interface org.jmanikin.core.Message

Builds a Msg, given an Environment

msg(Environment<I, O, E>) - Method in interface org.jmanikin.message.LocalMessage

msg(Environment<TestModule.CId, TestModule.CObject, Integer>) - Method in class org.jmanikin.test.TestModule.SendSetMember

msg(Environment<TestModule.CId, TestModule.CObject, Integer>) - Method in class org.jmanikin.test.TestModule.SetMember

msg(Environment<TestModule.CId, TestModule.CObject, Void>) - Method in class org.jmanikin.test.TestModule.CopyId

Msg<I extends Id<O>,O,E> - Interface in org.jmanikin.core

The final Msg stage of building a Message.

O

obj() - Method in interface org.jmanikin.core.Environment

Returns the current Object O

obj() - Method in class org.jmanikin.message.LocalMessage.LocalEnvironment

obj() - Method in interface org.jmanikin.message.LocalMessage

obj(Id<? extends O>) - Method in class org.jmanikin.core.Value.ValueImpl

obj(Id<? extends O>) - Method in interface org.jmanikin.core.World

Returns the current Object O value, given an id.

obj(Id<? extends O>) - Method in class org.jmanikin.world.SimpleWorld

obj(Id<? extends O2>) - Method in interface org.jmanikin.core.Environment

Returns the current Object O2, given its id

obj(Id<? extends O2>) - Method in class org.jmanikin.message.LocalMessage.LocalEnvironment

obj(Id<? extends O2>) - Method in interface org.jmanikin.message.LocalMessage

ObjProblem() - Constructor for class org.jmanikin.test.ConformanceResult.ObjProblem

old() - Method in interface org.jmanikin.core.Environment

Returns the old Object O

old() - Method in class org.jmanikin.message.LocalMessage.LocalEnvironment

old() - Method in interface org.jmanikin.message.LocalMessage

old(Id<? extends O>) - Method in class org.jmanikin.core.Value.ValueImpl

old(Id<? extends O>) - Method in interface org.jmanikin.core.World

Returns the old Object O value, given an id.

old(Id<? extends O>) - Method in class org.jmanikin.world.SimpleWorld

old(Id<? extends O2>) - Method in interface org.jmanikin.core.Environment

Returns the old Object O2, given its id

old(Id<? extends O2>) - Method in class org.jmanikin.message.LocalMessage.LocalEnvironment

old(Id<? extends O2>) - Method in interface org.jmanikin.message.LocalMessage

OldProblem() - Constructor for class org.jmanikin.test.ConformanceResult.OldProblem

Open(Double) - Constructor for class org.jmanikin.example.bank.AccountModule.Open

org.jmanikin.core - package org.jmanikin.core

Provides the core interfaces

org.jmanikin.example - package org.jmanikin.example

Provides some basic examples

org.jmanikin.example.bank - package org.jmanikin.example.bank

Provides the basic Bank example

org.jmanikin.message - package org.jmanikin.message

Provides basic abstract Message types

org.jmanikin.test - package org.jmanikin.test

Provides conformance tests

org.jmanikin.world - package org.jmanikin.world

Provides basic World implementations

other - Variable in class org.jmanikin.test.TestModule.LocalSendSetMember

other - Variable in class org.jmanikin.test.TestModule.SendSetMember

P

Performance - Class in org.jmanikin.example

Performance() - Constructor for class org.jmanikin.example.Performance

PostCondition<I extends Id<O>,O,E> - Interface in org.jmanikin.core

The Post-condition stage of building a Message.

pre() - Method in interface org.jmanikin.core.Msg

Returns the lazy pre-condition supplier that was build by the builder.

pre() - Method in class org.jmanikin.message.LocalMessage.LocalEnvironment

pre(Supplier<Boolean>) - Method in interface org.jmanikin.core.PreCondition

Build the next Apply stage, given a lazy pre-condition supplier.

pre(Supplier<Boolean>) - Method in class org.jmanikin.message.LocalMessage.LocalEnvironment

pre(Supplier<Boolean>) - Method in interface org.jmanikin.message.LocalMessage

PreCondition<I extends Id<O>,O,E> - Interface in org.jmanikin.core

The Pre-condition stage of building a Message.

pst() - Method in interface org.jmanikin.core.Msg

Returns the lazy post-condition supplier that was build by the builder.

pst() - Method in class org.jmanikin.message.LocalMessage.LocalEnvironment

pst(Supplier<Boolean>) - Method in interface org.jmanikin.core.PostCondition

Build the next Msg stage, given a lazy post-condition supplier.

pst(Supplier<Boolean>) - Method in class org.jmanikin.message.LocalMessage.LocalEnvironment

R

reason() - Method in class org.jmanikin.test.ConformanceResult.DeterminismProblem

reason() - Method in class org.jmanikin.test.ConformanceResult.ObjProblem

reason() - Method in class org.jmanikin.test.ConformanceResult.OldProblem

reason() - Method in class org.jmanikin.test.ConformanceResult.RollbackProblem

reason() - Method in class org.jmanikin.test.ConformanceResult.SendProblem

RollbackProblem() - Constructor for class org.jmanikin.test.ConformanceResult.RollbackProblem

S

self() - Method in interface org.jmanikin.core.Environment

Returns the Object identifier that's in scope

self() - Method in class org.jmanikin.message.LocalMessage.LocalEnvironment

self() - Method in interface org.jmanikin.message.LocalMessage

send(I2, Message<I2, O2, R2>) - Method in interface org.jmanikin.core.Environment

Sends a Message to Object O, given an Object identifier

send(I2, Message<I2, O2, R2>) - Method in class org.jmanikin.message.LocalMessage.LocalEnvironment

send(I2, Message<I2, O2, R2>) - Method in interface org.jmanikin.message.LocalMessage

send(I, Message<I, O, E>) - Method in class org.jmanikin.core.Value.ValueImpl

send(I, Message<I, O, E>) - Method in interface org.jmanikin.core.World

Returns the effect Value E, after sending a Message to Object O, given an Object identifier.

send(I, Message<I, O, E>) - Method in class org.jmanikin.world.SimpleWorld

SendProblem() - Constructor for class org.jmanikin.test.ConformanceResult.SendProblem

SendSetMember(int, TestModule.CId) - Constructor for class org.jmanikin.test.TestModule.SendSetMember

SetMember(int) - Constructor for class org.jmanikin.test.TestModule.SetMember

SimpleTransfer - Class in org.jmanikin.example.bank

SimpleTransfer() - Constructor for class org.jmanikin.example.bank.SimpleTransfer

SimpleWorld - Class in org.jmanikin.world

A SimpleWorld provides a (mutable!) World implementation that still conforms to Manikin's minimum semantics.

SimpleWorld() - Constructor for class org.jmanikin.world.SimpleWorld

T

TestModule - Interface in org.jmanikin.test

TestModule.CId - Class in org.jmanikin.test

TestModule.CMsg<E> - Interface in org.jmanikin.test

TestModule.CObject - Class in org.jmanikin.test

TestModule.CopyId - Class in org.jmanikin.test

TestModule.LMsg<E> - Interface in org.jmanikin.test

TestModule.LocalCopyId - Class in org.jmanikin.test

TestModule.LocalSendSetMember - Class in org.jmanikin.test

TestModule.LocalSetMember - Class in org.jmanikin.test

TestModule.SendSetMember - Class in org.jmanikin.test

TestModule.SetMember - Class in org.jmanikin.test

TestModule.ThrowPstException - Class in org.jmanikin.test

ThrowPstException() - Constructor for class org.jmanikin.test.TestModule.ThrowPstException

to - Variable in class org.jmanikin.example.bank.TransferModule.Book

to - Variable in class org.jmanikin.example.bank.TransferModule.Transfer

toString() - Method in class org.jmanikin.test.ConformanceResult.ConformanceErrorType

toString() - Method in class org.jmanikin.test.ConformanceResult.WorldConformanceError

Transfer(AccountModule.ID, AccountModule.ID, Double) - Constructor for class org.jmanikin.example.bank.TransferModule.Transfer

TransferModule - Interface in org.jmanikin.example.bank

TransferModule.Book - Class in org.jmanikin.example.bank

TransferModule.ID - Class in org.jmanikin.example.bank

TransferModule.Transfer - Class in org.jmanikin.example.bank

TransferModule.TransferMsg - Interface in org.jmanikin.example.bank

V

value() - Method in interface org.jmanikin.core.Value

value() - Method in class org.jmanikin.core.Value.ValueImpl

Value<W extends World<W>,V> - Interface in org.jmanikin.core

A Value correlates a value V with a World W that produced value V.

Value.ValueImpl<W extends World<W>,V> - Class in org.jmanikin.core

Default implementation.

ValueImpl(W, V) - Constructor for class org.jmanikin.core.Value.ValueImpl

W

Withdraw(Double) - Constructor for class org.jmanikin.example.bank.AccountModule.Withdraw

world - Variable in class org.jmanikin.test.ConformanceResult.WorldConformanceError

world() - Method in class org.jmanikin.core.Value.ValueImpl

world() - Method in interface org.jmanikin.core.Value

World<W extends World<W>> - Interface in org.jmanikin.core

A World is a 'memory' for (old) Objects and the entry point for sending Messages to Objects.

WorldConformanceError(Exception, ConformanceResult.ConformanceErrorType, W) - Constructor for class org.jmanikin.test.ConformanceResult.WorldConformanceError

WorldConformanceTest - Class in org.jmanikin.test

WorldConformanceTest() - Constructor for class org.jmanikin.test.WorldConformanceTest

WorldTest<W extends World<W>> - Interface in org.jmanikin.test

A B C D E F I L M O P R S T V W
All Classes|All Packages