stellar-base 0.23.1 → 0.24.0.pre.1

data/generated/stellar/operation_result.rb

@@ -38,6 +38,16 @@ require 'xdr'
 #           ManageBuyOfferResult manageBuyOfferResult;
 #       case PATH_PAYMENT_STRICT_SEND:
 #           PathPaymentStrictSendResult pathPaymentStrictSendResult;
+#       case CREATE_CLAIMABLE_BALANCE:
+#           CreateClaimableBalanceResult createClaimableBalanceResult;
+#       case CLAIM_CLAIMABLE_BALANCE:
+#           ClaimClaimableBalanceResult claimClaimableBalanceResult;
+#       case BEGIN_SPONSORING_FUTURE_RESERVES:
+#           BeginSponsoringFutureReservesResult beginSponsoringFutureReservesResult;
+#       case END_SPONSORING_FUTURE_RESERVES:
+#           EndSponsoringFutureReservesResult endSponsoringFutureReservesResult;
+#       case REVOKE_SPONSORSHIP:
+#           RevokeSponsorshipResult revokeSponsorshipResult;
 #       }
 #       tr;
 #   default:

data/generated/stellar/operation_result/tr.rb

@@ -35,6 +35,16 @@ require 'xdr'
 #           ManageBuyOfferResult manageBuyOfferResult;
 #       case PATH_PAYMENT_STRICT_SEND:
 #           PathPaymentStrictSendResult pathPaymentStrictSendResult;
+#       case CREATE_CLAIMABLE_BALANCE:
+#           CreateClaimableBalanceResult createClaimableBalanceResult;
+#       case CLAIM_CLAIMABLE_BALANCE:
+#           ClaimClaimableBalanceResult claimClaimableBalanceResult;
+#       case BEGIN_SPONSORING_FUTURE_RESERVES:
+#           BeginSponsoringFutureReservesResult beginSponsoringFutureReservesResult;
+#       case END_SPONSORING_FUTURE_RESERVES:
+#           EndSponsoringFutureReservesResult endSponsoringFutureReservesResult;
+#       case REVOKE_SPONSORSHIP:
+#           RevokeSponsorshipResult revokeSponsorshipResult;
 #       }
 #
 # ===========================================================================
@@ -43,35 +53,45 @@ module Stellar
     class Tr < XDR::Union
       switch_on OperationType, :type
 
-      switch :create_account,              :create_account_result
-      switch :payment,                     :payment_result
-      switch :path_payment_strict_receive, :path_payment_strict_receive_result
-      switch :manage_sell_offer,           :manage_sell_offer_result
-      switch :create_passive_sell_offer,   :create_passive_sell_offer_result
-      switch :set_options,                 :set_options_result
-      switch :change_trust,                :change_trust_result
-      switch :allow_trust,                 :allow_trust_result
-      switch :account_merge,               :account_merge_result
-      switch :inflation,                   :inflation_result
-      switch :manage_data,                 :manage_data_result
-      switch :bump_sequence,               :bump_seq_result
-      switch :manage_buy_offer,            :manage_buy_offer_result
-      switch :path_payment_strict_send,    :path_payment_strict_send_result
+      switch :create_account,                   :create_account_result
+      switch :payment,                          :payment_result
+      switch :path_payment_strict_receive,      :path_payment_strict_receive_result
+      switch :manage_sell_offer,                :manage_sell_offer_result
+      switch :create_passive_sell_offer,        :create_passive_sell_offer_result
+      switch :set_options,                      :set_options_result
+      switch :change_trust,                     :change_trust_result
+      switch :allow_trust,                      :allow_trust_result
+      switch :account_merge,                    :account_merge_result
+      switch :inflation,                        :inflation_result
+      switch :manage_data,                      :manage_data_result
+      switch :bump_sequence,                    :bump_seq_result
+      switch :manage_buy_offer,                 :manage_buy_offer_result
+      switch :path_payment_strict_send,         :path_payment_strict_send_result
+      switch :create_claimable_balance,         :create_claimable_balance_result
+      switch :claim_claimable_balance,          :claim_claimable_balance_result
+      switch :begin_sponsoring_future_reserves, :begin_sponsoring_future_reserves_result
+      switch :end_sponsoring_future_reserves,   :end_sponsoring_future_reserves_result
+      switch :revoke_sponsorship,               :revoke_sponsorship_result
 
