public void xdrEncode(XdrEncodingStream xdr) { value.xdrEncode(xdr); }
public void xdrEncode(XdrEncodingStream xdr) { so_minor_id.xdrEncode(xdr); xdr.xdrEncodeDynamicOpaque(so_major_id); }
public void xdrEncode(XdrEncodingStream xdr) { value.xdrEncode(xdr); }
public void xdrEncode(XdrEncodingStream xdr) { so_minor_id.xdrEncode(xdr); xdr.xdrEncodeDynamicOpaque(so_major_id); }