blob: 238fcf2a7632c7e8d877b828a3a9953db0306829 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
|
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) unless index.is_a?(Range)
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 < [email protected]_size or @config.history_size < index
raise IndexError.new("index=<#{index}>") if index < 0 or size <= index
index
end
end
|