-      attribute :create_account_result,              CreateAccountResult
-      attribute :payment_result,                     PaymentResult
-      attribute :path_payment_strict_receive_result, PathPaymentStrictReceiveResult
-      attribute :manage_sell_offer_result,           ManageSellOfferResult
-      attribute :create_passive_sell_offer_result,   ManageSellOfferResult
-      attribute :set_options_result,                 SetOptionsResult
-      attribute :change_trust_result,                ChangeTrustResult
-      attribute :allow_trust_result,                 AllowTrustResult
-      attribute :account_merge_result,               AccountMergeResult
-      attribute :inflation_result,                   InflationResult
-      attribute :manage_data_result,                 ManageDataResult
-      attribute :bump_seq_result,                    BumpSequenceResult
-      attribute :manage_buy_offer_result,            ManageBuyOfferResult
-      attribute :path_payment_strict_send_result,    PathPaymentStrictSendResult
+      attribute :create_account_result,                   CreateAccountResult
+      attribute :payment_result,                          PaymentResult
+      attribute :path_payment_strict_receive_result,      PathPaymentStrictReceiveResult
+      attribute :manage_sell_offer_result,                ManageSellOfferResult
+      attribute :create_passive_sell_offer_result,        ManageSellOfferResult
+      attribute :set_options_result,                      SetOptionsResult
+      attribute :change_trust_result,                     ChangeTrustResult
+      attribute :allow_trust_result,                      AllowTrustResult
+      attribute :account_merge_result,                    AccountMergeResult
+      attribute :inflation_result,                        InflationResult
+      attribute :manage_data_result,                      ManageDataResult
+      attribute :bump_seq_result,                         BumpSequenceResult
+      attribute :manage_buy_offer_result,                 ManageBuyOfferResult
+      attribute :path_payment_strict_send_result,         PathPaymentStrictSendResult
+      attribute :create_claimable_balance_result,         CreateClaimableBalanceResult
+      attribute :claim_claimable_balance_result,          ClaimClaimableBalanceResult
+      attribute :begin_sponsoring_future_reserves_result, BeginSponsoringFutureReservesResult
+      attribute :end_sponsoring_future_reserves_result,   EndSponsoringFutureReservesResult
+      attribute :revoke_sponsorship_result,               RevokeSponsorshipResult
     end
   end
 end

data/generated/stellar/operation_result_code.rb

@@ -13,7 +13,8 @@ require 'xdr'
 #       opNO_ACCOUNT = -2,          // source account was not found
 #       opNOT_SUPPORTED = -3,       // operation not supported at this time
 #       opTOO_MANY_SUBENTRIES = -4, // max number of subentries already reached
-#       opEXCEEDED_WORK_LIMIT = -5  // operation did too much work
+#       opEXCEEDED_WORK_LIMIT = -5, // operation did too much work
+#       opTOO_MANY_SPONSORING = -6  // account is sponsoring too many entries
 #   };
 #
 # ===========================================================================
@@ -25,6 +26,7 @@ module Stellar
     member :op_not_supported,       -3
     member :op_too_many_subentries, -4
     member :op_exceeded_work_limit, -5
+    member :op_too_many_sponsoring, -6
 
     seal
   end

data/generated/stellar/operation_type.rb

@@ -20,26 +20,36 @@ require 'xdr'
 #       MANAGE_DATA = 10,
 #       BUMP_SEQUENCE = 11,
 #       MANAGE_BUY_OFFER = 12,
-#       PATH_PAYMENT_STRICT_SEND = 13
+#       PATH_PAYMENT_STRICT_SEND = 13,
+#       CREATE_CLAIMABLE_BALANCE = 14,
+#       CLAIM_CLAIMABLE_BALANCE = 15,
+#       BEGIN_SPONSORING_FUTURE_RESERVES = 16,
+#       END_SPONSORING_FUTURE_RESERVES = 17,
+#       REVOKE_SPONSORSHIP = 18
 #   };
 #
 # ===========================================================================
 module Stellar
   class OperationType < XDR::Enum
