ConForM.CoopnTools.JavaProto.Transaction
Class Seq

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

public class Seq
extends BinaryNode


Fields inherited from class ConForM.CoopnTools.JavaProto.Transaction.BinaryNode
child1, child2
 
Constructor Summary
Seq(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

Seq

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

getPreStateOf

public State getPreStateOf(StateNode child)

accept

public void accept(StateNodeVisitor vis)