public static BucketMetadata Decode(XdrDataInputStream stream)
        {
            BucketMetadata decodedBucketMetadata = new BucketMetadata();

            decodedBucketMetadata.LedgerVersion = Uint32.Decode(stream);
            decodedBucketMetadata.Ext           = BucketMetadataExt.Decode(stream);
            return(decodedBucketMetadata);
        }
 public static void Encode(XdrDataOutputStream stream, BucketMetadataExt encodedBucketMetadataExt)
 {
     stream.WriteInt((int)encodedBucketMetadataExt.Discriminant);
     switch (encodedBucketMetadataExt.Discriminant)
     {
     case 0:
         break;
     }
 }
            public static BucketMetadataExt Decode(XdrDataInputStream stream)
            {
                BucketMetadataExt decodedBucketMetadataExt = new BucketMetadataExt();
                int discriminant = stream.ReadInt();

                decodedBucketMetadataExt.Discriminant = discriminant;
                switch (decodedBucketMetadataExt.Discriminant)
                {
                case 0:
                    break;
                }
                return(decodedBucketMetadataExt);
            }
 public static void Encode(XdrDataOutputStream stream, BucketMetadata encodedBucketMetadata)
 {
     Uint32.Encode(stream, encodedBucketMetadata.LedgerVersion);
     BucketMetadataExt.Encode(stream, encodedBucketMetadata.Ext);
 }