|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object | +--ConForM.CoopnTools.JavaProto.Transaction.Leaf | +--ConForM.CoopnTools.JavaProto.Interpretor.GateLeaf
Constructor Summary | |
GateLeaf(CoopnTransaction T,
GateRequirement req)
|
Method Summary | |
GateRequirement |
getRequirement()
|
Methods inherited from class ConForM.CoopnTools.JavaProto.Transaction.Leaf |
abort, accept, childCommited, commit, find, getIterator, getKey, getPostState, getPreState, getPreStateOf, getTransaction, insert, insert, insert0, iterator, notifyChildRemoved, pop, push, remove, replaceChild, setIterator, setKey, setParent, setPostState, visitChildren |
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
public GateLeaf(CoopnTransaction T, GateRequirement req)
Method Detail |
public GateRequirement getRequirement()
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |