encode method

void encode (
  1. XdrDataOutputStream stream,
  2. 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;
  }
}