rbs 0.6.0 → 0.10.0

data/lib/rbs/test/type_check.rb

@@ -3,11 +3,17 @@ module RBS
     class TypeCheck
       attr_reader :self_class
       attr_reader :builder
+      attr_reader :sample_size
 
-      def initialize(self_class:, builder:, sampling:)
+      attr_reader :const_cache
+
+      DEFAULT_SAMPLE_SIZE = 100
+
+      def initialize(self_class:, builder:, sample_size:)
         @self_class = self_class
         @builder = builder
-        @sampling = sampling
+        @sample_size = sample_size
+        @const_cache = {}
       end
 
       def overloaded_call(method, method_name, call, errors:)
@@ -176,12 +182,25 @@ module RBS
         end
       end
 
-      def sampling?
-        !!@sampling
+      def each_sample(array, &block)
+        if block
+          if sample_size && array.size > sample_size
+            if sample_size > 0
+              size = array.size
+              sample_size.times do
+                yield array[rand(size)]
+              end
+            end
+          else
+            array.each(&block)
+          end
+        else
+          enum_for :each_sample, array
+        end
       end
 
-      def sample(array)
-        array.size > 100 && sampling? ? array.sample(100) : array
+      def get_class(type_name)
+        const_cache[type_name] ||= Object.const_get(type_name.to_s)
       end
 
       def value(val, type)
@@ -205,17 +224,14 @@ module RBS
         when Types::Bases::Instance
           Test.call(val, IS_AP, self_class)
         when Types::ClassInstance
-          klass = Object.const_get(type.name.to_s)
+          klass = get_class(type.name)
           case
           when klass == ::Array
-            Test.call(val, IS_AP, klass) && sample(val).yield_self do |val|
-              val.all? {|v| value(v, type.args[0]) }
-            end
+            Test.call(val, IS_AP, klass) && each_sample(val).all? {|v| value(v, type.args[0]) }
           when klass == ::Hash
-            Test.call(val, IS_AP, klass) && sample(val.keys).yield_self do |keys|
-              values = val.values_at(*keys)
-              keys.all? {|key| value(key, type.args[0]) } && values.all? {|v| value(v, type.args[1]) }
-            end 
+            Test.call(val, IS_AP, klass) && each_sample(val.keys).all? do |key|
+              value(key, type.args[0]) && value(val[key], type.args[1])
+            end
           when klass == ::Range
             Test.call(val, IS_AP, klass) && value(val.begin, type.args[0]) && value(val.end, type.args[0])
           when klass == ::Enumerator
@@ -236,7 +252,7 @@ module RBS
                 end
               end
 
-              sample(values).all? do |v|
+              each_sample(values).all? do |v|
                 if v.size == 1
                   # Only one block argument.
                   value(v[0], type.args[0]) || value(v, type.args[0])
@@ -254,7 +270,7 @@ module RBS
             Test.call(val, IS_AP, klass)
           end
         when Types::ClassSingleton
-          klass = Object.const_get(type.name.to_s)
+          klass = get_class(type.name)
           val == klass
         when Types::Interface
           methods = Set.new(Test.call(val, METHODS))

data/lib/rbs/validator.rb

@@ -41,6 +41,10 @@ module RBS
           params: type_params.each.map(&:name),
           location: type.location
         )
+
+      when Types::Alias, Types::ClassSingleton
+        type = absolute_type(type, context: context) { type.name.absolute! }
+        NoTypeFoundError.check!(type.name, env: env, location: type.location)
       end
 
       type.each_type do |type|

data/lib/rbs/version.rb

@@ -1,3 +1,3 @@
 module RBS
-  VERSION = "0.6.0"
+  VERSION = "0.10.0"
 end

data/lib/rbs/writer.rb

@@ -251,8 +251,7 @@ module RBS
       string = ""
 
       attrs = member.attributes.empty? ? "" : member.attributes.join(" ") + " "
-      overload = member.overload? ? "overload " : ""
-      prefix = "#{overload}#{attrs}def #{name}:"
+      prefix = "#{attrs}def #{name}:"
       padding = " " * (prefix.size-1)
 
       string << prefix
