Server IP : 66.29.132.122 / Your IP : 3.16.82.7 Web Server : LiteSpeed System : Linux business142.web-hosting.com 4.18.0-553.lve.el8.x86_64 #1 SMP Mon May 27 15:27:34 UTC 2024 x86_64 User : admazpex ( 531) PHP Version : 7.2.34 Disable Function : NONE MySQL : OFF | cURL : ON | WGET : ON | Perl : ON | Python : ON | Sudo : OFF | Pkexec : OFF Directory : /proc/self/root/opt/alt/ruby31/share/ruby/reline/ |
Upload File : |
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: Reline.encoding_system_needs)) end def concat(*val) val.each do |v| push(*v) end end def push(*val) # If history_size is zero, all histories are dropped. return self if @config.history_size.zero? # If history_size is negative, history size is unlimited. if @config.history_size.positive? diff = size + val.size - @config.history_size if diff > 0 if diff <= size shift(diff) else diff -= size clear val.shift(diff) end end end super(*(val.map{ |v| String.new(v, encoding: Reline.encoding_system_needs) })) end def <<(val) # If history_size is zero, all histories are dropped. return self if @config.history_size.zero? # If history_size is negative, history size is unlimited. if @config.history_size.positive? shift if size + 1 > @config.history_size end super(String.new(val, encoding: Reline.encoding_system_needs)) end private def check_index(index) index += size if index < 0 if index < -2147483648 or 2147483647 < index raise RangeError.new("integer #{index} too big to convert to `int'") end # If history_size is negative, history size is unlimited. if @config.history_size.positive? if index < -@config.history_size or @config.history_size < index raise RangeError.new("index=<#{index}>") end end raise IndexError.new("index=<#{index}>") if index < 0 or size <= index index end end