encode method
- XdrDataOutputStream stream,
- XdrBumpSequenceOp encodedBumpSequenceOp
Implementation
static void encode(
XdrDataOutputStream stream, XdrBumpSequenceOp encodedBumpSequenceOp) {
XdrSequenceNumber.encode(stream, encodedBumpSequenceOp.bumpTo);
}