ConForM.CoopnTools.JavaProto.Transaction
Class Leaf

java.lang.Object
  |
  +--ConForM.CoopnTools.JavaProto.Transaction.Leaf
All Implemented Interfaces:
NonLeaf, StateNode, TransactionMgr
Direct Known Subclasses:
GateLeaf

public class Leaf
extends java.lang.Object
implements NonLeaf, TransactionMgr

Actually Leaf is a very bad name! :) can have children Contains state (actually only Root and Leaf really contain State, the others's (Sim, Seq) state is computed from Leafs)


Constructor Summary
Leaf(CoopnTransaction t)
           
Leaf(NonLeaf parent, CoopnTransaction t)
           
 
Method Summary
 void abort(Transaction t)
           
 void accept(StateNodeVisitor vis)
           
 void childCommited(StateNode s)
           
 void commit(Transaction t)
           
 Leaf find(CoopnTransaction t)
           
 StateIterator getIterator()
           
 Key getKey()
           
 State getPostState()
           
 State getPreState()
           
 State getPreStateOf(StateNode s)
           
 CoopnTransaction getTransaction()
           
 Leaf insert(CoopnTransaction t)
           
 Leaf insert(CoopnTransaction t, Leaf leaf)
           
protected  Leaf insert0(StateNode child, CoopnTransaction t, Leaf leaf)
           
 PlaceIterator iterator(int[] test, int[] pre)
           
 void notifyChildRemoved(StateNode child)
           
 java.lang.Object pop()
           
 void push(java.lang.Object o)
           
 Leaf remove(CoopnTransaction t)
           
 void replaceChild(StateNode oldChild, StateNode newChild)
           
 void setIterator(StateIterator siter)
           
 void setKey(Key key)
           
 void setParent(NonLeaf parent)
           
 void setPostState(State s)
           
 void visitChildren(StateNodeVisitor vis)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

Leaf

public Leaf(NonLeaf parent,
            CoopnTransaction t)

Leaf

public Leaf(CoopnTransaction t)
Method Detail

getTransaction

public CoopnTransaction getTransaction()
Specified by:
getTransaction in interface StateNode

getPreState

public State getPreState()
Specified by:
getPreState in interface StateNode

getPreStateOf

public State getPreStateOf(StateNode s)
Specified by:
getPreStateOf in interface NonLeaf

getPostState

public State getPostState()
Specified by:
getPostState in interface StateNode

setParent

public void setParent(NonLeaf parent)
Specified by:
setParent in interface StateNode

setPostState

public void setPostState(State s)

insert

public Leaf insert(CoopnTransaction t,
                   Leaf leaf)
Specified by:
insert in interface StateNode

insert

public Leaf insert(CoopnTransaction t)
Specified by:
insert in interface StateNode

insert0

protected Leaf insert0(StateNode child,
                       CoopnTransaction t,
                       Leaf leaf)

find

public Leaf find(CoopnTransaction t)
Specified by:
find in interface StateNode

remove

public Leaf remove(CoopnTransaction t)
Specified by:
remove in interface StateNode

notifyChildRemoved

public void notifyChildRemoved(StateNode child)
Specified by:
notifyChildRemoved in interface NonLeaf

replaceChild

public void replaceChild(StateNode oldChild,
                         StateNode newChild)
Specified by:
replaceChild in interface NonLeaf

commit

public void commit(Transaction t)
Specified by:
commit in interface TransactionMgr

abort

public void abort(Transaction t)
Specified by:
abort in interface TransactionMgr

childCommited

public void childCommited(StateNode s)
Specified by:
childCommited in interface StateNode

push

public void push(java.lang.Object o)

pop

public java.lang.Object pop()

getKey

public Key getKey()

setKey

public void setKey(Key key)

setIterator

public void setIterator(StateIterator siter)

getIterator

public StateIterator getIterator()

accept

public void accept(StateNodeVisitor vis)
Specified by:
accept in interface StateNode

visitChildren

public void visitChildren(StateNodeVisitor vis)

iterator

public PlaceIterator iterator(int[] test,
                              int[] pre)