public static void encode(XdrDataOutputStream stream, TransactionExt encodedTransactionExt)
     throws IOException {
   stream.writeInt(encodedTransactionExt.getDiscriminant().intValue());
   switch (encodedTransactionExt.getDiscriminant()) {
     case 0:
       break;
   }
 }
 public static void encode(XdrDataOutputStream stream, Transaction encodedTransaction)
     throws IOException {
   AccountID.encode(stream, encodedTransaction.sourceAccount);
   Uint32.encode(stream, encodedTransaction.fee);
   SequenceNumber.encode(stream, encodedTransaction.seqNum);
   if (encodedTransaction.timeBounds != null) {
     stream.writeInt(1);
     TimeBounds.encode(stream, encodedTransaction.timeBounds);
   } else {
     stream.writeInt(0);
   }
   Memo.encode(stream, encodedTransaction.memo);
   int operationssize = encodedTransaction.getOperations().length;
   stream.writeInt(operationssize);
   for (int i = 0; i < operationssize; i++) {
     Operation.encode(stream, encodedTransaction.operations[i]);
   }
   TransactionExt.encode(stream, encodedTransaction.ext);
 }
 static void encode(XdrDataOutputStream stream, ChangeTrustResultCode value) throws IOException {
   stream.writeInt(value.getValue());
 }
 static void encode(XdrDataOutputStream stream, ManageOfferResultCode value) throws IOException {
   stream.writeInt(value.getValue());
 }