public void xdrDecode(XdrDecodingStream xdr)
{
gdlr_cookieverf = new verifier4(xdr);
{ int _size = xdr.xdrDecodeInt(); gdlr_deviceid_list = new deviceid4[_size]; for (int _idx = 0; _idx < _size; ++_idx)
{
gdlr_deviceid_list[_idx] = new deviceid4(xdr);
}
}
gdlr_eof = xdr.xdrDecodeBoolean();
}
public void xdrDecode(XdrDecodingStream xdr) {
gdlr_cookieverf = new verifier4(xdr);
{ int _size = xdr.xdrDecodeInt(); gdlr_deviceid_list = new deviceid4[_size]; for ( int _idx = 0; _idx < _size; ++_idx ) { gdlr_deviceid_list[_idx] = new deviceid4(xdr); } }
gdlr_eof = xdr.xdrDecodeBoolean();
}