2017-05-07 12:04:49 +00:00
|
|
|
module RangeSpecs
|
|
|
|
class TenfoldSucc
|
|
|
|
include Comparable
|
|
|
|
|
|
|
|
attr_reader :n
|
|
|
|
|
|
|
|
def initialize(n)
|
|
|
|
@n = n
|
|
|
|
end
|
|
|
|
|
|
|
|
def <=>(other)
|
|
|
|
@n <=> other.n
|
|
|
|
end
|
|
|
|
|
|
|
|
def succ
|
|
|
|
self.class.new(@n * 10)
|
|
|
|
end
|
|
|
|
end
|
|
|
|
|
|
|
|
# Custom Range classes Xs and Ys
|
|
|
|
class Custom
|
|
|
|
include Comparable
|
|
|
|
attr_reader :length
|
|
|
|
|
|
|
|
def initialize(n)
|
|
|
|
@length = n
|
|
|
|
end
|
|
|
|
|
|
|
|
def eql?(other)
|
|
|
|
inspect.eql? other.inspect
|
|
|
|
end
|
|
|
|
alias :== :eql?
|
|
|
|
|
|
|
|
def inspect
|
|
|
|
'custom'
|
|
|
|
end
|
|
|
|
|
|
|
|
def <=>(other)
|
|
|
|
@length <=> other.length
|
|
|
|
end
|
|
|
|
end
|
|
|
|
|
2019-01-20 20:38:57 +00:00
|
|
|
class WithoutSucc
|
|
|
|
include Comparable
|
|
|
|
attr_reader :n
|
|
|
|
|
|
|
|
def initialize(n)
|
|
|
|
@n = n
|
|
|
|
end
|
|
|
|
|
|
|
|
def eql?(other)
|
|
|
|
inspect.eql? other.inspect
|
|
|
|
end
|
|
|
|
alias :== :eql?
|
|
|
|
|
|
|
|
def inspect
|
|
|
|
"WithoutSucc(#{@n})"
|
|
|
|
end
|
|
|
|
|
|
|
|
def <=>(other)
|
|
|
|
@n <=> other.n
|
|
|
|
end
|
|
|
|
end
|
|
|
|
|
2017-05-07 12:04:49 +00:00
|
|
|
class Xs < Custom # represent a string of 'x's
|
|
|
|
def succ
|
|
|
|
Xs.new(@length + 1)
|
|
|
|
end
|
|
|
|
|
|
|
|
def inspect
|
|
|
|
'x' * @length
|
|
|
|
end
|
|
|
|
end
|
|
|
|
|
|
|
|
class Ys < Custom # represent a string of 'y's
|
|
|
|
def succ
|
|
|
|
Ys.new(@length + 1)
|
|
|
|
end
|
|
|
|
|
|
|
|
def inspect
|
|
|
|
'y' * @length
|
|
|
|
end
|
|
|
|
end
|
|
|
|
|
|
|
|
class MyRange < Range
|
|
|
|
end
|
2017-12-27 16:12:47 +00:00
|
|
|
|
|
|
|
class ComparisonError < RuntimeError
|
|
|
|
end
|
2017-05-07 12:04:49 +00:00
|
|
|
end
|