encode method
- XdrDataOutputStream stream,
- XdrOperationID encoded
Implementation
static void encode(XdrDataOutputStream stream, XdrOperationID encoded) {
stream.writeInt(encoded.discriminant.value);
switch (encoded.discriminant) {
case XdrEnvelopeType.ENVELOPE_TYPE_OP_ID:
XdrOperationIDId.encode(stream, encoded.id);
break;
}
}