public void xdrEncode(XdrEncodingStream xdr) { xdr.xdrEncodeBoolean(atomic); before.xdrEncode(xdr); after.xdrEncode(xdr); }
public void xdrEncode(XdrEncodingStream xdr) { value.xdrEncode(xdr); }