public void xdrEncode(XdrEncodingStream xdr)
{
nfl_util.xdrEncode(xdr);
xdr.xdrEncodeInt(nfl_first_stripe_index);
nfl_pattern_offset.xdrEncode(xdr);
{ int _size = nfl_fh_list.Length; xdr.xdrEncodeInt(_size); for (int _idx = 0; _idx < _size; ++_idx) { nfl_fh_list[_idx].xdrEncode(xdr); } }
}
public void xdrEncode(XdrEncodingStream xdr)
{
nflh_util.xdrEncode(xdr);
nflh_stripe_count.xdrEncode(xdr);
}