-    member :create_account,              0
-    member :payment,                     1
-    member :path_payment_strict_receive, 2
-    member :manage_sell_offer,           3
-    member :create_passive_sell_offer,   4
-    member :set_options,                 5
-    member :change_trust,                6
-    member :allow_trust,                 7
-    member :account_merge,               8
-    member :inflation,                   9
-    member :manage_data,                 10
-    member :bump_sequence,               11
-    member :manage_buy_offer,            12
-    member :path_payment_strict_send,    13
+    member :create_account,                   0
+    member :payment,                          1
+    member :path_payment_strict_receive,      2
+    member :manage_sell_offer,                3
+    member :create_passive_sell_offer,        4
+    member :set_options,                      5
+    member :change_trust,                     6
+    member :allow_trust,                      7
+    member :account_merge,                    8
+    member :inflation,                        9
+    member :manage_data,                      10
+    member :bump_sequence,                    11
+    member :manage_buy_offer,                 12
+    member :path_payment_strict_send,         13
+    member :create_claimable_balance,         14
+    member :claim_claimable_balance,          15
+    member :begin_sponsoring_future_reserves, 16
+    member :end_sponsoring_future_reserves,   17
+    member :revoke_sponsorship,               18
 
     seal
   end

data/generated/stellar/path_payment_strict_receive_result.rb

@@ -5,7 +5,8 @@ require 'xdr'
 
 # === xdr source ============================================================
 #
-#   union PathPaymentStrictReceiveResult switch (PathPaymentStrictReceiveResultCode code)
+#   union PathPaymentStrictReceiveResult switch (
+#       PathPaymentStrictReceiveResultCode code)
 #   {
 #   case PATH_PAYMENT_STRICT_RECEIVE_SUCCESS:
 #       struct

data/generated/stellar/revoke_sponsorship_op.rb

@@ -0,0 +1,36 @@
+# This code was automatically generated using xdrgen
+# DO NOT EDIT or your changes may be overwritten
+
+require 'xdr'
+
+# === xdr source ============================================================
+#
+#   union RevokeSponsorshipOp switch (RevokeSponsorshipType type)
+#   {
+#   case REVOKE_SPONSORSHIP_LEDGER_ENTRY:
+#       LedgerKey ledgerKey;
+#   case REVOKE_SPONSORSHIP_SIGNER:
+#       struct
+#       {
+#           AccountID accountID;
+#           SignerKey signerKey;
+#       }
+#       signer;
+#   };
+#
+# ===========================================================================
+module Stellar
+  class RevokeSponsorshipOp < XDR::Union
+    include XDR::Namespace
+
+    autoload :Signer
+
+    switch_on RevokeSponsorshipType, :type
+
+    switch :revoke_sponsorship_ledger_entry, :ledger_key
+    switch :revoke_sponsorship_signer,       :signer
+
+    attribute :ledger_key, LedgerKey
+    attribute :signer,     Signer
+  end
+end

data/generated/stellar/revoke_sponsorship_op/signer.rb

@@ -0,0 +1,22 @@
+# This code was automatically generated using xdrgen
+# DO NOT EDIT or your changes may be overwritten
+
+require 'xdr'
+
+# === xdr source ============================================================
+#
+#   struct
+#       {
+#           AccountID accountID;
+#           SignerKey signerKey;
+#       }
+#
+# ===========================================================================
+module Stellar
+  class RevokeSponsorshipOp
+    class Signer < XDR::Struct
+      attribute :account_id, AccountID
+      attribute :signer_key, SignerKey
+    end
+  end
+end

data/generated/stellar/revoke_sponsorship_result.rb

@@ -0,0 +1,25 @@
+# This code was automatically generated using xdrgen
+# DO NOT EDIT or your changes may be overwritten
+
+require 'xdr'
+
+# === xdr source ============================================================
+#
+#   union RevokeSponsorshipResult switch (RevokeSponsorshipResultCode code)
+#   {
+#   case REVOKE_SPONSORSHIP_SUCCESS:
+#       void;
+#   default:
+#       void;
+#   };
+#
+# ===========================================================================
+module Stellar
+  class RevokeSponsorshipResult < XDR::Union
+    switch_on RevokeSponsorshipResultCode, :code
+
+    switch :revoke_sponsorship_success
+    switch :default
+
+  end
+end

data/generated/stellar/revoke_sponsorship_result_code.rb

@@ -0,0 +1,31 @@
+# This code was automatically generated using xdrgen
+# DO NOT EDIT or your changes may be overwritten
+
+require 'xdr'
+
+# === xdr source ============================================================
+#
+#   enum RevokeSponsorshipResultCode
+#   {
+#       // codes considered as "success" for the operation
+#       REVOKE_SPONSORSHIP_SUCCESS = 0,
+#   
+#       // codes considered as "failure" for the operation
+#       REVOKE_SPONSORSHIP_DOES_NOT_EXIST = -1,
+#       REVOKE_SPONSORSHIP_NOT_SPONSOR = -2,
+#       REVOKE_SPONSORSHIP_LOW_RESERVE = -3,
+#       REVOKE_SPONSORSHIP_ONLY_TRANSFERABLE = -4
+#   };
+#
+# ===========================================================================
+module Stellar
+  class RevokeSponsorshipResultCode < XDR::Enum
+    member :revoke_sponsorship_success,           0
+    member :revoke_sponsorship_does_not_exist,    -1
+    member :revoke_sponsorship_not_sponsor,       -2
+    member :revoke_sponsorship_low_reserve,       -3
+    member :revoke_sponsorship_only_transferable, -4
+
+    seal
+  end
+end

