public static Ice.DispatchStatus slaveDisconnected___(DHTNode obj__, IceInternal.Incoming inS__, Ice.Current current__) { checkMode__(Ice.OperationMode.Normal, current__.mode); IceInternal.BasicStream is__ = inS__.istr(); is__.startReadEncaps(); string id; id = is__.readString(); 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__.slaveDisconnected(id, newRanges, childRanges, current__); return Ice.DispatchStatus.DispatchOK; }