public void xdrEncodeBoolean(bool value) { xdrEncodeInt(value ? 1 : 0); }
public void xdrEncode(XdrEncodingStream xdr) { if (this._value != null) { xdr.xdrEncodeBoolean(true); this._value.xdrEncode(xdr); } else { xdr.xdrEncodeBoolean(false); }; }