data/generated/stellar/revoke_sponsorship_type.rb

@@ -0,0 +1,22 @@
+# This code was automatically generated using xdrgen
+# DO NOT EDIT or your changes may be overwritten
+
+require 'xdr'
+
+# === xdr source ============================================================
+#
+#   enum RevokeSponsorshipType
+#   {
+#       REVOKE_SPONSORSHIP_LEDGER_ENTRY = 0,
+#       REVOKE_SPONSORSHIP_SIGNER = 1
+#   };
+#
+# ===========================================================================
+module Stellar
+  class RevokeSponsorshipType < XDR::Enum
+    member :revoke_sponsorship_ledger_entry, 0
+    member :revoke_sponsorship_signer,       1
+
+    seal
+  end
+end

data/generated/stellar/transaction_result_code.rb

@@ -24,8 +24,9 @@ require 'xdr'
 #       txBAD_AUTH_EXTRA = -10,      // unused signatures attached to transaction
 #       txINTERNAL_ERROR = -11,      // an unknown error occured
 #   
-#       txNOT_SUPPORTED = -12,        // transaction type not supported
-#       txFEE_BUMP_INNER_FAILED = -13 // fee bump inner transaction failed
+#       txNOT_SUPPORTED = -12,         // transaction type not supported
+#       txFEE_BUMP_INNER_FAILED = -13, // fee bump inner transaction failed
+#       txBAD_SPONSORSHIP = -14        // sponsorship not confirmed
 #   };
 #
 # ===========================================================================
@@ -46,6 +47,7 @@ module Stellar
     member :tx_internal_error,         -11
     member :tx_not_supported,          -12
     member :tx_fee_bump_inner_failed,  -13
+    member :tx_bad_sponsorship,        -14
 
     seal
   end

data/lib/stellar-base.rb

@@ -4,6 +4,9 @@ require "digest/sha2"
 require "active_support/core_ext/object/blank"
 require "active_support/core_ext/enumerable"
 require "active_support/core_ext/kernel/reporting"
+require "active_support/core_ext/module/attribute_accessors_per_thread"
+
+require_relative "stellar/ext/xdr"
 
 # See ../generated for code-gen'ed files
 silence_warnings do
@@ -11,28 +14,35 @@ silence_warnings do
 end
 Stellar.load_all!
 
+require_relative "stellar/base/version"
+Stellar::VERSION = Stellar::Base::VERSION
+
 Stellar::ONE = 1_0000000
 
 # extensions onto the generated files must be loaded manually, below
 
 require_relative "./stellar/account_flags"
 require_relative "./stellar/asset"
+require_relative "./stellar/claim_predicate"
 require_relative "./stellar/key_pair"
+require_relative "./stellar/ledger_key"
+require_relative "./stellar/networks"
 require_relative "./stellar/operation"
 require_relative "./stellar/path_payment_strict_receive_result"
 require_relative "./stellar/price"
 require_relative "./stellar/signer_key"
 require_relative "./stellar/thresholds"
+
 require_relative "./stellar/concerns/transaction"
-require_relative "./stellar/transaction"
-require_relative "./stellar/transaction_v0"
 require_relative "./stellar/fee_bump_transaction"
+require_relative "./stellar/transaction"
 require_relative "./stellar/transaction_builder"
 require_relative "./stellar/transaction_envelope"
+require_relative "./stellar/transaction_v0"
+
 require_relative "./stellar/util/strkey"
-require_relative "./stellar/util/continued_fraction"
 require_relative "./stellar/convert"
-require_relative "./stellar/networks"
-require_relative "./stellar/version"
+
+require_relative "./stellar/dsl"
 
 require_relative "./stellar/compat"

data/lib/stellar/account_flags.rb

@@ -4,7 +4,7 @@ module Stellar
     # Converts an array of Stellar::AccountFlags members into
     # an Integer suitable for use in a SetOptionsOp.
     #
