rbs 4.0.3 → 4.1.0.pre.2

data/src/util/rbs_allocator.c

@@ -25,10 +25,7 @@
 #ifdef _WIN32
 #include <windows.h>
 #else
-#include <unistd.h>
-#include <sys/types.h>
-#include <sys/mman.h>
-#include <fcntl.h>
+#include <unistd.h> // for sysconf()
 #endif
 
 typedef struct rbs_allocator_page {

data/stdlib/abbrev/0/array.rbs

@@ -1,5 +1,5 @@
 %a{annotate:rdoc:skip}
-class Array[unchecked out Elem]
+class Array[unchecked out E]
   # <!--
   #   rdoc-file=lib/abbrev.rb
   #   - abbrev(pattern = nil)

data/stdlib/csv/0/csv.rbs

@@ -2964,8 +2964,8 @@ end
 #     table['Name'] = ['Foo', 'Bar', 'Baz']
 #     table['Name'] # => ["Foo", "Bar", "Baz"]
 #
-class CSV::Table[out Elem] < Object
-  include Enumerable[Elem]
+class CSV::Table[out E] < Object
+  include Enumerable[E]
   extend Forwardable
 
   # <!--
@@ -3587,8 +3587,8 @@ class CSV::Table[out Elem] < Object
   # Returns a new Enumerator if no block is given:
   #     table.each # => #<Enumerator: #<CSV::Table mode:col row_count:4>:each>
   #
-  def each: () -> Enumerator[Elem, self]
-          | () { (Elem) -> void } -> self
+  def each: () -> Enumerator[E, self]
+          | () { (E) -> void } -> self
           | () { (*untyped) -> void } -> self
 
   def empty?: (*untyped args) { (*untyped) -> untyped } -> untyped
@@ -3758,7 +3758,7 @@ class CSV::Table[out Elem] < Object
 end
 
 %a{annotate:rdoc:skip}
-class Array[unchecked out Elem] < Object
+class Array[unchecked out E] < Object
   # Equivalent to CSV::generate_line(self, options)
   #
   #   ["CSV", "data"].to_csv

data/stdlib/digest/0/digest.rbs

@@ -303,7 +303,7 @@ module Digest::Instance
   # uninitialized.  Do not call this method from outside.  Use #digest!() instead,
   # which ensures that internal data be reset for security reasons.
   #
-  def finish: () -> self
+  def finish: () -> String
 end
 
 # <!-- rdoc-file=ext/digest/digest.c -->

data/stdlib/etc/0/etc.rbs

@@ -295,7 +295,7 @@ module Etc
   #     Etc.sysconf(Etc::SC_ARG_MAX) #=> 2097152
   #     Etc.sysconf(Etc::SC_LOGIN_NAME_MAX) #=> 256
   #
-  def self?.sysconf: (::Integer p1) -> ::Integer
+  def self?.sysconf: (::Integer p1) -> ::Integer?
 
   # <!--
   #   rdoc-file=ext/etc/etc.c
@@ -318,7 +318,7 @@ module Etc
   # -->
   # Returns system temporary directory; typically "/tmp".
   #
-  def self?.systmpdir: () -> ::String
+  def self?.systmpdir: () -> ::String?
 
   # <!--
   #   rdoc-file=ext/etc/etc.c
@@ -709,7 +709,8 @@ module Etc
     #     Etc::Group.collect {|g| g.name}
     #     Etc::Group.select {|g| !g.mem.empty?}
     #
-    def self.each: () -> untyped
+    def self.each: () { (::Etc::Group) -> void } -> singleton(::Etc::Group)
+                 | () -> ::Enumerator[::Etc::Group]
 
     def self.inspect: () -> untyped
 
@@ -817,7 +818,8 @@ module Etc
     #     Etc::Passwd.collect {|u| u.gecos}
     #     Etc::Passwd.collect {|u| u.gecos}
     #
-    def self.each: () -> untyped
+    def self.each: () { (::Etc::Passwd) -> void } -> singleton(::Etc::Passwd)
+                 | () -> ::Enumerator[::Etc::Passwd]
 
     def self.inspect: () -> untyped
 
@@ -827,10 +829,18 @@ module Etc
 
     def self.new: (*untyped) -> untyped
 
+    def age: () -> Integer
+
+    def age=: (Integer new_age) -> void
+
     def change: () -> Integer
 
     def change=: (Integer new_change) -> void
 
+    def comment: () -> String
+
+    def comment=: (String new_comment) -> void
+
     def dir: () -> String
 
     def dir=: (String new_dir) -> void
@@ -855,6 +865,10 @@ module Etc
 
     def passwd=: (String new_passwd) -> void
 
+    def quota: () -> Integer
+
+    def quota=: (Integer new_quota) -> void
+
     def shell: () -> String
 
     def shell=: (String new_shell) -> void

data/stdlib/fileutils/0/fileutils.rbs

@@ -189,7 +189,7 @@ module FileUtils
   %a{deprecated: Use top-level `path` instead}
   type path = ::path
 
-  type pathlist = path | Array[path]
+  type pathlist = ::path | Array[::path]
 
   # <!--
   #   rdoc-file=lib/fileutils.rb
@@ -228,8 +228,8 @@ module FileUtils
   #
   # Related: FileUtils.pwd.
   #
-  def self?.cd: (path dir, ?verbose: boolish) -> void
-              | [X] (path dir, ?verbose: boolish) { (String) -> X } -> X
+  def self?.cd: (::path dir, ?verbose: boolish) -> void
+              | [X] (::path dir, ?verbose: boolish) { (String) -> X } -> X
 
   # <!--
   #   rdoc-file=lib/fileutils.rb
@@ -444,7 +444,7 @@ module FileUtils
   #
   # Related: FileUtils.compare_stream.
   #
-  def self?.compare_file: (path a, path b) -> bool
+  def self?.compare_file: (::path a, ::path b) -> bool
 
   # <!--
   #   rdoc-file=lib/fileutils.rb
@@ -538,7 +538,7 @@ module FileUtils
   #
   # Related: [methods for copying](rdoc-ref:FileUtils@Copying).
   #
-  def self?.copy_entry: (path src, path dest, ?boolish preserve, ?boolish dereference_root, ?boolish remove_destination) -> void
+  def self?.copy_entry: (::path src, ::path dest, ?boolish preserve, ?boolish dereference_root, ?boolish remove_destination) -> void
 
   # <!--
   #   rdoc-file=lib/fileutils.rb
@@ -565,7 +565,7 @@ module FileUtils
   #
   # Related: [methods for copying](rdoc-ref:FileUtils@Copying).
   #
-  def self?.copy_file: (path src, path dest, ?boolish preserve, ?boolish dereference) -> void
+  def self?.copy_file: (::path src, ::path dest, ?boolish preserve, ?boolish dereference) -> void
 
   # <!--
   #   rdoc-file=lib/fileutils.rb
@@ -633,7 +633,7 @@ module FileUtils
   #
   # Related: [methods for copying](rdoc-ref:FileUtils@Copying).
   #
-  def self?.cp: (pathlist src, path dest, ?preserve: boolish, ?noop: boolish, ?verbose: boolish) -> void
+  def self?.cp: (pathlist src, ::path dest, ?preserve: boolish, ?noop: boolish, ?verbose: boolish) -> void
 
   # <!--
   #   rdoc-file=lib/fileutils.rb
@@ -750,7 +750,7 @@ module FileUtils
   #
   # Related: [methods for copying](rdoc-ref:FileUtils@Copying).
   #
-  def self?.cp_lr: (pathlist src, path dest, ?noop: boolish, ?verbose: boolish, ?dereference_root: boolish, ?remove_destination: boolish) -> void
+  def self?.cp_lr: (pathlist src, ::path dest, ?noop: boolish, ?verbose: boolish, ?dereference_root: boolish, ?remove_destination: boolish) -> void
 
   # <!--
   #   rdoc-file=lib/fileutils.rb
@@ -856,7 +856,7 @@ module FileUtils
   #
   # Related: [methods for copying](rdoc-ref:FileUtils@Copying).
   #
-  def self?.cp_r: (pathlist src, path dest, ?preserve: boolish, ?noop: boolish, ?verbose: boolish, ?dereference_root: boolish, ?remove_destination: boolish) -> void
+  def self?.cp_r: (pathlist src, ::path dest, ?preserve: boolish, ?noop: boolish, ?verbose: boolish, ?dereference_root: boolish, ?remove_destination: boolish) -> void
 
   # <!--
   #   rdoc-file=lib/fileutils.rb
@@ -937,7 +937,7 @@ module FileUtils
   #
   # Related: [methods for copying](rdoc-ref:FileUtils@Copying).
   #
-  def self?.install: (path src, path dest, ?mode: mode?, ?owner: String?, ?group: String?, ?preserve: boolish, ?noop: boolish, ?verbose: boolish) -> void
+  def self?.install: (::path src, ::path dest, ?mode: mode?, ?owner: String?, ?group: String?, ?preserve: boolish, ?noop: boolish, ?verbose: boolish) -> void
 
   # <!--
   #   rdoc-file=lib/fileutils.rb
@@ -986,7 +986,7 @@ module FileUtils
   #
   # Related: FileUtils.ln (has different options).
   #
-  def self?.link_entry: (path src, path dest, ?boolish dereference_root, ?boolish remove_destination) -> void
+  def self?.link_entry: (::path src, ::path dest, ?boolish dereference_root, ?boolish remove_destination) -> void
 
   # <!--
   #   rdoc-file=lib/fileutils.rb
@@ -1044,7 +1044,7 @@ module FileUtils
   #
   # Related: FileUtils.link_entry (has different options).
   #
-  def self?.ln: (pathlist src, path dest, ?force: boolish, ?noop: boolish, ?verbose: boolish) -> void
+  def self?.ln: (pathlist src, ::path dest, ?force: boolish, ?noop: boolish, ?verbose: boolish) -> void
 
   # <!--
   #   rdoc-file=lib/fileutils.rb
@@ -1131,7 +1131,7 @@ module FileUtils
   #
   # Related: FileUtils.ln_sf.
   #
-  def self?.ln_s: (pathlist src, path dest, ?force: boolish, ?relative: boolish, ?target_directory: boolish, ?noop: boolish, ?verbose: boolish) -> void
+  def self?.ln_s: (pathlist src, ::path dest, ?force: boolish, ?relative: boolish, ?target_directory: boolish, ?noop: boolish, ?verbose: boolish) -> void
 
   # <!--
   #   rdoc-file=lib/fileutils.rb
@@ -1154,7 +1154,7 @@ module FileUtils
   # Like FileUtils.ln_s, but always with keyword argument <code>force: true</code>
   # given.
   #
-  def self?.ln_sf: (pathlist src, path dest, ?noop: boolish, ?verbose: boolish) -> void
+  def self?.ln_sf: (pathlist src, ::path dest, ?noop: boolish, ?verbose: boolish) -> void
 
   # <!--
   #   rdoc-file=lib/fileutils.rb
@@ -1162,7 +1162,7 @@ module FileUtils
   # -->
   # Like FileUtils.ln_s, but create links relative to `dest`.
   #
-  def self?.ln_sr: (pathlist src, path dest, ?target_directory: boolish, ?noop: boolish, ?verbose: boolish) -> void
+  def self?.ln_sr: (pathlist src, ::path dest, ?target_directory: boolish, ?noop: boolish, ?verbose: boolish) -> void
 
   # <!--
   #   rdoc-file=lib/fileutils.rb
@@ -1339,7 +1339,7 @@ module FileUtils
   #         mv src0 dest0
   #         mv src1.txt src1 dest1
   #
-  def self?.mv: (pathlist src, path dest, ?force: boolish, ?noop: boolish, ?verbose: boolish, ?secure: boolish) -> void
+  def self?.mv: (pathlist src, ::path dest, ?force: boolish, ?noop: boolish, ?verbose: boolish, ?secure: boolish) -> void
 
   # <!--
   #   rdoc-file=lib/fileutils.rb
@@ -1418,7 +1418,7 @@ module FileUtils
   #
   # Related: [methods for deleting](rdoc-ref:FileUtils@Deleting).
   #
-  def self?.remove_dir: (path path, ?boolish force) -> void
+  def self?.remove_dir: (::path path, ?boolish force) -> void
 
   # <!--
   #   rdoc-file=lib/fileutils.rb
@@ -1435,7 +1435,7 @@ module FileUtils
   #
   # Related: FileUtils.remove_entry_secure.
   #
-  def self?.remove_entry: (path path, ?boolish force) -> void
+  def self?.remove_entry: (::path path, ?boolish force) -> void
 
   # <!--
   #   rdoc-file=lib/fileutils.rb
@@ -1456,7 +1456,7 @@ module FileUtils
   #
   # Related: [methods for deleting](rdoc-ref:FileUtils@Deleting).
   #
-  def self?.remove_entry_secure: (path path, ?boolish force) -> void
+  def self?.remove_entry_secure: (::path path, ?boolish force) -> void
 
   # <!--
   #   rdoc-file=lib/fileutils.rb
@@ -1473,7 +1473,7 @@ module FileUtils
   #
   # Related: [methods for deleting](rdoc-ref:FileUtils@Deleting).
   #
-  def self?.remove_file: (path path, ?boolish force) -> void
+  def self?.remove_file: (::path path, ?boolish force) -> void
 
   # <!--
   #   rdoc-file=lib/fileutils.rb
@@ -1749,5 +1749,5 @@ module FileUtils
   #
   # Related: FileUtils.touch.
   #
-  def self?.uptodate?: (path new, _Each[path] old_list) -> bool
+  def self?.uptodate?: (::path new, _Each[::path] old_list) -> bool
 end

data/stdlib/json/0/json.rbs

@@ -1307,7 +1307,7 @@ class Hash[unchecked out K, unchecked out V]
 end
 
 %a{annotate:rdoc:skip}
-class Array[unchecked out Elem]
+class Array[unchecked out E]
   # Returns a JSON string containing a JSON array, that is generated from
   # this Array instance.
   # _state_ is a JSON::State object, that can also be used to configure the
@@ -1616,7 +1616,7 @@ class OpenStruct
 end
 
 %a{annotate:rdoc:skip}
-class Range[out Elem]
+class Range[out E]
   # <!--
   #   rdoc-file=ext/json/lib/json/add/range.rb
   #   - json_create(object)
@@ -1648,7 +1648,7 @@ class Range[out Elem]
   #     Range.json_create(y) # => 1...4
   #     Range.json_create(z) # => "a".."d"
   #
-  def as_json: (*untyped) -> Hash[String, String | [ Elem, Elem, bool ]]
+  def as_json: (*untyped) -> Hash[String, String | [ E, E, bool ]]
 
   # <!--
   #   rdoc-file=ext/json/lib/json/add/range.rb
@@ -1815,14 +1815,14 @@ class Set[unchecked out A]
 end
 
 %a{annotate:rdoc:skip}
-class Struct[Elem]
+class Struct[E]
   # <!--
   #   rdoc-file=ext/json/lib/json/add/struct.rb
   #   - json_create(object)
   # -->
   # See #as_json.
   #
-  def self.json_create: [Elem] (Hash[String, String | Array[Elem]] object) -> Struct[Elem]
+  def self.json_create: [E] (Hash[String, String | Array[E]] object) -> Struct[E]
 
   # <!--
   #   rdoc-file=ext/json/lib/json/add/struct.rb
@@ -1846,7 +1846,7 @@ class Struct[Elem]
   #     Struct::Customer.json_create(x)
   #     # => #<struct Struct::Customer name=nil, address=nil, zip=nil>
   #
-  def as_json: (*untyped) -> Hash[String, String | Array[Elem]]
+  def as_json: (*untyped) -> Hash[String, String | Array[E]]
 
   # <!--
   #   rdoc-file=ext/json/lib/json/add/struct.rb

data/stdlib/openssl/0/openssl.rbs

@@ -2100,7 +2100,7 @@ module OpenSSL
     #
     # See IO#read for full details.
     #
-    def read: (?Integer? size, ?String buf) -> String?
+    def read: (?Integer? size, ?String? buf) -> String?
 
     # <!--
     #   rdoc-file=ext/openssl/lib/openssl/buffering.rb
@@ -2139,8 +2139,8 @@ module OpenSSL
     # symbol <code>:wait_writable</code> or <code>:wait_readable</code> instead. At
     # EOF, it will return `nil` instead of raising EOFError.
     #
-    def read_nonblock: (Integer maxlen, ?String buf, ?exception: true) -> String
-                     | (Integer maxlen, ?String buf, exception: false) -> (String | :wait_writable | :wait_readable | nil)
+    def read_nonblock: (Integer maxlen, ?String? buf, ?exception: true) -> String
+                     | (Integer maxlen, ?String? buf, exception: false) -> (String | :wait_writable | :wait_readable | nil)
 
     # <!--
     #   rdoc-file=ext/openssl/lib/openssl/buffering.rb
@@ -2180,7 +2180,7 @@ module OpenSSL
     #
     # See IO#readpartial for full details.
     #
-    def readpartial: (Integer maxlen, ?String buf) -> String
+    def readpartial: (Integer maxlen, ?String? buf) -> String
 
     # <!-- rdoc-file=ext/openssl/lib/openssl/buffering.rb -->
     # The "sync mode" of the SSLSocket.
@@ -8570,7 +8570,7 @@ module OpenSSL
       # The callback is invoked with an SSLSocket.  If `false` is returned the session
       # will be removed from the internal cache.
       #
-      def session_new_cb: () -> (^(SSLSocket) -> untyped | nil)
+      def session_new_cb: () -> (^(SSLSocket, Session) -> untyped | nil)
 
       # <!-- rdoc-file=ext/openssl/ossl_ssl.c -->
       # A callback invoked when a new session was negotiated.
@@ -8578,7 +8578,7 @@ module OpenSSL
       # The callback is invoked with an SSLSocket.  If `false` is returned the session
       # will be removed from the internal cache.
       #
-      def session_new_cb=: (^(SSLSocket) -> untyped) -> ^(SSLSocket) -> untyped
+      def session_new_cb=: (^(SSLSocket, Session) -> untyped) -> ^(SSLSocket, Session) -> untyped
 
       # <!--
       #   rdoc-file=ext/openssl/ossl_ssl.c
@@ -9235,7 +9235,7 @@ module OpenSSL
       # Reads *length* bytes from the SSL connection.  If a pre-allocated *buffer* is
       # provided the data will be written into it.
       #
-      def sysread: (Integer length, ?String buffer) -> String
+      def sysread: (Integer length, ?String? buffer) -> String
 
       # <!--
       #   rdoc-file=ext/openssl/ossl_ssl.c

data/stdlib/resolv/0/resolv.rbs

@@ -134,7 +134,7 @@ class Resolv
   # DNS resolver.  If `resolvers` is a hash, uses the hash as configuration for
   # the DNS resolver.
   #
-  def initialize: (?Resolv::Hosts | Resolv::DNS resolvers) -> untyped
+  def initialize: (?(Array[Resolv::Hosts | Resolv::DNS] | Hash[Symbol, untyped])? resolvers, ?use_ipv6: bool?) -> untyped
 end
 
 # <!-- rdoc-file=lib/resolv.rb -->

data/stdlib/shellwords/0/shellwords.rbs

@@ -191,7 +191,7 @@ module Shellwords
 end
 
 %a{annotate:rdoc:skip}
-class Array[unchecked out Elem]
+class Array[unchecked out E]
   # <!--
   #   rdoc-file=lib/shellwords.rb
   #   - array.shelljoin => string

data/stdlib/stringio/0/stringio.rbs

@@ -560,7 +560,8 @@ class StringIO
   #
   # Related: StringIO.new.
   #
-  def self.open: [U] (?String string, ?String? mode) { (StringIO arg) -> U } -> U
+  def self.open: (?String string, ?String? mode) -> StringIO
+               | [U] (?String string, ?String? mode) { (StringIO arg) -> U } -> U
 
   def <<: (untyped arg0) -> self
 
@@ -970,7 +971,7 @@ class StringIO
   # -->
   # Raises NotImplementedError.
   #
-  def fcntl: (Integer integer_cmd, String | Integer arg) -> Integer
+  def fcntl: (*untyped) -> bot
 
   # <!--
   #   rdoc-file=ext/stringio/stringio.c
@@ -994,7 +995,7 @@ class StringIO
   # -->
   # Returns 0; for compatibility with IO.
   #
-  def fsync: () -> Integer?
+  def fsync: () -> Integer
 
   # <!--
   #   rdoc-file=ext/stringio/stringio.c
@@ -1190,7 +1191,7 @@ class StringIO
   # -->
   # Returns `nil`; for compatibility with IO.
   #
-  def internal_encoding: () -> Encoding
+  def internal_encoding: () -> nil
 
   # <!--
   #   rdoc-file=ext/stringio/stringio.c
@@ -1207,7 +1208,7 @@ class StringIO
   #     strio = StringIO.new(nil, 'w+')
   #     strio.external_encoding # => nil
   #
-  def external_encoding: () -> Encoding
+  def external_encoding: () -> Encoding?
 
   # <!--
   #   rdoc-file=ext/stringio/stringio.c
@@ -1281,9 +1282,18 @@ class StringIO
   # -->
   # See IO#read.
   #
-  def read: (?int? length, ?string outbuf) -> String?
+  def read: (?int? length, ?string? outbuf) -> String?
 
-  def read_nonblock: (int len, ?string buf) -> String
+  # <!--
+  #   rdoc-file=ext/stringio/stringio.c
+  #   - pread(maxlen, offset)             -> string
+  #   - pread(maxlen, offset, out_string) -> string
+  # -->
+  # See IO#pread.
+  #
+  def pread: (Integer maxlen, Integer offset, ?String? outbuf) -> String
+
+  def read_nonblock: (int len, ?string? buf, ?exception: bool) -> String?
 
   def readbyte: () -> Integer
 
@@ -1301,7 +1311,7 @@ class StringIO
   #
   def readlines: (?String sep, ?Integer limit, ?chomp: boolish) -> ::Array[String]
 
-  def readpartial: (int maxlen, ?string outbuf) -> String
+  def readpartial: (int maxlen, ?string? outbuf) -> String
 
   # <!--
   #   rdoc-file=ext/stringio/stringio.c
@@ -1358,6 +1368,16 @@ class StringIO
   def set_encoding: (?String | Encoding ext_or_ext_int_enc) -> self
                   | (?String | Encoding ext_or_ext_int_enc, ?String | Encoding int_enc) -> self
 
+  # <!--
+  #   rdoc-file=ext/stringio/stringio.c
+  #   - strio.set_encoding_by_bom  => strio or nil
+  # -->
+  # Sets the encoding according to the BOM (Byte Order Mark) in the string.
+  #
+  # Returns `self` if the BOM is found, otherwise +nil.
+  #
+  def set_encoding_by_bom: () -> Encoding?
+
   # <!--
   #   rdoc-file=ext/stringio/stringio.c
   #   - string -> string
@@ -1429,7 +1449,7 @@ class StringIO
   #
   def sync=: (boolish) -> bool
 
-  def sysread: (Integer maxlen, String outbuf) -> String
+  def sysread: (Integer maxlen, ?String? outbuf) -> String
 
   def syswrite: (String arg0) -> Integer
 
@@ -1472,7 +1492,7 @@ class StringIO
   # Pushes back ("unshifts") a character or integer onto the stream; see
   # [Character IO](rdoc-ref:IO@Character+IO).
   #
-  def ungetc: (String arg0) -> nil
+  def ungetc: (String | Integer arg0) -> nil
 
   # <!--
   #   rdoc-file=ext/stringio/stringio.c
@@ -1485,6 +1505,8 @@ class StringIO
   #
   def write: (*_ToS) -> Integer
 
+  def write_nonblock: (_ToS s, ?exception: bool) -> Integer
+
   # This is a deprecated alias for #each_byte.
   #
   def bytes: () { (Integer arg0) -> untyped } -> self