@@ -266,6 +265,12 @@ module RBS
         string << " #{type}\n"
       end
 
+      if member.overload
+        string << padding
+        string << "|"
+        string << " ...\n"
+      end
+
       string.each_line do |line|
         puts line.chomp
       end

data/stdlib/builtin/enumerable.rbs

@@ -46,7 +46,7 @@ module Enumerable[unchecked out Elem, out Return]: _Each[Elem, Return]
             | () { (Elem arg0) -> untyped } -> bool
 
   def collect: [U] () { (Elem arg0) -> U } -> ::Array[U]
-             | () -> ::Enumerator[Elem, Return]
+             | () -> ::Enumerator[Elem, ::Array[untyped]]
 
   def collect_concat: [U] () { (Elem arg0) -> ::Enumerator[U, untyped] } -> ::Array[U]
 
@@ -317,7 +317,7 @@ module Enumerable[unchecked out Elem, out Return]: _Each[Elem, Return]
               | () -> ::Enumerator[Elem, Return]
 
   def map: [U] () { (Elem arg0) -> U } -> ::Array[U]
-         | () -> ::Enumerator[Elem, Return]
+         | () -> ::Enumerator[Elem, ::Array[untyped]]
 
   def member?: (untyped arg0) -> bool
 

data/stdlib/json/json.rbs

@@ -42,6 +42,9 @@ end
 class JSON::Ext::Generator::State
 end
 
+class JSON::Ext::Parser
+end
+
 module JSON::Pure
 end
 
@@ -51,6 +54,9 @@ end
 class JSON::Pure::Generator::State
 end
 
+class JSON::Pure::Parser
+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)

data/stdlib/pty/pty.rbs

