public static void Encode(XdrDataOutputStream stream, OperationID encodedOperationID) { stream.WriteInt((int)encodedOperationID.Discriminant.InnerValue); switch (encodedOperationID.Discriminant.InnerValue) { case EnvelopeType.EnvelopeTypeEnum.ENVELOPE_TYPE_OP_ID: OperationIDId.Encode(stream, encodedOperationID.Id); break; } }
public static OperationID Decode(XdrDataInputStream stream) { OperationID decodedOperationID = new OperationID(); EnvelopeType discriminant = EnvelopeType.Decode(stream); decodedOperationID.Discriminant = discriminant; switch (decodedOperationID.Discriminant.InnerValue) { case EnvelopeType.EnvelopeTypeEnum.ENVELOPE_TYPE_OP_ID: decodedOperationID.Id = OperationIDId.Decode(stream); break; } return(decodedOperationID); }