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)
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Leaf
public Leaf(NonLeaf parent,
CoopnTransaction t)
Leaf
public Leaf(CoopnTransaction t)
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)