ConForM.CoopnTools.JavaProto.Transaction
Class BinaryNode
java.lang.Object
|
+--ConForM.CoopnTools.JavaProto.Transaction.BinaryNode
- All Implemented Interfaces:
- NonLeaf, StateNode
- Direct Known Subclasses:
- Seq, Sim
- public abstract class BinaryNode
- extends java.lang.Object
- implements NonLeaf
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Methods inherited from interface ConForM.CoopnTools.JavaProto.Transaction.StateNode |
accept |
child1
protected StateNode child1
child2
protected StateNode child2
BinaryNode
public BinaryNode(NonLeaf parent,
StateNode child1,
StateNode child2,
CoopnTransaction transaction)
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
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
insert1
protected Leaf insert1(CoopnTransaction t,
Leaf leaf)
insert2
protected Leaf insert2(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
visitChildren
public void visitChildren(StateNodeVisitor vis)