rbs 0.2.0

data/stdlib/json/json.rbs

@@ -0,0 +1,335 @@
+interface _ToJson
+  def to_json: (?JSON::State state) -> String
+end
+
+interface _JsonToWritableIO
+  def to_io: () -> _JsonWrite
+end
+
+interface _JsonWrite
+  def write: (String json) -> void
+end
+
+interface _JsonReadableIO
+  def to_io: () -> _JsonRead
+end
+
+interface _JsonRead
+  def read: () -> string
+end
+
+type json_options = Hash[Symbol, untyped]
+
+class JSON::State
+end
+
+# This module holds all the modules/classes that implement JSON's functionality
+# as C extensions.
+#
+module JSON::Ext
+end
+
+# This is the JSON generator implemented as a C extension. It can be configured
+# to be used by setting
+#
+#     JSON.generator = JSON::Ext::Generator
+#
+# with the method generator= in JSON.
+#
+module JSON::Ext::Generator
+end
+
+class JSON::Ext::Generator::State
+end
+
+module JSON::Pure
+end
+
+module JSON::Pure::Generator
+end
+
+class JSON::Pure::Generator::State
+end
+
+type json_generator = singleton(::JSON::Ext::Generator) | singleton(::JSON::Pure::Generator)
+type json_parser = singleton(::JSON::Ext::Parser) | singleton(::JSON::Pure::Parser)
+type json_state = singleton(JSON::Ext::Generator::State) | singleton(JSON::Pure::Generator::State)
+
+# # JavaScript Object Notation (JSON)
+#
+# JSON is a lightweight data-interchange format. It is easy for us humans to
+# read and write. Plus, equally simple for machines to generate or parse. JSON
+# is completely language agnostic, making it the ideal interchange format.
+#
+# Built on two universally available structures:
+#     1. A collection of name/value pairs. Often referred to as an _object_, hash table, record, struct, keyed list, or associative array.
+#     2. An ordered list of values. More commonly called an _array_, vector, sequence or list.
+#
+# To read more about JSON visit: http://json.org
+#
+# ## Parsing JSON
+#
+# To parse a JSON string received by another application or generated within
+# your existing application:
+#
+#     require 'json'
+#
+#     my_hash = JSON.parse('{"hello": "goodbye"}')
+#     puts my_hash["hello"] => "goodbye"
+#
+# Notice the extra quotes `''` around the hash notation. Ruby expects the
+# argument to be a string and can't convert objects like a hash or array.
+#
+# Ruby converts your string into a hash
+#
+# ## Generating JSON
+#
+# Creating a JSON string for communication or serialization is just as simple.
+#
+#     require 'json'
+#
+#     my_hash = {:hello => "goodbye"}
+#     puts JSON.generate(my_hash) => "{\"hello\":\"goodbye\"}"
+#
+# Or an alternative way:
+#
+#     require 'json'
+#     puts {:hello => "goodbye"}.to_json => "{\"hello\":\"goodbye\"}"
+#
+# `JSON.generate` only allows objects or arrays to be converted to JSON syntax.
+# `to_json`, however, accepts many Ruby classes even though it acts only as a
+# method for serialization:
+#
+#     require 'json'
+#
+#     1.to_json => "1"
+#
+module JSON
+  # If *object* is string-like, parse the string and return the parsed result as a
+  # Ruby data structure. Otherwise generate a JSON text from the Ruby data
+  # structure object and return it.
+  #
+  # The *opts* argument is passed through to generate/parse respectively. See
+  # generate and parse for their documentation.
+  #
+  def self.[]: (untyped object, ?json_options opts) -> untyped
+
+  # This is create identifier, which is used to decide if the *json_create* hook
+  # of a class should be called. It defaults to 'json_class'.
+  #
+  def self.create_id: () -> _ToS
+
+  def self.create_id=: (_ToS create_id) -> _ToS
+
+  def self.deep_const_get: (_ToS path) -> untyped
+  # Dumps *obj* as a JSON string, i.e. calls generate on the object and returns
+  # the result.
+  #
+  # If anIO (an IO-like object or an object that responds to the write method) was
+  # given, the resulting JSON is written to it.
+  #
+  # If the number of nested arrays or objects exceeds *limit*, an ArgumentError
+  # exception is raised. This argument is similar (but not exactly the same!) to
+  # the *limit* argument in Marshal.dump.
+  #
+  # The default options for the generator can be changed via the
+  # dump_default_options method.
+  #
+  # This method is part of the implementation of the load/dump interface of
+  # Marshal and YAML.
+  #
+  def self?.dump: (_ToJson obj, ?Integer limit) -> String
+                | (_ToJson obj, _JsonToWritableIO anIO) -> _JsonWrite
+                | (_ToJson obj, _JsonWrite anIO, ?Integer limit) -> _JsonWrite
+
+  # The global default options for the JSON.dump method:
+  #     :max_nesting: false
+  #     :allow_nan: true
+  #     :allow_blank: true
+  #
+  def self.dump_default_options: () -> json_options
+
+  def self.dump_default_options=: (json_options) -> json_options
+
+  # Generate a JSON document from the Ruby data structure *obj* and return it.
+  # This method disables the checks for circles in Ruby objects.
+  #
+  # **WARNING**: Be careful not to pass any Ruby data structures with circles as
+  # *obj* argument because this will cause JSON to go into an infinite loop.
+  #
+  def self?.fast_generate: (_ToJson obj, ?json_options opts) -> String
+
+  alias self.fast_unparse self.fast_generate
+  alias fast_unparse fast_generate
+
+  # Generate a JSON document from the Ruby data structure *obj* and return it.
+  # *state* is * a JSON::State object,
+  # *   or a Hash like object (responding to to_hash),
+  # *   an object convertible into a hash by a to_h method,
+  #
+  # that is used as or to configure a State object.
+  #
+  # It defaults to a state object, that creates the shortest possible JSON text in
+  # one line, checks for circular data structures and doesn't allow NaN, Infinity,
+  # and -Infinity.
+  #
+  # A *state* hash can have the following keys:
+  # *   **indent**: a string used to indent levels (default: ''),
+  # *   **space**: a string that is put after, a : or , delimiter (default: ''),
+  # *   **space_before**: a string that is put before a : pair delimiter (default:
+  #     ''),
+  # *   **object_nl**: a string that is put at the end of a JSON object (default:
+  #     ''),
+  # *   **array_nl**: a string that is put at the end of a JSON array (default:
+  #     ''),
+  # *   **allow_nan**: true if NaN, Infinity, and -Infinity should be generated,
+  #     otherwise an exception is thrown if these values are encountered. This
+  #     options defaults to false.
+  # *   **max_nesting**: The maximum depth of nesting allowed in the data
+  #     structures from which JSON is to be generated. Disable depth checking with
+  #     :max_nesting => false, it defaults to 100.
+  #
+  #
+  # See also the fast_generate for the fastest creation method with the least
+  # amount of sanity checks, and the pretty_generate method for some defaults for
+  # pretty output.
+  #
+  def self?.generate: (_ToJson obj, ?json_options opts) -> String
+
+  # Returns the JSON generator module that is used by JSON. This is either
+  # JSON::Ext::Generator or JSON::Pure::Generator.
+  #
+  def self.generator: () -> json_generator
+
+  def self.generator=: (json_generator generator) -> void
+
+  # Encodes string using Ruby's *String.encode*
+  #
+  def self.iconv: (encoding to, encoding from, String string) -> String
+
+  # Load a ruby data structure from a JSON *source* and return it. A source can
+  # either be a string-like object, an IO-like object, or an object responding to
+  # the read method. If *proc* was given, it will be called with any nested Ruby
+  # object as an argument recursively in depth first order. To modify the default
+  # options pass in the optional *options* argument as well.
+  #
+  # BEWARE: This method is meant to serialise data from trusted user input, like
+  # from your own database server or clients under your control, it could be
+  # dangerous to allow untrusted users to pass JSON sources into it. The default
+  # options for the parser can be changed via the load_default_options method.
+  #
+  # This method is part of the implementation of the load/dump interface of
+  # Marshal and YAML.
+  #
+  def self?.load: (string | _JsonReadableIO | _JsonRead source, ?Proc proc, ?json_options options) -> untyped
+
+  # The global default options for the JSON.load method:
+  #     :max_nesting: false
+  #     :allow_nan: true
+  #     :allow_blank: true
+  #
+  def self.load_default_options: () -> json_options
+
+  def self.load_default_options=: (json_options) -> json_options
+
+  # Parse the JSON document *source* into a Ruby data structure and return it.
+  #
+  # *opts* can have the following keys:
+  # *   **max_nesting**: The maximum depth of nesting allowed in the parsed data
+  #     structures. Disable depth checking with :max_nesting => false. It defaults
+  #     to 100.
+  # *   **allow_nan**: If set to true, allow NaN, Infinity and -Infinity in
+  #     defiance of RFC 7159 to be parsed by the Parser. This option defaults to
+  #     false.
+  # *   **symbolize_names**: If set to true, returns symbols for the names (keys)
+  #     in a JSON object. Otherwise strings are returned. Strings are the default.
+  # *   **create_additions**: If set to false, the Parser doesn't create additions
+  #     even if a matching class and create_id was found. This option defaults to
+  #     false.
+  # *   **object_class**: Defaults to Hash
+  # *   **array_class**: Defaults to Array
+  #
+  #
+  def self?.parse: (string source, ?json_options opts) -> untyped
+
+  # Parse the JSON document *source* into a Ruby data structure and return it. The
+  # bang version of the parse method defaults to the more dangerous values for the
+  # *opts* hash, so be sure only to parse trusted *source* documents.
+  #
+  # *opts* can have the following keys:
+  # *   **max_nesting**: The maximum depth of nesting allowed in the parsed data
+  #     structures. Enable depth checking with :max_nesting => anInteger. The
+  #     parse! methods defaults to not doing max depth checking: This can be
+  #     dangerous if someone wants to fill up your stack.
+  # *   **allow_nan**: If set to true, allow NaN, Infinity, and -Infinity in
+  #     defiance of RFC 7159 to be parsed by the Parser. This option defaults to
+  #     true.
+  # *   **create_additions**: If set to false, the Parser doesn't create additions
+  #     even if a matching class and create_id was found. This option defaults to
+  #     false.
+  #
+  #
+  def self?.parse!: (string source, ?json_options opts) -> untyped
+
+  # Returns the JSON parser class that is used by JSON. This is either
+  # JSON::Ext::Parser or JSON::Pure::Parser.
+  #
+  def self.parser: () -> json_parser
+
+  def self.parser=: (json_parser parser) -> void
+
+  # Generate a JSON document from the Ruby data structure *obj* and return it. The
+  # returned document is a prettier form of the document returned by #unparse.
+  #
+  # The *opts* argument can be used to configure the generator. See the generate
+  # method for a more detailed explanation.
+  #
+  def self?.pretty_generate: (_ToJson obj, ?json_options opts) -> untyped
+
+  alias self.pretty_unparse self.pretty_generate
+  alias pretty_unparse pretty_generate
+
+  # Recursively calls passed *Proc* if the parsed data structure is an *Array* or
+  # *Hash*
+  #
+  def self?.recurse_proc: (untyped result) { (*untyped) -> void } -> void
+
+  alias self.restore self.load
+  alias restore load
+
+  # Returns the JSON generator state class that is used by JSON. This is either
+  # JSON::Ext::Generator::State or JSON::Pure::Generator::State.
+  #
+  def self.state: () -> json_state
+
+  def self.state=: (json_state) -> json_state
+
+  alias self.unparse self.generate
+  alias unparse generate
+end
+
+JSON::FAST_STATE_PROTOTYPE: json_state
+
+JSON::Infinity: Float
+
+JSON::JSON_LOADED: bool
+
+JSON::MinusInfinity: Float
+
+JSON::NaN: Float
+
+JSON::PRETTY_STATE_PROTOTYPE: json_state
+
+JSON::SAFE_STATE_PROTOTYPE: json_state
+
+# JSON version
+#
+JSON::VERSION: String
+
+JSON::VERSION_ARRAY: Array
+
+JSON::VERSION_BUILD: Integer
+
+JSON::VERSION_MAJOR: Integer
+
+JSON::VERSION_MINOR: Integer

