module Mocha

  class Cardinality
    
    INFINITY = 1 / 0.0
    
    class << self
      
      def exactly(count)
        new(count, count)
      end
      
      def at_least(count)
        new(count, INFINITY)
      end
      
      def at_most(count)
        new(0, count)
      end
      
      def times(range_or_count)
        case range_or_count
          when Range then new(range_or_count.first, range_or_count.last)
          else new(range_or_count, range_or_count)
        end
      end
      
    end
    
    def initialize(required, maximum)
      @required, @maximum = required, maximum
    end
    
    def invocations_allowed?(invocation_count)
      invocation_count < maximum
    end
    
    def satisfied?(invocations_so_far)
      invocations_so_far >= required
    end
    
    def needs_verifying?
      !allowed_any_number_of_times?
    end
    
    def verified?(invocation_count)
      (invocation_count >= required) && (invocation_count <= maximum)
    end
    
    def allowed_any_number_of_times?
      required == 0 && infinite?(maximum)
    end
    
    def used?(invocation_count)
      (invocation_count > 0) || (maximum == 0)
    end
    
    def mocha_inspect
      if allowed_any_number_of_times?
        "allowed any number of times"
      else
        if required == 0 && maximum == 0
          "expected never"
        elsif required == maximum
          "expected exactly #{times(required)}"
        elsif infinite?(maximum)
          "expected at least #{times(required)}"
        elsif required == 0
          "expected at most #{times(maximum)}"
        else
          "expected between #{required} and #{times(maximum)}"
        end
      end
    end
    
    protected
    
    attr_reader :required, :maximum
    
    def times(number)
      case number
        when 0 then "no times"
        when 1 then "once"
        when 2 then "twice"
        else "#{number} times"
      end
    end
    
    def infinite?(number)
      number.respond_to?(:infinite?) && number.infinite?
    end
    
  end
  
end