Implementation
static void encode(XdrDataOutputStream stream, XdrHashIDPreimage encoded) {
stream.writeInt(encoded.discriminant.value);
switch (encoded.discriminant) {
case XdrEnvelopeType.ENVELOPE_TYPE_OP_ID:
XdrOperationIDId.encode(stream, encoded.operationID!);
break;
case XdrEnvelopeType.ENVELOPE_TYPE_POOL_REVOKE_OP_ID:
XdrRevokeId.encode(stream, encoded.revokeID!);
break;
case XdrEnvelopeType.ENVELOPE_TYPE_CONTRACT_AUTH:
XdrHashIDPreimageContractAuth.encode(stream, encoded.contractAuth!);
break;
}
}