@@ -0,0 +1,159 @@
+# Creates and manages pseudo terminals (PTYs).  See also
+# http://en.wikipedia.org/wiki/Pseudo_terminal
+#
+# PTY allows you to allocate new terminals using ::open or ::spawn a new
+# terminal with a specific command.
+#
+# ## Example
+#
+# In this example we will change the buffering type in the `factor` command,
+# assuming that factor uses stdio for stdout buffering.
+#
+# If IO.pipe is used instead of PTY.open, this code deadlocks because factor's
+# stdout is fully buffered.
+#
+#     # start by requiring the standard library PTY
+#     require 'pty'
+#
+#     master, slave = PTY.open
+#     read, write = IO.pipe
+#     pid = spawn("factor", :in=>read, :out=>slave)
+#     read.close     # we dont need the read
+#     slave.close    # or the slave
+#
+#     # pipe "42" to the factor command
+#     write.puts "42"
+#     # output the response from factor
+#     p master.gets #=> "42: 2 3 7\n"
+#
+#     # pipe "144" to factor and print out the response
+#     write.puts "144"
+#     p master.gets #=> "144: 2 2 2 2 3 3\n"
+#     write.close # close the pipe
+#
+#     # The result of read operation when pty slave is closed is platform
+#     # dependent.
+#     ret = begin
+#             master.gets     # FreeBSD returns nil.
+#           rescue Errno::EIO # GNU/Linux raises EIO.
+#             nil
+#           end
+#     p ret #=> nil
+#
+# ## License
+#
+#     C) Copyright 1998 by Akinori Ito.
+#
+#     This software may be redistributed freely for this purpose, in full
+#     or in part, provided that this entire copyright notice is included
+#     on any copies of this software and applications and derivations thereof.
+#
+#     This software is provided on an "as is" basis, without warranty of any
+#     kind, either expressed or implied, as to any matter including, but not
+#     limited to warranty of fitness of purpose, or merchantability, or
+#     results obtained from use of this software.
+#
+module PTY
+  # Checks the status of the child process specified by `pid`. Returns `nil` if
+  # the process is still alive.
+  #
+  # If the process is not alive, and `raise` was true, a PTY::ChildExited
+  # exception will be raised. Otherwise it will return a Process::Status instance.
+  #
+  # `pid`
+  # :   The process id of the process to check
+  # `raise`
+  # :   If `true` and the process identified by `pid` is no longer alive a
+  #     PTY::ChildExited is raised.
+  def self.check: (Integer pid) -> (Process::Status | nil)
+                | (Integer pid, FalseClass raise) -> (Process::Status | nil)
+                | (Integer pid, TrueClass raise) -> nil
+
+  # Spawns the specified command on a newly allocated pty. You can also use the
+  # alias ::getpty.
+  #
+  # The command's controlling tty is set to the slave device of the pty and its
+  # standard input/output/error is redirected to the slave device.
+  #
+  # `command` and `command_line` are the full commands to run, given a String. Any
+  # additional `arguments` will be passed to the command.
+  #
+  # ### Return values
+  #
+  # In the non-block form this returns an array of size three, `[r, w, pid]`.
+  #
+  # In the block form these same values will be yielded to the block:
+  #
+  # `r`
+  # :   A readable IO that contains the command's standard output and standard
+  #     error
+  # `w`
+  # :   A writable IO that is the command's standard input
+  # `pid`
+  # :   The process identifier for the command.
+  def self.getpty: (*String command) -> [ IO, IO, Integer ]
+                 | (*String command) { ([ IO ,IO , Integer ]) -> untyped } -> untyped
+
+  # Allocates a pty (pseudo-terminal).
+  #
+  # In the block form, yields two arguments `master_io, slave_file` and the value
+  # of the block is returned from `open`.
+  #
+  # The IO and File are both closed after the block completes if they haven't been
+  # already closed.
+  #
+  #     PTY.open {|master, slave|
+  #       p master      #=> #<IO:masterpty:/dev/pts/1>
+  #       p slave      #=> #<File:/dev/pts/1>
+  #       p slave.path #=> "/dev/pts/1"
+  #     }
+  #
+  # In the non-block form, returns a two element array, `[master_io, slave_file]`.
+  #
+  #     master, slave = PTY.open
+  #     # do something with master for IO, or the slave file
+  #
+  # The arguments in both forms are:
+  #
+  # `master_io`
+  # :   the master of the pty, as an IO.
+  # `slave_file`
+  # :   the slave of the pty, as a File.  The path to the terminal device is
+  #     available via `slave_file.path`
+  #
+  #
+  # IO#raw! is usable to disable newline conversions:
+  #
+  #     require 'io/console'
+  #     PTY.open {|m, s|
+  #       s.raw!
+  #       ...
+  #     }
+  def self.open: () -> [ IO, File ]
+               | () { ([ IO , File ]) -> untyped } -> untyped
+
+  # Spawns the specified command on a newly allocated pty. You can also use the
+  # alias ::getpty.
+  #
+  # The command's controlling tty is set to the slave device of the pty and its
+  # standard input/output/error is redirected to the slave device.
+  #
+  # `command` and `command_line` are the full commands to run, given a String. Any
+  # additional `arguments` will be passed to the command.
+  #
+  # ### Return values
+  #
+  # In the non-block form this returns an array of size three, `[r, w, pid]`.
+  #
+  # In the block form these same values will be yielded to the block:
+  #
+  # `r`
+  # :   A readable IO that contains the command's standard output and standard
+  #     error
+  # `w`
+  # :   A writable IO that is the command's standard input
+  # `pid`
+  # :   The process identifier for the command.
+  def self.spawn: (*String command) -> [ IO, IO, Integer ]
+                | (*String command) {([ IO , IO , Integer ]) -> untyped } -> untyped
+end

data/stdlib/zlib/zlib.rbs

