public void xdrDecode(XdrDecodingStream xdr)
{
{ int _size = xdr.xdrDecodeInt(); locations = new fs_location4[_size]; for (int _idx = 0; _idx < _size; ++_idx)
{
locations[_idx] = new fs_location4(xdr);
}
}
}
public void xdrDecode(XdrDecodingStream xdr) {
{ int _size = xdr.xdrDecodeInt(); locations = new fs_location4[_size]; for ( int _idx = 0; _idx < _size; ++_idx ) { locations[_idx] = new fs_location4(xdr); } }
}