|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object | +--ConForM.CoopnTools.JavaProto.Transaction.BinaryNode | +--ConForM.CoopnTools.JavaProto.Transaction.Seq
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 |
public Seq(NonLeaf parent, StateNode child1, StateNode child2, CoopnTransaction t)
Method Detail |
public State getPreStateOf(StateNode child)
public void accept(StateNodeVisitor vis)
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |