mirror of
https://github.com/ruby/ruby.git
synced 2022-11-09 12:17:21 -05:00
56 lines
1.1 KiB
Ruby
56 lines
1.1 KiB
Ruby
class Reline::History < Array
|
|
def initialize(config)
|
|
@config = config
|
|
end
|
|
|
|
def to_s
|
|
'HISTORY'
|
|
end
|
|
|
|
def delete_at(index)
|
|
index = check_index(index)
|
|
super(index)
|
|
end
|
|
|
|
def [](index)
|
|
index = check_index(index)
|
|
super(index)
|
|
end
|
|
|
|
def []=(index, val)
|
|
index = check_index(index)
|
|
super(index, String.new(val, encoding: Encoding::default_external))
|
|
end
|
|
|
|
def concat(*val)
|
|
val.each do |v|
|
|
push(*v)
|
|
end
|
|
end
|
|
|
|
def push(*val)
|
|
diff = size + val.size - @config.history_size
|
|
if diff > 0
|
|
if diff <= size
|
|
shift(diff)
|
|
else
|
|
diff -= size
|
|
clear
|
|
val.shift(diff)
|
|
end
|
|
end
|
|
super(*(val.map{ |v| String.new(v, encoding: Encoding::default_external) }))
|
|
end
|
|
|
|
def <<(val)
|
|
shift if size + 1 > @config.history_size
|
|
super(String.new(val, encoding: Encoding::default_external))
|
|
end
|
|
|
|
private def check_index(index)
|
|
index += size if index < 0
|
|
raise RangeError.new("index=<#{index}>") if index < -@config.history_size or @config.history_size < index
|
|
raise IndexError.new("index=<#{index}>") if index < 0 or size <= index
|
|
index
|
|
end
|
|
end
|