@@ -0,0 +1,392 @@
+# This module provides access to the [zlib library](http://zlib.net). Zlib is
+# designed to be a portable, free, general-purpose, legally unencumbered -- that
+# is, not covered by any patents -- lossless data-compression library for use on
+# virtually any computer hardware and operating system.
+#
+# The zlib compression library provides in-memory compression and decompression
+# functions, including integrity checks of the uncompressed data.
+#
+# The zlib compressed data format is described in RFC 1950, which is a wrapper
+# around a deflate stream which is described in RFC 1951.
+#
+# The library also supports reading and writing files in gzip (.gz) format with
+# an interface similar to that of IO. The gzip format is described in RFC 1952
+# which is also a wrapper around a deflate stream.
+#
+# The zlib format was designed to be compact and fast for use in memory and on
+# communications channels. The gzip format was designed for single-file
+# compression on file systems, has a larger header than zlib to maintain
+# directory information, and uses a different, slower check method than zlib.
+#
+# See your system's zlib.h for further information about zlib
+#
+# ## Sample usage
+#
+# Using the wrapper to compress strings with default parameters is quite simple:
+#
+#     require "zlib"
+#
+#     data_to_compress = File.read("don_quixote.txt")
+#
+#     puts "Input size: #{data_to_compress.size}"
+#     #=> Input size: 2347740
+#
+#     data_compressed = Zlib::Deflate.deflate(data_to_compress)
+#
+#     puts "Compressed size: #{data_compressed.size}"
+#     #=> Compressed size: 887238
+#
+#     uncompressed_data = Zlib::Inflate.inflate(data_compressed)
+#
+#     puts "Uncompressed data is: #{uncompressed_data}"
+#     #=> Uncompressed data is: The Project Gutenberg EBook of Don Quixote...
+#
+# ## Class tree
+#
+# *   Zlib::Deflate
+# *   Zlib::Inflate
+# *   Zlib::ZStream
+# *   Zlib::Error
+#     *   Zlib::StreamEnd
+#     *   Zlib::NeedDict
+#     *   Zlib::DataError
+#     *   Zlib::StreamError
+#     *   Zlib::MemError
+#     *   Zlib::BufError
+#     *   Zlib::VersionError
+#
+#
+#
+# (if you have GZIP_SUPPORT)
+# *   Zlib::GzipReader
+# *   Zlib::GzipWriter
+# *   Zlib::GzipFile
+# *   Zlib::GzipFile::Error
+#     *   Zlib::GzipFile::LengthError
+#     *   Zlib::GzipFile::CRCError
+#     *   Zlib::GzipFile::NoFooter
+#
+#
+#
+module Zlib
+  # Calculates Adler-32 checksum for `string`, and returns updated value of
+  # `adler`. If `string` is omitted, it returns the Adler-32 initial value. If
+  # `adler` is omitted, it assumes that the initial value is given to `adler`.
+  #
+  # Example usage:
+  #
+  #     require "zlib"
+  #
+  #     data = "foo"
+  #     puts "Adler32 checksum: #{Zlib.adler32(data).to_s(16)}"
+  #     #=> Adler32 checksum: 2820145
+  #
+  def self.adler32: () -> Integer
+                  | (String)  -> Integer
+                  | (String, Integer) -> Integer
+
+  # Combine two Adler-32 check values in to one.  `alder1` is the first Adler-32
+  # value, `adler2` is the second Adler-32 value.  `len2` is the length of the
+  # string used to generate `adler2`.
+  #
+  def self.adler32_combine: (Integer, Integer, Integer) -> Integer
+
+  # Calculates CRC checksum for `string`, and returns updated value of `crc`. If
+  # `string` is omitted, it returns the CRC initial value. If `crc` is omitted, it
+  # assumes that the initial value is given to `crc`.
+  #
+  # FIXME: expression.
+  #
+  def self.crc32: () -> Integer
+                | (String) -> Integer
+                | (String, Integer) -> Integer
+
+  # Combine two CRC-32 check values in to one.  `crc1` is the first CRC-32 value,
+  # `crc2` is the second CRC-32 value.  `len2` is the length of the string used to
+  # generate `crc2`.
+  #
+  def self.crc32_combine: (Integer, Integer, Integer) -> Integer
+
+  # Returns the table for calculating CRC checksum as an array.
+  #
+  def self.crc_table: () -> Array[Integer]
+
+  # Compresses the given `string`. Valid values of level are Zlib::NO_COMPRESSION,
+  # Zlib::BEST_SPEED, Zlib::BEST_COMPRESSION, Zlib::DEFAULT_COMPRESSION, or an
+  # integer from 0 to 9.
+  #
+  # This method is almost equivalent to the following code:
+  #
+  #     def deflate(string, level)
+  #       z = Zlib::Deflate.new(level)
+  #       dst = z.deflate(string, Zlib::FINISH)
+  #       z.close
+  #       dst
+  #     end
+  #
+  # See also Zlib.inflate
+  #
+  def self.deflate: (String) -> String
+                  | (String, Integer) -> String
+  # Decode the given gzipped `string`.
+  #
+  # This method is almost equivalent to the following code:
+  #
+  #     def gunzip(string)
+  #       sio = StringIO.new(string)
+  #       gz = Zlib::GzipReader.new(sio, encoding: Encoding::ASCII_8BIT)
+  #       gz.read
+  #     ensure
+  #       gz&.close
+  #     end
+  #
+  # See also Zlib.gzip
+  #
+  def self.gunzip: (String) -> String
+
+  # Gzip the given `string`. Valid values of level are Zlib::NO_COMPRESSION,
+  # Zlib::BEST_SPEED, Zlib::BEST_COMPRESSION, Zlib::DEFAULT_COMPRESSION (default),
+  # or an integer from 0 to 9.
+  #
+  # This method is almost equivalent to the following code:
+  #
+  #     def gzip(string, level: nil, strategy: nil)
+  #       sio = StringIO.new
+  #       sio.binmode
+  #       gz = Zlib::GzipWriter.new(sio, level, strategy)
+  #       gz.write(string)
+  #       gz.close
+  #       sio.string
+  #     end
+  #
+  # See also Zlib.gunzip
+  #
+  def self.gzip: (String) -> String
+               | (String, level: Integer) -> String
+               | (String, strategy: Integer) -> String
+               | (String, level: Integer, strategy: Integer) -> String
+  # Decompresses `string`. Raises a Zlib::NeedDict exception if a preset
+  # dictionary is needed for decompression.
+  #
+  # This method is almost equivalent to the following code:
+  #
+  #     def inflate(string)
+  #       zstream = Zlib::Inflate.new
+  #       buf = zstream.inflate(string)
+  #       zstream.finish
+  #       zstream.close
+  #       buf
+  #     end
+  #
+  # See also Zlib.deflate
+  #
+  def self.inflate: (String) -> String
+
+  # Returns the string which represents the version of zlib library.
+  #
+  def self.zlib_version: () -> String
+end
+
+# Represents text data as guessed by deflate.
+#
+# NOTE: The underlying constant Z_ASCII was deprecated in favor of Z_TEXT in
+# zlib 1.2.2.  New applications should not use this constant.
+#
+# See Zlib::Deflate#data_type.
+#
+#
+Zlib::ASCII: Integer
+
+# Slowest compression level, but with the best space savings.
+#
+#
+Zlib::BEST_COMPRESSION: Integer
+
+# Fastest compression level, but with the lowest space savings.
+#
+#
+Zlib::BEST_SPEED: Integer
+
+# Represents binary data as guessed by deflate.
+#
+# See Zlib::Deflate#data_type.
+#
+#
+Zlib::BINARY: Integer
+
+# Default compression level which is a good trade-off between space and time
+#
+Zlib::DEFAULT_COMPRESSION: Integer
+
+# Default deflate strategy which is used for normal data.
+#
+#
+Zlib::DEFAULT_STRATEGY: Integer
+
+# The default memory level for allocating zlib deflate compression state.
+#
+Zlib::DEF_MEM_LEVEL: Integer
+
+# Deflate strategy for data produced by a filter (or predictor). The effect of
+# FILTERED is to force more Huffman codes and less string matching; it is
+# somewhat intermediate between DEFAULT_STRATEGY and HUFFMAN_ONLY. Filtered data
+# consists mostly of small values with a somewhat random distribution.
+#
+Zlib::FILTERED: Integer
+
+# Processes all pending input and flushes pending output.
+#
+#
+Zlib::FINISH: Integer
+
+# Deflate strategy which prevents the use of dynamic Huffman codes, allowing for
+# a simpler decoder for specialized applications.
+#
+Zlib::FIXED: Integer
+
+# Flushes all output as with SYNC_FLUSH, and the compression state is reset so
+# that decompression can restart from this point if previous compressed data has
+# been damaged or if random access is desired. Like SYNC_FLUSH, using FULL_FLUSH
+# too often can seriously degrade compression.
+#
+Zlib::FULL_FLUSH: Integer
+
+# Deflate strategy which uses Huffman codes only (no string matching).
+#
+#
+Zlib::HUFFMAN_ONLY: Integer
+
+# The maximum memory level for allocating zlib deflate compression state.
+#
+Zlib::MAX_MEM_LEVEL: Integer
+
+# The maximum size of the zlib history buffer.  Note that zlib allows larger
+# values to enable different inflate modes.  See Zlib::Inflate.new for details.
+#
+Zlib::MAX_WBITS: Integer
+
+# No compression, passes through data untouched.  Use this for appending
+# pre-compressed data to a deflate stream.
+#
+Zlib::NO_COMPRESSION: Integer
+
+# NO_FLUSH is the default flush method and allows deflate to decide how much
+# data to accumulate before producing output in order to maximize compression.
+#
+Zlib::NO_FLUSH: Integer
+
+# OS code for Amiga hosts
+#
+#
+Zlib::OS_AMIGA: Integer
+
+# OS code for Atari hosts
+#
+#
+Zlib::OS_ATARI: Integer
+
+# The OS code of current host
+#
+#
+Zlib::OS_CODE: Integer
+
+# OS code for CP/M hosts
+#
+#
+Zlib::OS_CPM: Integer
+
+# OS code for Mac OS hosts
+#
+#
+Zlib::OS_MACOS: Integer
+
+# OS code for MSDOS hosts
+#
+#
+Zlib::OS_MSDOS: Integer
+
+# OS code for OS2 hosts
+#
+#
+Zlib::OS_OS2: Integer
+
+# OS code for QDOS hosts
+#
+#
+Zlib::OS_QDOS: Integer
+
+# OS code for RISC OS hosts
+#
+#
+Zlib::OS_RISCOS: Integer
+
+# OS code for TOPS-20 hosts
+#
+#
+Zlib::OS_TOPS20: Integer
+
+# OS code for UNIX hosts
+#
+#
+Zlib::OS_UNIX: Integer
+
+# OS code for unknown hosts
+#
+#
+Zlib::OS_UNKNOWN: Integer
+
+# OS code for VM OS hosts
+#
+#
+Zlib::OS_VMCMS: Integer
+
+# OS code for VMS hosts
+#
+#
+Zlib::OS_VMS: Integer
+
+# OS code for Win32 hosts
+#
+#
+Zlib::OS_WIN32: Integer
+
+# OS code for Z-System hosts
+#
+#
+Zlib::OS_ZSYSTEM: Integer
+
+# Deflate compression strategy designed to be almost as fast as HUFFMAN_ONLY,
+# but give better compression for PNG image data.
+#
+Zlib::RLE: Integer
+
+# The SYNC_FLUSH method flushes all pending output to the output buffer and the
+# output is aligned on a byte boundary. Flushing may degrade compression so it
+# should be used only when necessary, such as at a request or response boundary
+# for a network stream.
+#
+Zlib::SYNC_FLUSH: Integer
+
+# Represents text data as guessed by deflate.
+#
+# See Zlib::Deflate#data_type.
+#
+#
+Zlib::TEXT: Integer
+
+# Represents an unknown data type as guessed by deflate.
+#
+# See Zlib::Deflate#data_type.
+#
+#
+Zlib::UNKNOWN: Integer
+
+# The Ruby/zlib version string.
+#
+#
+Zlib::VERSION: String
+
+# The string which represents the version of zlib.h
+#
+#
+Zlib::ZLIB_VERSION: String