ConForM.CoopnTools.JavaProto.Transaction
Class Sim

java.lang.Object
  |
  +--ConForM.CoopnTools.JavaProto.Transaction.BinaryNode
        |
        +--ConForM.CoopnTools.JavaProto.Transaction.Sim
All Implemented Interfaces:
NonLeaf, StateNode

public class Sim
extends BinaryNode


Fields inherited from class ConForM.CoopnTools.JavaProto.Transaction.BinaryNode
child1, child2
 
Constructor Summary
Sim(NonLeaf parent, StateNode child1, StateNode child2, CoopnTransaction t)
           
 
Method Summary
 void accept(StateNodeVisitor vis)
           
 State getPreStateOf(StateNode child)
           
 
Methods inherited from class ConForM.CoopnTools.JavaProto.Transaction.BinaryNode
childCommited, find, getPostState, getPreState, getTransaction, insert, insert, insert1, insert2, notifyChildRemoved, remove, replaceChild, setParent, visitChildren
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

Sim

public Sim(NonLeaf parent,
           StateNode child1,
           StateNode child2,
           CoopnTransaction t)
Method Detail

getPreStateOf

public State getPreStateOf(StateNode child)

accept

public void accept(StateNodeVisitor vis)