File Manager

module RBS
  class Buffer
    # Location in a buffer.
    # A pair of line number (1 origin) and column number (0 origin).
    #
    type loc = [Integer, Integer]

    # Name to identify Buffer.
    attr_reader name: untyped

    # The content of the buffer.
    attr_reader content: String

    attr_reader lines: Array[String]

    attr_reader ranges: Array[Range[Integer]]

    def initialize: (name: untyped name, content: String content) -> void

    # Translate position to location.
    def pos_to_loc: (Integer pos) -> loc

    # Translate location to position.
    def loc_to_pos: (loc loc) -> Integer

    def last_position: () -> Integer
  end
end