public void xdrDecode(XdrDecodingStream xdr) { stamp = xdr.xdrDecodeInt(); machinename = xdr.xdrDecodeString(); uid = xdr.xdrDecodeInt(); gid = xdr.xdrDecodeInt(); gids = xdr.xdrDecodeIntVector(); }
public void xdrDecode(XdrDecodingStream xdr) { this._value = xdr.xdrDecodeString(); }
public void xdrDecode(XdrDecodingStream xdr) { na_r_addr = xdr.xdrDecodeString(); }