-    # @param flags=nil [Array<Stellar::AccountFlags>] the flags to combine
+    # @param flags [Array<Stellar::AccountFlags>] the flags to combine
     #
     # @return [Fixnum] the combined result
     def self.make_mask(flags = nil)

data/lib/stellar/{version.rb → base/version.rb}

@@ -1,5 +1,5 @@
 module Stellar
   module Base
-    VERSION = "0.23.1"
+    VERSION = "0.24.0.pre.1"
   end
 end

data/lib/stellar/claim_predicate.rb

@@ -0,0 +1,198 @@
+# frozen_string_literals: true
+require "active_support/core_ext/integer/time"
+require "active_support/core_ext/string/conversions"
+
+module Stellar
+  # Represents claim predicate on Stellar network.
+  #
+  # @see https://developers.stellar.org/docs/glossary/claimable-balance/
+  class ClaimPredicate
+    module FactoryMethods
+      # Constructs an `unconditional` claim predicate.
+      #
+      # This predicate will be always fulfilled.
+      #
+      # @return [ClaimPredicate] `unconditional` claim predicate
+      def unconditional
+        ClaimPredicate.new(ClaimPredicateType::UNCONDITIONAL)
+      end
+
+      # Constructs a `before_relative_time` claim predicate.
+      #
+      # This predicate will be fulfilled if the closing time of the ledger that includes
+      # the Stellar::CreateClaimableBalance operation plus this relative time delta (in seconds)
+      # is less than the current time.
+      #
+      # @param seconds [#to_int|#to_i] seconds since `closeTime` of the ledger in which
+      #                                the ClaimableBalanceEntry was created.
+      # @return [ClaimPredicate] `before_relative_time` claim predicate
+      def before_relative_time(seconds)
+        ClaimPredicate.new(ClaimPredicateType::BEFORE_RELATIVE_TIME, Integer(seconds))
+      end
+
+      # Constructs an `before_absolute_time` claim predicate.
+      #
+      # This predicate will be fulfilled if the closing time of the ledger that includes
+      # the Stellar::CreateClaimableBalance operation is less than provided timestamp.
+      #
+      # @param timestamp [#to_time|#to_int|#to_i] time value or timestamp
+      #
+      # @return [ClaimPredicate] `before_absolute_time` claim predicate.
+      def before_absolute_time(timestamp)
+        timestamp = timestamp.to_time if timestamp.respond_to?(:to_time)
+
+        ClaimPredicate.new(ClaimPredicateType::BEFORE_ABSOLUTE_TIME, Integer(timestamp))
+      end
+
+      # Constructs either relative or absolute time predicate based on the type of the input.
+      #
+      # If input is an instance of `ActiveSupport::Duration` class it will be handled as a relative time
+      # (seconds since close time of the ledger), otherwise it will be treated as an absolute time.
+      #
+      # It is intended to work with time helpers provided by ActiveSupport, like `1.day` (relative)
+      # or `2.weeks.from_now` (absolute).
+      #
+      # @example relative time
+      #   ClaimPredicate.before(2.days + 15.seconds)
+      #
+      # @example absolute time
+      #   ClaimPredicate.before(5.hours.from_now)
+      #
+      # @param time [ActiveSupport::Duration|#to_time|#to_i] duration since ledger close time or absolute time value
+      #
+      # @return [ClaimPredicate] `before_relative_time` or `before_absolute_time` claim predicate.
+      def before(time)
+        ActiveSupport::Duration === time ? before_relative_time(time.to_i) : before_absolute_time(time)
+      end
+
+      # Constructs a negated predicate from either relative or absolute time based on the type of the input.
+      #
+      # @see #before
+      # @param (see #before)
+      # @return (see #before)
+      def after(time)
+        ~before(time)
+      end
+
+      # Compose a complex predicate by calling DSL methods from the block.
+      #
+      # @example
+      #   ClaimPredicate.compose {
+      #     after(15.minutes) & before(1.day) | after(1.week.from_now) & before(1.week.from_now + 1.day)
+      #   }
+      #
+      # @yieldreturn [ClaimPredicate|nil]
+      # @return [ClaimPredicate] `not(before_relative_time)` or `not(before_absolute_time)` claim predicate.
+      def compose(&block)
+        result = instance_eval(&block)
+        result.nil? ? unconditional : result
+      end
+    end
+
+    extend FactoryMethods
+
+    # Constructs an `and` claim predicate.
+    #
+    # This predicate will be fulfilled if both `self` and `other` predicates are fulfilled.
+    #
+    # @param other [ClaimPredicate] another predicate
+    #
+    # @return [ClaimPredicate] `and` claim predicate
+    def and(other)
+      raise TypeError, "no conversion from #{other.class.name} to ClaimPredicate" unless ClaimPredicate === other
+      ClaimPredicate.new(ClaimPredicateType::AND, [self, other])
+    end
+    alias_method :&, :and
+
+    # Constructs an `or` claim predicate.
+    #
+    # This predicate will be fulfilled if either of `self` or `other` predicates is fulfilled.
+    #
+    # @param other [ClaimPredicate] another predicate.
+    #
+    # @return [ClaimPredicate] `or` claim predicate
+    def or(other)
+      raise TypeError, "no conversion from #{other.class.name} to ClaimPredicate" unless ClaimPredicate === other
+      ClaimPredicate.new(ClaimPredicateType::OR, [self, other])
+    end
+    alias_method :|, :or
+
+    # Constructs a `not` claim predicate.
+    #
+    # This predicate will be fulfilled if `self` is not fulfilled.
+    #
+    # @return [ClaimPredicate] `not` claim predicate
+    def not
+      ClaimPredicate.new(ClaimPredicateType::NOT, self)
+    end
+    alias_method :~@, :not
+
+    # Evaluates the predicate value for provided inputs.
+    #
+    # @param created_at [#to_time|#to_int] closing time of the ledger containing CreateClaimableBalance operation
+    # @param claiming_at [#to_time|#to_int|ActiveSupport::Duration] time point to evaluate predicate at, either
+    #   absolute time or duration relative to `created_at`. In reality predicate will be evaluated by stellar-core
+    #   using the closing time of a ledger containing ClaimClaimableBalance operation, in either successful
+    #   or failed state.
+    #
+    # @return [Boolean] `true` if this predicate would allow claiming the balance, `false` otherwise
+    def evaluate(created_at, claiming_at)
+      created_at = created_at.to_time if created_at.respond_to?(:to_time)
+      claiming_at = created_at + claiming_at if claiming_at.is_a?(ActiveSupport::Duration)
+      claiming_at = claiming_at.to_time if claiming_at.respond_to?(:to_time)
+
+      return false if claiming_at < created_at
+
+      case switch
+      when ClaimPredicateType::UNCONDITIONAL
+        true
+      when ClaimPredicateType::BEFORE_RELATIVE_TIME
+        Integer(claiming_at) < Integer(created_at) + value
+      when ClaimPredicateType::BEFORE_ABSOLUTE_TIME
+        Integer(claiming_at).to_i < value
+      when ClaimPredicateType::AND
+        value[0].evaluate(created_at, claiming_at) && value[1].evaluate(created_at, claiming_at)
+      when ClaimPredicateType::OR
+        value[0].evaluate(created_at, claiming_at) || value[1].evaluate(created_at, claiming_at)
+      when ClaimPredicateType::NOT
+        !value.evaluate(created_at, claiming_at)
+      else
+        raise ArgumentError, "evaluation is not implemented for #{switch.name} predicate"
+      end
+    end
+
+    def describe
+      case switch
+      when ClaimPredicateType::UNCONDITIONAL
+        "always"
+      when ClaimPredicateType::BEFORE_RELATIVE_TIME
+        dur = ActiveSupport::Duration.build(value)
+        "less than #{dur.inspect} since creation"
+      when ClaimPredicateType::BEFORE_ABSOLUTE_TIME
+        "before #{Time.at(value).to_formatted_s(:db)}"
+      when ClaimPredicateType::AND
+        value.map(&:describe).join(" and ")
+      when ClaimPredicateType::OR
+        "(" << value.map(&:describe).join(" or ") << ")"
+      when ClaimPredicateType::NOT
+        case value.switch
+        when ClaimPredicateType::UNCONDITIONAL
+          "never"
+        when ClaimPredicateType::BEFORE_RELATIVE_TIME
+          dur = ActiveSupport::Duration.build(value.value)
+          "#{dur.inspect} or more since creation"
+        when ClaimPredicateType::BEFORE_ABSOLUTE_TIME
+          "after #{Time.at(value.value).to_formatted_s(:db)}"
+        else
+          "not (#{value.describe})"
+        end
+      else
+        raise ArgumentError, "evaluation is not implemented for #{switch.name} predicate"
+      end
+    end
+
+    def inspect
+      "#<ClaimPredicate: #{describe}>"
+    end
+  end
+end