ConForM.CoopnTools.JavaProto.Transaction
Class Root
java.lang.Object
|
+--ConForM.CoopnTools.JavaProto.Transaction.Root
- All Implemented Interfaces:
- NonLeaf, StateNode
- public class Root
- extends java.lang.Object
- implements NonLeaf
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Root
public Root(State init)
Root
public Root()
setPreState
public void setPreState(State s)
getTransaction
public CoopnTransaction getTransaction()
- Specified by:
getTransaction
in interface StateNode
getPreState
public State getPreState()
- Specified by:
getPreState
in interface StateNode
getPostState
public State getPostState()
- Specified by:
getPostState
in interface StateNode
getPreStateOf
public State getPreStateOf(StateNode child)
- Specified by:
getPreStateOf
in interface NonLeaf
setParent
public void setParent(NonLeaf parent)
- Specified by:
setParent
in interface StateNode
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
childCommited
public void childCommited(StateNode child)
- Specified by:
childCommited
in interface StateNode
accept
public void accept(StateNodeVisitor vis)
- Specified by:
accept
in interface StateNode
visitChildren
public void visitChildren(StateNodeVisitor vis)