class RBS::Buffer

Attributes

content [R] String

The content of the buffer.

name [R] Pathname

Name to identify Buffer.

parent [R] [ Buffer, Array[Range[Integer]] ]?

Public Class Methods

(name: Pathname name, content: String content) → void
(content: String content, parent: [ Buffer, Array[Range[Integer]] ] parent) → void

Source

# File vendor/bundle/ruby/4.0.0/gems/rbs-4.0.3/lib/rbs/buffer.rb, line 9
def initialize(name: nil, content:, parent: nil)
  case
  when name && content
    @name = name
    @content = content
    @parent = nil
  when parent && content
    @name = parent[0].name
    @content = content
    @parent = parent
  end
end

Public Instance Methods

absolute_position (position)

(Integer) → Integer?

Source

# File vendor/bundle/ruby/4.0.0/gems/rbs-4.0.3/lib/rbs/buffer.rb, line 131
def absolute_position(position)
  if parent_buffer
    pos = parent_position(position) or return
    parent_buffer.absolute_position(pos)
  else
    position
  end
end

detach ()

() → Buffer

Source

# File vendor/bundle/ruby/4.0.0/gems/rbs-4.0.3/lib/rbs/buffer.rb, line 148
def detach
  Buffer.new(name: name, content: content)
end

inspect ()

Source

# File vendor/bundle/ruby/4.0.0/gems/rbs-4.0.3/lib/rbs/buffer.rb, line 86
def inspect
  "#<RBS::Buffer:#{__id__} @name=#{name}, @content=#{content.bytesize} bytes, @lines=#{ranges.size} lines,>"
end

last_position ()

() → Integer

Source

# File vendor/bundle/ruby/4.0.0/gems/rbs-4.0.3/lib/rbs/buffer.rb, line 78
def last_position
  if ranges.empty?
    0
  else
    ranges[-1].end
  end
end

line_count ()

() → Integer

Source

# File vendor/bundle/ruby/4.0.0/gems/rbs-4.0.3/lib/rbs/buffer.rb, line 26
def line_count
  ranges.size
end

Returns the number of the lines

lines ()

() → Array[String]

Source

# File vendor/bundle/ruby/4.0.0/gems/rbs-4.0.3/lib/rbs/buffer.rb, line 22
def lines
  ranges.map { self.content[_1] || raise } #$ String
end

Array of lines of the content, without the EOL

buffer = Buffer.new(name: name, content: "123\nabc")
buffer.lines   # => ["123", "abc"]

If the input has EOL at the end of the file, the lines has an empty string at the end.

buffer = Buffer.new(name: name, content: "123\nabc\n")
buffer.lines   # => ["123", "abc", ""]

loc_to_pos (loc)

(loc loc) → Integer

Source

# File vendor/bundle/ruby/4.0.0/gems/rbs-4.0.3/lib/rbs/buffer.rb, line 68
def loc_to_pos(loc)
  line, column = loc

  if range = ranges.fetch(line - 1, nil)
    range.begin + column
  else
    last_position
  end
end

Translate location to position.

parent_buffer ()

() → Buffer?

Source

# File vendor/bundle/ruby/4.0.0/gems/rbs-4.0.3/lib/rbs/buffer.rb, line 116
def parent_buffer
  if parent
    parent[0]
  end
end

parent_position (position)

(Integer) → Integer?

Source

# File vendor/bundle/ruby/4.0.0/gems/rbs-4.0.3/lib/rbs/buffer.rb, line 122
def parent_position(position)
  parent or raise "#parent_position is unavailable with buffer without parent"
  return nil unless position <= last_position

  line, column = pos_to_loc(position)
  parent_range = parent[1][line - 1]
  parent_range.begin + column
end

pos_to_loc (pos)

(Integer pos) → loc

Source

# File vendor/bundle/ruby/4.0.0/gems/rbs-4.0.3/lib/rbs/buffer.rb, line 56
def pos_to_loc(pos)
  index = ranges.bsearch_index do |range|
    pos <= range.end ? true : false
  end

  if index
    [index + 1, pos - ranges[index].begin]
  else
    [ranges.size + 1, 0]
  end
end

Translate position to location.

ranges ()

() → Array[Range[Integer]]

Source

# File vendor/bundle/ruby/4.0.0/gems/rbs-4.0.3/lib/rbs/buffer.rb, line 30
def ranges
  @ranges ||= begin
    if content.empty?
      ranges = [0...0] #: Array[Range[Integer]]
      lines = [""]
    else
      lines = content.lines
      lines << "" if content.end_with?("\n")

      ranges = [] #: Array[Range[Integer]]
      offset = 0

      lines.each do |line|
        size0 = line.size
        line = line.chomp
        range = offset...(offset+line.size)
        ranges << range

        offset += size0
      end
    end

    ranges
  end
end

Array of ranges that stores the ranges of the each line, without the EOL

buffer = Buffer.new(name: name, content: "123\nabc\n")
buffer.ranges  # => [0...3, 4...7, 8...8]

rbs_location (location, loc2=nil)

(Prism::Location) → Location
(Prism::Location, Prism::Location) → Location

Source

# File vendor/bundle/ruby/4.0.0/gems/rbs-4.0.3/lib/rbs/buffer.rb, line 90
def rbs_location(location, loc2=nil)
  if loc2
    Location.new(self.top_buffer, location.start_character_offset, loc2.end_character_offset)
  else
    Location.new(self.top_buffer, location.start_character_offset, location.end_character_offset)
  end
end

Translate Prism::Location to RBS::Location attached to this buffer

It assumes the Prism::Location has a source which is equivalent to self.

sub_buffer (lines:)

(lines: Array[Range[Integer]]) → Buffer

Source

# File vendor/bundle/ruby/4.0.0/gems/rbs-4.0.3/lib/rbs/buffer.rb, line 98
def sub_buffer(lines:)
  buf = +""
  lines.each_with_index do |range, index|
    start_pos = range.begin
    end_pos = range.end
    slice = content[start_pos...end_pos] or raise
    if slice.include?("\n")
      raise "Line #{index + 1} cannot contain newline character."
    end
    buf << slice
    buf << "\n"
  end

  buf.chomp!

  Buffer.new(content: buf, parent: [self, lines])
end

Construct a buffer from substrings of this buffer.

The returned buffer contains lines from given ranges.

buffer = Buffer.new(name: name, content: <<TEXT)
12345
abcde
ABCDE
TEXT

buffer.sub_buffer(lines: [0...1, 2...3])  # => Buffer with content = 1\n34
buffer.sub_buffer(lines: [5..7])          # => Raises an error because the range contains newline

top_buffer ()

() → Buffer

Source

# File vendor/bundle/ruby/4.0.0/gems/rbs-4.0.3/lib/rbs/buffer.rb, line 140
def top_buffer
  if parent_buffer
    parent_buffer.top_buffer
  else
    self
  end
end