| Server IP : 109.234.162.214 / Your IP : 216.73.216.34 Web Server : Apache System : Linux servd162214.srv.odns.fr 4.18.0-372.26.1.lve.1.el8.x86_64 #1 SMP Fri Sep 16 14:08:19 EDT 2022 x86_64 User : carpe ( 1178) PHP Version : 8.0.30 Disable Function : NONE MySQL : OFF | cURL : ON | WGET : ON | Perl : ON | Python : ON | Sudo : OFF | Pkexec : OFF Directory : /opt/alt/ruby23/lib64/ruby/2.3.0/rdoc/stats/ |
Upload File : |
# frozen_string_literal: false
begin
require 'io/console/size'
rescue LoadError
end
##
# Stats printer that prints just the files being documented with a progress
# bar
class RDoc::Stats::Normal < RDoc::Stats::Quiet
def begin_adding # :nodoc:
puts "Parsing sources..."
@last_width = 0
end
##
# Prints a file with a progress bar
def print_file files_so_far, filename
progress_bar = sprintf("%3d%% [%2d/%2d] ",
100 * files_so_far / @num_files,
files_so_far,
@num_files)
# Print a progress bar, but make sure it fits on a single line. Filename
# will be truncated if necessary.
terminal_width = if defined?(IO) && IO.respond_to?(:console_size)
IO.console_size[1].to_i.nonzero? || 80
else
80
end
max_filename_size = terminal_width - progress_bar.size
if filename.size > max_filename_size then
# Turn "some_long_filename.rb" to "...ong_filename.rb"
filename = filename[(filename.size - max_filename_size) .. -1]
filename[0..2] = "..."
end
line = "#{progress_bar}#{filename}"
if $stdout.tty?
# Clean the line with whitespaces so that leftover output from the
# previous line doesn't show up.
$stdout.print("\r" << (" " * @last_width) << ("\b" * @last_width) << "\r") if @last_width && @last_width > 0
@last_width = line.size
$stdout.print("#{line}\r")
else
$stdout.puts(line)
end
$stdout.flush
end
def done_adding # :nodoc:
puts
end
end