public static Ice.DispatchStatus masterDisconnected___(DHTNode obj__, IceInternal.Incoming inS__, Ice.Current current__) { checkMode__(Ice.OperationMode.Normal, current__.mode); IceInternal.BasicStream is__ = inS__.istr(); is__.startReadEncaps(); string connectTo; connectTo = is__.readString(); IDHT.range subtree; subtree = new IDHT.range(); subtree.read__(is__); IDHT.range[] newRanges; { int szx__ = is__.readSize(); is__.checkFixedSeq(szx__, 8); newRanges = new IDHT.range[szx__]; for(int ix__ = 0; ix__ < szx__; ++ix__) { newRanges[ix__].read__(is__); } } IDHT.nodeConf[] childRanges; { int szx__ = is__.readSize(); is__.startSeq(szx__, 11); childRanges = new IDHT.nodeConf[szx__]; for(int ix__ = 0; ix__ < szx__; ++ix__) { childRanges[ix__] = new IDHT.nodeConf(); childRanges[ix__].read__(is__); is__.checkSeq(); is__.endElement(); } is__.endSeq(szx__); } is__.endReadEncaps(); obj__.masterDisconnected(connectTo, subtree, newRanges, childRanges, current__); return Ice.DispatchStatus.DispatchOK; }