|
|||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectmandala.rami.impl.ResultsGrouper.TerminatedCall
Field Summary | |
InvocationInfo |
invocationInfo
|
MethodResult |
methodResult
|
Constructor Summary | |
ResultsGrouper.TerminatedCall(InvocationInfo invocationInfo,
MethodResult methodResult)
|
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Field Detail |
public final InvocationInfo invocationInfo
public final MethodResult methodResult
Constructor Detail |
public ResultsGrouper.TerminatedCall(InvocationInfo invocationInfo, MethodResult methodResult)
|
|||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |