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


Field Summary
protected  StateNode child1
           
protected  StateNode child2
           
 
Constructor Summary
BinaryNode(NonLeaf parent, StateNode child1, StateNode child2, CoopnTransaction transaction)
           
 
Method Summary
 void childCommited(StateNode child)
           
 Leaf find(CoopnTransaction t)
           
 State getPostState()
           
 State getPreState()
           
 CoopnTransaction getTransaction()
           
 Leaf insert(CoopnTransaction t)
           
 Leaf insert(CoopnTransaction t, Leaf leaf)
           
protected  Leaf insert1(CoopnTransaction t, Leaf leaf)
           
protected  Leaf insert2(CoopnTransaction t, Leaf leaf)
           
 void notifyChildRemoved(StateNode child)
           
 Leaf remove(CoopnTransaction t)
           
 void replaceChild(StateNode oldChild, StateNode newChild)
           
 void setParent(NonLeaf parent)
           
 void visitChildren(StateNodeVisitor vis)
           
 
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.NonLeaf
getPreStateOf
 
Methods inherited from interface ConForM.CoopnTools.JavaProto.Transaction.StateNode
accept
 

Field Detail

child1

protected StateNode child1

child2

protected StateNode child2
Constructor Detail

BinaryNode

public BinaryNode(NonLeaf parent,
                  StateNode child1,
                  StateNode child2,
                  CoopnTransaction transaction)
Method Detail

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)