data/stdlib/pathname/pathname.rbs

@@ -0,0 +1,1093 @@
+# Pathname represents the name of a file or directory on the filesystem, but not
+# the file itself.
+#
+# The pathname depends on the Operating System: Unix, Windows, etc. This library
+# works with pathnames of local OS, however non-Unix pathnames are supported
+# experimentally.
+#
+# A Pathname can be relative or absolute.  It's not until you try to reference
+# the file that it even matters whether the file exists or not.
+#
+# Pathname is immutable.  It has no method for destructive update.
+#
+# The goal of this class is to manipulate file path information in a neater way
+# than standard Ruby provides.  The examples below demonstrate the difference.
+#
+# **All** functionality from File, FileTest, and some from Dir and FileUtils is
+# included, in an unsurprising way.  It is essentially a facade for all of
+# these, and more.
+#
+# ## Examples
+#
+# ### Example 1: Using Pathname
+#
+#     require 'pathname'
+#     pn = Pathname.new("/usr/bin/ruby")
+#     size = pn.size              # 27662
+#     isdir = pn.directory?       # false
+#     dir  = pn.dirname           # Pathname:/usr/bin
+#     base = pn.basename          # Pathname:ruby
+#     dir, base = pn.split        # [Pathname:/usr/bin, Pathname:ruby]
+#     data = pn.read
+#     pn.open { |f| _ }
+#     pn.each_line { |line| _ }
+#
+# ### Example 2: Using standard Ruby
+#
+#     pn = "/usr/bin/ruby"
+#     size = File.size(pn)        # 27662
+#     isdir = File.directory?(pn) # false
+#     dir  = File.dirname(pn)     # "/usr/bin"
+#     base = File.basename(pn)    # "ruby"
+#     dir, base = File.split(pn)  # ["/usr/bin", "ruby"]
+#     data = File.read(pn)
+#     File.open(pn) { |f| _ }
+#     File.foreach(pn) { |line| _ }
+#
+# ### Example 3: Special features
+#
+#     p1 = Pathname.new("/usr/lib")   # Pathname:/usr/lib
+#     p2 = p1 + "ruby/1.8"            # Pathname:/usr/lib/ruby/1.8
+#     p3 = p1.parent                  # Pathname:/usr
+#     p4 = p2.relative_path_from(p3)  # Pathname:lib/ruby/1.8
+#     pwd = Pathname.pwd              # Pathname:/home/gavin
+#     pwd.absolute?                   # true
+#     p5 = Pathname.new "."           # Pathname:.
+#     p5 = p5 + "music/../articles"   # Pathname:music/../articles
+#     p5.cleanpath                    # Pathname:articles
+#     p5.realpath                     # Pathname:/home/gavin/articles
+#     p5.children                     # [Pathname:/home/gavin/articles/linux, ...]
+#
+# ## Breakdown of functionality
+#
+# ### Core methods
+#
+# These methods are effectively manipulating a String, because that's all a path
+# is.  None of these access the file system except for #mountpoint?, #children,
+# #each_child, #realdirpath and #realpath.
+#
+# *   +
+# *   #join
+# *   #parent
+# *   #root?
+# *   #absolute?
+# *   #relative?
+# *   #relative_path_from
+# *   #each_filename
+# *   #cleanpath
+# *   #realpath
+# *   #realdirpath
+# *   #children
+# *   #each_child
+# *   #mountpoint?
+#
+#
+# ### File status predicate methods
+#
+# These methods are a facade for FileTest:
+# *   #blockdev?
+# *   #chardev?
+# *   #directory?
+# *   #executable?
+# *   #executable_real?
+# *   #exist?
+# *   #file?
+# *   #grpowned?
+# *   #owned?
+# *   #pipe?
+# *   #readable?
+# *   #world_readable?
+# *   #readable_real?
+# *   #setgid?
+# *   #setuid?
+# *   #size
+# *   #size?
+# *   #socket?
+# *   #sticky?
+# *   #symlink?
+# *   #writable?
+# *   #world_writable?
+# *   #writable_real?
+# *   #zero?
+#
+#
+# ### File property and manipulation methods
+#
+# These methods are a facade for File:
+# *   #atime
+# *   #birthtime
+# *   #ctime
+# *   #mtime
+# *   #chmod(mode)
+# *   #lchmod(mode)
+# *   #chown(owner, group)
+# *   #lchown(owner, group)
+# *   #fnmatch(pattern, *args)
+# *   #fnmatch?(pattern, *args)
+# *   #ftype
+# *   #make_link(old)
+# *   #open(*args, &block)
+# *   #readlink
+# *   #rename(to)
+# *   #stat
+# *   #lstat
+# *   #make_symlink(old)
+# *   #truncate(length)
+# *   #utime(atime, mtime)
+# *   #basename(*args)
+# *   #dirname
+# *   #extname
+# *   #expand_path(*args)
+# *   #split
+#
+#
+# ### Directory methods
+#
+# These methods are a facade for Dir:
+# *   Pathname.glob(*args)
+# *   Pathname.getwd / Pathname.pwd
+# *   #rmdir
+# *   #entries
+# *   #each_entry(&block)
+# *   #mkdir(*args)
+# *   #opendir(*args)
+#
+#
+# ### IO
+#
+# These methods are a facade for IO:
+# *   #each_line(*args, &block)
+# *   #read(*args)
+# *   #binread(*args)
+# *   #readlines(*args)
+# *   #sysopen(*args)
+#
+#
+# ### Utilities
+#
+# These methods are a mixture of Find, FileUtils, and others:
+# *   #find(&block)
+# *   #mkpath
+# *   #rmtree
+# *   #unlink / #delete
+#
+#
+# ## Method documentation
+#
+# As the above section shows, most of the methods in Pathname are facades.  The
+# documentation for these methods generally just says, for instance, "See
+# FileTest.writable?", as you should be familiar with the original method
+# anyway, and its documentation (e.g. through `ri`) will contain more
+# information.  In some cases, a brief description will follow.
+#
+class Pathname
+  # Returns the current working directory as a Pathname.
+  #
+  #     Pathname.getwd
+  #         #=> #<Pathname:/home/zzak/projects/ruby>
+  #
+  # See Dir.getwd.
+  #
+  def self.getwd: () -> Pathname
+
+  # Returns or yields Pathname objects.
+  #
+  #     Pathname.glob("lib/i*.rb")
+  #         #=> [#<Pathname:lib/ipaddr.rb>, #<Pathname:lib/irb.rb>]
+  #
+  # See Dir.glob.
+  #
+  def self.glob: (String | Array[String] pattern, ?Integer flags) -> Array[Pathname]
+               | (String | Array[String] pattern, ?Integer flags) { (Pathname) -> untyped } -> nil
+
+  # Returns the current working directory as a Pathname.
+  #
+  #     Pathname.getwd
+  #         #=> #<Pathname:/home/zzak/projects/ruby>
+  #
+  # See Dir.getwd.
+  #
+  def self.pwd: () -> Pathname
+
+  public
+
+  # Appends a pathname fragment to `self` to produce a new Pathname object.
+  #
+  #     p1 = Pathname.new("/usr")      # Pathname:/usr
+  #     p2 = p1 + "bin/ruby"           # Pathname:/usr/bin/ruby
+  #     p3 = p1 + "/etc/passwd"        # Pathname:/etc/passwd
+  #
+  #     # / is aliased to +.
+  #     p4 = p1 / "bin/ruby"           # Pathname:/usr/bin/ruby
+  #     p5 = p1 / "/etc/passwd"        # Pathname:/etc/passwd
+  #
+  # This method doesn't access the file system; it is pure string manipulation.
+  #
+  def +: (Pathname | String | _ToStr other) -> Pathname
+
+  alias / +
+
+  # Provides a case-sensitive comparison operator for pathnames.
+  #
+  #     Pathname.new('/usr') <=> Pathname.new('/usr/bin')
+  #         #=> -1
+  #     Pathname.new('/usr/bin') <=> Pathname.new('/usr/bin')
+  #         #=> 0
+  #     Pathname.new('/usr/bin') <=> Pathname.new('/USR/BIN')
+  #         #=> 1
+  #
+  # It will return `-1`, `0` or `1` depending on the value of the left argument
+  # relative to the right argument. Or it will return `nil` if the arguments are
+  # not comparable.
+  #
+  def <=>: (untyped other) -> Integer?
+
+  # Compare this pathname with `other`.  The comparison is string-based. Be aware
+  # that two different paths (`foo.txt` and `./foo.txt`) can refer to the same
+  # file.
+  #
+  def ==: (untyped) -> bool
+
+  # Compare this pathname with `other`.  The comparison is string-based. Be aware
+  # that two different paths (`foo.txt` and `./foo.txt`) can refer to the same
+  # file.
+  #
+  def ===: (untyped) -> bool
+
+  # Predicate method for testing whether a path is absolute.
+  #
+  # It returns `true` if the pathname begins with a slash.
+  #
+  #     p = Pathname.new('/im/sure')
+  #     p.absolute?
+  #         #=> true
+  #
+  #     p = Pathname.new('not/so/sure')
+  #     p.absolute?
+  #         #=> false
+  #
+  def absolute?: () -> bool
+
+  # Iterates over and yields a new Pathname object for each element in the given
+  # path in ascending order.
+  #
+  #     Pathname.new('/path/to/some/file.rb').ascend {|v| p v}
+  #        #<Pathname:/path/to/some/file.rb>
+  #        #<Pathname:/path/to/some>
+  #        #<Pathname:/path/to>
+  #        #<Pathname:/path>
+  #        #<Pathname:/>
+  #
+  #     Pathname.new('path/to/some/file.rb').ascend {|v| p v}
+  #        #<Pathname:path/to/some/file.rb>
+  #        #<Pathname:path/to/some>
+  #        #<Pathname:path/to>
+  #        #<Pathname:path>
+  #
+  # Returns an Enumerator if no block was given.
+  #
+  #     enum = Pathname.new("/usr/bin/ruby").ascend
+  #       # ... do stuff ...
+  #     enum.each { |e| ... }
+  #       # yields Pathnames /usr/bin/ruby, /usr/bin, /usr, and /.
+  #
+  # It doesn't access the filesystem.
+  #
+  def ascend: () { (Pathname) -> untyped } -> nil
+            | () -> Enumerator[Pathname, nil]
+
+  # Returns the last access time for the file.
+  #
+  # See File.atime.
+  #
+  def atime: () -> Time
+
+  # Returns the last component of the path.
+  #
+  # See File.basename.
+  #
+  def basename: (?String | _ToStr suffix) -> Pathname
+
+  # Returns all the bytes from the file, or the first `N` if specified.
+  #
+  # See File.binread.
+  #
+  def binread: (?Integer length, ?Integer offset) -> String
+
+  # Writes `contents` to the file, opening it in binary mode.
+  #
+  # See File.binwrite.
+  #
+  def binwrite: (String, ?Integer offset,
+                 ?mode: Integer | String,
+                 ?flags: Integer,
+                 ?external_encoding: encoding,
+                 ?internal_encoding: encoding,
+                 ?encoding: encoding,
+                 ?textmode: bool,
+                 ?binmode: bool,
+                 ?autoclose: bool,
+
+                 # From String#encode
+                 ?invalid: :replace ?,
+                 ?undef: :replace ?,
+                 ?replace: String,
+                 ?fallback: Hash[String, String] | Proc | Method,
+                 ?xml: :text | :attr,
+                 ?universal_newline: true,
+                 ?cr_newline: true,
+                 ?crlf_newline: true,
+                ) -> Integer
+
+  # Returns the birth time for the file. If the platform doesn't have birthtime,
+  # raises NotImplementedError.
+  #
+  # See File.birthtime.
+  #
+  def birthtime: () -> Time
+
+  # See FileTest.blockdev?.
+  #
+  def blockdev?: () -> bool
+
+  # See FileTest.chardev?.
+  #
+  def chardev?: () -> bool
+
+  # Returns the children of the directory (files and subdirectories, not
+  # recursive) as an array of Pathname objects.
+  #
+  # By default, the returned pathnames will have enough information to access the
+  # files. If you set `with_directory` to `false`, then the returned pathnames
+  # will contain the filename only.
+  #
+  # For example:
+  #     pn = Pathname("/usr/lib/ruby/1.8")
+  #     pn.children
+  #         # -> [ Pathname:/usr/lib/ruby/1.8/English.rb,
+  #                Pathname:/usr/lib/ruby/1.8/Env.rb,
+  #                Pathname:/usr/lib/ruby/1.8/abbrev.rb, ... ]
+  #     pn.children(false)
+  #         # -> [ Pathname:English.rb, Pathname:Env.rb, Pathname:abbrev.rb, ... ]
+  #
+  # Note that the results never contain the entries `.` and `..` in the directory
+  # because they are not children.
+  #
+  def children: (?bool with_directory) -> untyped
+
+  # Changes file permissions.
+  #
+  # See File.chmod.
+  #
+  def chmod: (Integer mode_int) -> Integer
+
+  # Change owner and group of the file.
+  #
+  # See File.chown.
+  #
+  def chown: (Integer owner, Integer group) -> Integer
+
+  # Returns clean pathname of `self` with consecutive slashes and useless dots
+  # removed.  The filesystem is not accessed.
+  #
+  # If `consider_symlink` is `true`, then a more conservative algorithm is used to
+  # avoid breaking symbolic linkages.  This may retain more `..` entries than
+  # absolutely necessary, but without accessing the filesystem, this can't be
+  # avoided.
+  #
+  # See Pathname#realpath.
+  #
+  def cleanpath: (?bool consider_symlink) -> Pathname
+
+  # Returns the last change time, using directory information, not the file
+  # itself.
+  #
+  # See File.ctime.
+  #
+  def ctime: () -> Time
+
+  # Removes a file or directory, using File.unlink if `self` is a file, or
+  # Dir.unlink as necessary.
+  #
+  def delete: () -> Integer
+
+  # Iterates over and yields a new Pathname object for each element in the given
+  # path in descending order.
+  #
+  #     Pathname.new('/path/to/some/file.rb').descend {|v| p v}
+  #        #<Pathname:/>
+  #        #<Pathname:/path>
+  #        #<Pathname:/path/to>
+  #        #<Pathname:/path/to/some>
+  #        #<Pathname:/path/to/some/file.rb>
+  #
+  #     Pathname.new('path/to/some/file.rb').descend {|v| p v}
+  #        #<Pathname:path>
+  #        #<Pathname:path/to>
+  #        #<Pathname:path/to/some>
+  #        #<Pathname:path/to/some/file.rb>
+  #
+  # Returns an Enumerator if no block was given.
+  #
+  #     enum = Pathname.new("/usr/bin/ruby").descend
+  #       # ... do stuff ...
+  #     enum.each { |e| ... }
+  #       # yields Pathnames /, /usr, /usr/bin, and /usr/bin/ruby.
+  #
+  # It doesn't access the filesystem.
+  #
+  def descend: () { (Pathname) -> untyped } -> nil
+             | () -> Enumerator[Pathname, nil]
+
+  # See FileTest.directory?.
+  #
+  def directory?: () -> bool
+
+  # Returns all but the last component of the path.
+  #
+  # See File.dirname.
+  #
+  def dirname: () -> Pathname
+
+  # Iterates over the children of the directory (files and subdirectories, not
+  # recursive).
+  #
+  # It yields Pathname object for each child.
+  #
+  # By default, the yielded pathnames will have enough information to access the
+  # files.
+  #
+  # If you set `with_directory` to `false`, then the returned pathnames will
+  # contain the filename only.
+  #
+  #     Pathname("/usr/local").each_child {|f| p f }
+  #     #=> #<Pathname:/usr/local/share>
+  #     #   #<Pathname:/usr/local/bin>
+  #     #   #<Pathname:/usr/local/games>
+  #     #   #<Pathname:/usr/local/lib>
+  #     #   #<Pathname:/usr/local/include>
+  #     #   #<Pathname:/usr/local/sbin>
+  #     #   #<Pathname:/usr/local/src>
+  #     #   #<Pathname:/usr/local/man>
+  #
+  #     Pathname("/usr/local").each_child(false) {|f| p f }
+  #     #=> #<Pathname:share>
+  #     #   #<Pathname:bin>
+  #     #   #<Pathname:games>
+  #     #   #<Pathname:lib>
+  #     #   #<Pathname:include>
+  #     #   #<Pathname:sbin>
+  #     #   #<Pathname:src>
+  #     #   #<Pathname:man>
+  #
+  # Note that the results never contain the entries `.` and `..` in the directory
+  # because they are not children.
+  #
+  # See Pathname#children
+  #
+  def each_child: (?bool with_directory) { (Pathname) -> void } -> Array[Pathname]
+                | (?bool with_directory) -> Enumerator[Pathname, Array[Pathname]]
+
+  # Iterates over the entries (files and subdirectories) in the directory,
+  # yielding a Pathname object for each entry.
+  #
+  def each_entry: () { (Pathname) -> untyped } -> nil
+
+  # Iterates over each component of the path.
+  #
+  #     Pathname.new("/usr/bin/ruby").each_filename {|filename| ... }
+  #       # yields "usr", "bin", and "ruby".
+  #
+  # Returns an Enumerator if no block was given.
+  #
+  #     enum = Pathname.new("/usr/bin/ruby").each_filename
+  #       # ... do stuff ...
+  #     enum.each { |e| ... }
+  #       # yields "usr", "bin", and "ruby".
+  #
+  def each_filename: () { (String) -> untyped } -> nil
+                   | () -> Enumerator[String, nil]
+
+  # Iterates over each line in the file and yields a String object for each.
+  #
+  def each_line: (?String sep, ?Integer limit,
+                  # open_args
+                  ?mode: Integer | String,
+                  ?flags: Integer,
+                  ?external_encoding: encoding,
+                  ?internal_encoding: encoding,
+                  ?encoding: encoding,
+                  ?textmode: bool,
+                  ?binmode: bool,
+                  ?autoclose: bool,
+                  # getline_args
+                  ?chomp: bool,
+                 ) { (String) -> untyped } -> nil
+               | (Integer limit,
+                  # open_args
+                  ?mode: Integer | String,
+                  ?flags: Integer,
+                  ?external_encoding: encoding,
+                  ?internal_encoding: encoding,
+                  ?encoding: encoding,
+                  ?textmode: bool,
+                  ?binmode: bool,
+                  ?autoclose: bool,
+                  # getline_args
+                  ?chomp: bool,
+                 ) { (String) -> untyped } -> nil
+               | (?String sep, ?Integer limit,
+                  # open_args
+                  ?mode: Integer | String,
+                  ?flags: Integer,
+                  ?external_encoding: encoding,
+                  ?internal_encoding: encoding,
+                  ?encoding: encoding,
+                  ?textmode: bool,
+                  ?binmode: bool,
+                  ?autoclose: bool,
+                  # getline_args
+                  ?chomp: bool,
+                 ) -> Enumerator[String, nil]
+               | (Integer limit,
+                  # open_args
+                  ?mode: Integer | String,
+                  ?flags: Integer,
+                  ?external_encoding: encoding,
+                  ?internal_encoding: encoding,
+                  ?encoding: encoding,
+                  ?textmode: bool,
+                  ?binmode: bool,
+                  ?autoclose: bool,
+                  # getline_args
+                  ?chomp: bool,
+                 ) -> Enumerator[String, nil]
+
+  # Tests the file is empty.
+  #
+  # See Dir#empty? and FileTest.empty?.
+  #
+  def empty?: () -> bool
+
+  # Return the entries (files and subdirectories) in the directory, each as a
+  # Pathname object.
+  #
+  # The results contains just the names in the directory, without any trailing
+  # slashes or recursive look-up.
+  #
+  #     pp Pathname.new('/usr/local').entries
+  #     #=> [#<Pathname:share>,
+  #     #    #<Pathname:lib>,
+  #     #    #<Pathname:..>,
+  #     #    #<Pathname:include>,
+  #     #    #<Pathname:etc>,
+  #     #    #<Pathname:bin>,
+  #     #    #<Pathname:man>,
+  #     #    #<Pathname:games>,
+  #     #    #<Pathname:.>,
+  #     #    #<Pathname:sbin>,
+  #     #    #<Pathname:src>]
+  #
+  # The result may contain the current directory `#<Pathname:.>` and the parent
+  # directory `#<Pathname:..>`.
+  #
+  # If you don't want `.` and `..` and want directories, consider
+  # Pathname#children.
+  #
+  def entries: () -> Array[Pathname]
+
+  # Compare this pathname with `other`.  The comparison is string-based. Be aware
+  # that two different paths (`foo.txt` and `./foo.txt`) can refer to the same
+  # file.
+  #
+  def eql?: (untyped) -> bool
+
+  # See FileTest.executable?.
+  #
+  def executable?: () -> bool
+
+  # See FileTest.executable_real?.
+  #
+  def executable_real?: () -> bool
+
+  # See FileTest.exist?.
+  #
+  def exist?: () -> bool
+
+  # Returns the absolute path for the file.
+  #
+  # See File.expand_path.
+  #
+  def expand_path: (?String dir) -> Pathname
+
+  # Returns the file's extension.
+  #
+  # See File.extname.
+  #
+  def extname: () -> String
+
+  # See FileTest.file?.
+  #
+  def file?: () -> bool
+
+  # Iterates over the directory tree in a depth first manner, yielding a Pathname
+  # for each file under "this" directory.
+  #
+  # Returns an Enumerator if no block is given.
+  #
+  # Since it is implemented by the standard library module Find, Find.prune can be
+  # used to control the traversal.
+  #
+  # If `self` is `.`, yielded pathnames begin with a filename in the current
+  # directory, not `./`.
+  #
+  # See Find.find
+  #
+  def find: (?ignore_error: bool) { (Pathname) -> untyped } -> nil
+          | (?ignore_error: bool) -> Enumerator[Pathname, nil]
+
+  # Return `true` if the receiver matches the given pattern.
+  #
+  # See File.fnmatch.
+  #
+  def fnmatch: (String pattern, ?Integer flags) -> bool
+
+  # Return `true` if the receiver matches the given pattern.
+  #
+  # See File.fnmatch.
+  #
+  alias fnmatch? fnmatch
+
+  # Freezes this Pathname.
+  #
+  # See Object.freeze.
+  #
+  def freeze: () -> Pathname
+
+  # Returns "type" of file ("file", "directory", etc).
+  #
+  # See File.ftype.
+  #
+  def ftype: () -> String
+
+  # Returns or yields Pathname objects.
+  #
+  #     Pathname("ruby-2.4.2").glob("R*.md")
+  #     #=> [#<Pathname:ruby-2.4.2/README.md>, #<Pathname:ruby-2.4.2/README.ja.md>]
+  #
+  # See Dir.glob. This method uses the `base` keyword argument of Dir.glob.
+  #
+  def glob: (String | Array[String] pattern, ?Integer flags) -> Array[Pathname]
+          | (String | Array[String] pattern, ?Integer flags) { (Pathname) -> untyped } -> nil
+
+  # See FileTest.grpowned?.
+  #
+  def grpowned?: () -> bool
+
+  def hash: () -> Integer
+
+  def inspect: () -> String
+
+  # Joins the given pathnames onto `self` to create a new Pathname object.
+  #
+  #     path0 = Pathname.new("/usr")                # Pathname:/usr
+  #     path0 = path0.join("bin/ruby")              # Pathname:/usr/bin/ruby
+  #         # is the same as
+  #     path1 = Pathname.new("/usr") + "bin/ruby"   # Pathname:/usr/bin/ruby
+  #     path0 == path1
+  #         #=> true
+  #
+  def join: (*String | _ToStr | Pathname args) -> Pathname
+
+  # Same as Pathname.chmod, but does not follow symbolic links.
+  #
+  # See File.lchmod.
+  #
+  def lchmod: (Integer mode) -> Integer
+
+  # Same as Pathname.chown, but does not follow symbolic links.
+  #
+  # See File.lchown.
+  #
+  def lchown: (Integer owner, Integer group) -> Integer
+
+  # See File.lstat.
+  #
+  def lstat: () -> ::File::Stat
+
+  # Creates a hard link at *pathname*.
+  #
+  # See File.link.
+  #
+  def make_link: (String | Pathname | _ToStr old) -> Integer
+
+  # Creates a symbolic link.
+  #
+  # See File.symlink.
+  #
+  def make_symlink: (String | Pathname | _ToStr old) -> Integer
+
+  # Create the referenced directory.
+  #
+  # See Dir.mkdir.
+  #
+  def mkdir: (?Integer perm) -> Integer
+
+  # Creates a full path, including any intermediate directories that don't yet
+  # exist.
+  #
+  # See FileUtils.mkpath and FileUtils.mkdir_p
+  #
+  def mkpath: () -> nil
+
+  # Returns `true` if `self` points to a mountpoint.
+  #
+  def mountpoint?: () -> bool
+
+  # Returns the last modified time of the file.
+  #
+  # See File.mtime.
+  #
+  def mtime: () -> Time
+
+  # Opens the file for reading or writing.
+  #
+  # See File.open.
+  #
+  def open: (?String mode, ?Integer perm) -> File
+          | [T] (?String mode, ?Integer perm) { (File) -> T } -> T
+
+  # Opens the referenced directory.
+  #
+  # See Dir.open.
+  #
+  def opendir: () -> Dir
+               | [U] () { (Dir) -> U } -> U
+
+  # See FileTest.owned?.
+  #
+  def owned?: () -> bool
+
+  # Returns the parent directory.
+  #
+  # This is same as `self + '..'`.
+  #
+  def parent: () -> Pathname
+
+  # See FileTest.pipe?.
+  #
+  def pipe?: () -> bool
+
+  # Returns all data from the file, or the first `N` bytes if specified.
+  #
+  # See File.read.
+  #
+  def read: (?Integer length, ?Integer offset,
+             # open_args
+             ?mode: Integer | String,
+             ?flags: Integer,
+             ?external_encoding: encoding,
+             ?internal_encoding: encoding,
+             ?encoding: encoding,
+             ?textmode: bool,
+             ?binmode: bool,
+             ?autoclose: bool,
+            ) -> String
+
+  # See FileTest.readable?.
+  #
+  def readable?: () -> bool
+
+  # See FileTest.readable_real?.
+  #
+  def readable_real?: () -> bool
+
+  # Returns all the lines from the file.
+  #
+  # See File.readlines.
+  #
+  def readlines: (?String sep, ?Integer limit,
+                  # open_args
+                  ?mode: Integer | String,
+                  ?flags: Integer,
+                  ?external_encoding: encoding,
+                  ?internal_encoding: encoding,
+                  ?encoding: encoding,
+                  ?textmode: bool,
+                  ?binmode: bool,
+                  ?autoclose: bool,
+                  # getline_args
+                  ?chomp: bool,
+                 ) -> Array[String]
+               | (Integer limit,
+                  # open_args
+                  ?mode: Integer | String,
+                  ?flags: Integer,
+                  ?external_encoding: encoding,
+                  ?internal_encoding: encoding,
+                  ?encoding: encoding,
+                  ?textmode: bool,
+                  ?binmode: bool,
+                  ?autoclose: bool,
+                  # getline_args
+                  ?chomp: bool,
+                 ) -> Array[String]
+
+  # Read symbolic link.
+  #
+  # See File.readlink.
+  #
+  def readlink: () -> untyped
+
+  # Returns the real (absolute) pathname of `self` in the actual filesystem.
+  #
+  # Does not contain symlinks or useless dots, `..` and `.`.
+  #
+  # The last component of the real pathname can be nonexistent.
+  #
+  def realdirpath: (?string | Pathname base_dir) -> Pathname
+
+  # Returns the real (absolute) pathname for `self` in the actual filesystem.
+  #
+  # Does not contain symlinks or useless dots, `..` and `.`.
+  #
+  # All components of the pathname must exist when this method is called.
+  #
+  def realpath: (?string | Pathname base_dir) -> Pathname
+
+  # The opposite of Pathname#absolute?
+  #
+  # It returns `false` if the pathname begins with a slash.
+  #
+  #     p = Pathname.new('/im/sure')
+  #     p.relative?
+  #         #=> false
+  #
+  #     p = Pathname.new('not/so/sure')
+  #     p.relative?
+  #         #=> true
+  #
+  def relative?: () -> bool
+
+  # Returns a relative path from the given `base_directory` to the receiver.
+  #
+  # If `self` is absolute, then `base_directory` must be absolute too.
+  #
+  # If `self` is relative, then `base_directory` must be relative too.
+  #
+  # This method doesn't access the filesystem.  It assumes no symlinks.
+  #
+  # ArgumentError is raised when it cannot find a relative path.
+  #
+  def relative_path_from: (Pathname | string base_directory) -> Pathname
+
+  # Rename the file.
+  #
+  # See File.rename.
+  #
+  def rename: (Pathname | string new_name) -> 0
+
+  # Remove the referenced directory.
+  #
+  # See Dir.rmdir.
+  #
+  def rmdir: () -> 0
+
+  # Recursively deletes a directory, including all directories beneath it.
+  #
+  # See FileUtils.rm_r
+  #
+  def rmtree: () -> void
+
+  # Predicate method for root directories.  Returns `true` if the pathname
+  # consists of consecutive slashes.
+  #
+  # It doesn't access the filesystem.  So it may return `false` for some pathnames
+  # which points to roots such as `/usr/..`.
+  #
+  def root?: () -> bool
+
+  # See FileTest.setgid?.
+  #
+  def setgid?: () -> bool
+
+  # See FileTest.setuid?.
+  #
+  def setuid?: () -> bool
+
+  # See FileTest.size.
+  #
+  def size: () -> Integer
+
+  # See FileTest.size?.
+  #
+  def size?: () -> Integer?
+
+  # See FileTest.socket?.
+  #
+  def socket?: () -> untyped
+
+  # Returns the #dirname and the #basename in an Array.
+  #
+  # See File.split.
+  #
+  def split: () -> [Pathname, Pathname]
+
+  # Returns a File::Stat object.
+  #
+  # See File.stat.
+  #
+  def stat: () -> File::Stat
+
+  # See FileTest.sticky?.
+  #
+  def sticky?: () -> untyped
+
+  # Return a pathname which is substituted by String#sub.
+  #
+  #     path1 = Pathname.new('/usr/bin/perl')
+  #     path1.sub('perl', 'ruby')
+  #         #=> #<Pathname:/usr/bin/ruby>
+  #
+  def sub: (Regexp | string pattern, string | Hash[String, String] replacement) -> Pathname
+         | (Regexp | string pattern) { (String match) -> string } -> Pathname
+
+  # Return a pathname with `repl` added as a suffix to the basename.
+  #
+  # If self has no extension part, `repl` is appended.
+  #
+  #     Pathname.new('/usr/bin/shutdown').sub_ext('.rb')
+  #         #=> #<Pathname:/usr/bin/shutdown.rb>
+  #
+  def sub_ext: (string replacement) -> Pathname
+
+  # See FileTest.symlink?.
+  #
+  def symlink?: () -> untyped
+
+  # See IO.sysopen.
+  #
+  def sysopen: (?String mode, ?Integer perm) -> Integer
+
+  # Returns pathname.  This method is deprecated and will be removed in Ruby 3.2.
+  #
+  def taint: () -> Pathname
+
+  # Return the path as a String.
+  #
+  # to_path is implemented so Pathname objects are usable with File.open, etc.
+  #
+  def to_path: () -> String
+
+  # Return the path as a String.
+  #
+  # to_path is implemented so Pathname objects are usable with File.open, etc.
+  #
+  alias to_s to_path
+
+  # Truncates the file to `length` bytes.
+  #
+  # See File.truncate.
+  #
+  def truncate: (Integer length) -> 0
+
+  # Removes a file or directory, using File.unlink if `self` is a file, or
+  # Dir.unlink as necessary.
+  #
+  def unlink: () -> Integer
+
+  # Returns pathname.  This method is deprecated and will be removed in Ruby 3.2.
+  #
+  def untaint: () -> Pathname
+
+  # Update the access and modification times of the file.
+  #
+  # See File.utime.
+  #
+  def utime: (Integer | Time atime, Integer | Time mtime) -> Integer
+
+  # See FileTest.world_readable?.
+  #
+  def world_readable?: () -> (Integer | nil)
+
+  # See FileTest.world_writable?.
+  #
+  def world_writable?: () -> (Integer | nil)
+
+  # See FileTest.writable?.
+  #
+  def writable?: () -> bool
+
+  # See FileTest.writable_real?.
+  #
+  def writable_real?: () -> bool
+
+  # Writes `contents` to the file.
+  #
+  # See File.write.
+  #
+  def write: (String content, ?Integer offset,
+              # open_args
+              ?mode: Integer | String,
+              ?flags: Integer,
+              ?external_encoding: encoding,
+              ?internal_encoding: encoding,
+              ?encoding: encoding,
+              ?textmode: bool,
+              ?binmode: bool,
+              ?autoclose: bool,
+             ) -> Integer
+
+  # See FileTest.zero?.
+  #
+  def zero?: () -> bool
+
+  private
+
+  def add_trailing_separator: (untyped path) -> untyped
+
+  def chop_basename: (untyped path) -> untyped
+
+  def cleanpath_aggressive: () -> untyped
+
+  def cleanpath_conservative: () -> untyped
+
+  def del_trailing_separator: (untyped path) -> untyped
+
+  def has_trailing_separator?: (untyped path) -> untyped
+
+  # Create a Pathname object from the given String (or String-like object). If
+  # `path` contains a NULL character (`\0`), an ArgumentError is raised.
+  #
+  def initialize: (string | Pathname) -> void
+
+  def plus: (untyped path1, untyped path2) -> untyped
+
+  def prepend_prefix: (untyped prefix, untyped relpath) -> untyped
+
+  def split_names: (untyped path) -> untyped
+end
+
+Pathname::SAME_PATHS: Proc
+
+Pathname::SEPARATOR_LIST: String
+
+Pathname::SEPARATOR_PAT: Regexp
+
+Pathname::TO_PATH: Symbol
+
+extension Kernel (Pathname)
+  # Creates a new Pathname object from the given string, `path`, and returns
+  # pathname object.
+  #
+  # In order to use this constructor, you must first require the Pathname standard
+  # library extension.
+  #
+  #     require 'pathname'
+  #     Pathname("/home/zzak")
+  #     #=> #<Pathname:/home/zzak>
+  #
+  # See also Pathname::new for more information.
+  #
+  def Pathname: (String | Pathname) -> Pathname
+end