rbs 0.4.0 → 0.9.0

data/stdlib/logger/period.rbs

@@ -0,0 +1,7 @@
+module Logger::Period
+  def self?.next_rotate_time: (Time now, String shift_age) -> untyped
+
+  def self?.previous_period_end: (Time now, String shift_age) -> untyped
+
+  SiD: Integer
+end

data/stdlib/logger/severity.rbs

@@ -0,0 +1,8 @@
+module Logger::Severity
+  DEBUG: 0
+  INFO: 1
+  WARN: 2
+  ERROR: 3
+  FATAL: 4
+  UNKNOWN: 5
+end

data/stdlib/mutex_m/mutex_m.rbs

@@ -0,0 +1,77 @@
+# # mutex_m.rb
+#
+# When 'mutex_m' is required, any object that extends or includes Mutex_m will
+# be treated like a Mutex.
+#
+# Start by requiring the standard library Mutex_m:
+#
+#     require "mutex_m.rb"
+#
+# From here you can extend an object with Mutex instance methods:
+#
+#     obj = Object.new
+#     obj.extend Mutex_m
+#
+# Or mixin Mutex_m into your module to your class inherit Mutex instance methods
+# --- remember to call super() in your class initialize method.
+#
+#     class Foo
+#       include Mutex_m
+#       def initialize
+#         # ...
+#         super()
+#       end
+#       # ...
+#     end
+#     obj = Foo.new
+#     # this obj can be handled like Mutex
+#
+module Mutex_m
+  def self.append_features: (Module cl) -> untyped
+
+  def self.define_aliases: (Module cl) -> untyped
+
+  def self.extend_object: (Object obj) -> untyped
+
+  public
+
+  def mu_extended: () -> untyped
+
+  # See Mutex#lock
+  #
+  def mu_lock: () -> Thread::Mutex
+
+  # See Mutex#locked?
+  #
+  def mu_locked?: () -> bool
+
+  # See Mutex#synchronize
+  #
+  def mu_synchronize: [T] () { () -> T } -> T
+
+  # See Mutex#try_lock
+  #
+  def mu_try_lock: () -> bool
+
+  # See Mutex#unlock
+  #
+  def mu_unlock: () -> Thread::Mutex
+
+  # See Mutex#sleep
+  #
+  def sleep: (?Numeric timeout) -> Integer
+
+  alias locked? mu_locked?
+  alias lock mu_lock
+  alias unlock mu_unlock
+  alias try_lock mu_try_lock
+  alias synchronize mu_synchronize
+
+  private
+
+  def initialize: (*untyped args) -> untyped
+
+  def mu_initialize: () -> untyped
+end
+
+Mutex_m::VERSION: String

data/stdlib/pathname/pathname.rbs

@@ -1066,17 +1066,17 @@ class Pathname
   def prepend_prefix: (untyped prefix, untyped relpath) -> untyped
 
   def split_names: (untyped path) -> untyped
-end
 
-Pathname::SAME_PATHS: Proc
+  SAME_PATHS: Proc
 
-Pathname::SEPARATOR_LIST: String
+  SEPARATOR_LIST: String
 
-Pathname::SEPARATOR_PAT: Regexp
+  SEPARATOR_PAT: Regexp
 
-Pathname::TO_PATH: Symbol
+  TO_PATH: Symbol
+end
 
-extension Kernel (Pathname)
+module Kernel
   # Creates a new Pathname object from the given string, `path`, and returns
   # pathname object.
   #

data/stdlib/prime/integer-extension.rbs

@@ -1,4 +1,4 @@
-extension Integer (Prime)
+class Integer
   # Iterates the given block over all prime numbers.
   #
   # See Prime#each for more details.

data/stdlib/prime/prime.rbs

@@ -129,60 +129,60 @@ class Prime
   # Returns the singleton instance.
   #
   def self.instance: () -> Prime
-end
 
-# An abstract class for enumerating pseudo-prime numbers.
-#
-# Concrete subclasses should override succ, next, rewind.
-#
-class Prime::PseudoPrimeGenerator
-  def initialize: (?Integer?) -> void
+  # An abstract class for enumerating pseudo-prime numbers.
+  #
+  # Concrete subclasses should override succ, next, rewind.
+  #
+  class PseudoPrimeGenerator
+    def initialize: (?Integer?) -> void
 
-  include Enumerable[Integer, void]
+    include Enumerable[Integer, void]
 
-  attr_accessor upper_bound (): Integer?
+    attr_accessor upper_bound (): Integer?
 
-  # Iterates the given block for each prime number.
-  #
-  def each: () { (Integer) -> void } -> void
+    # Iterates the given block for each prime number.
+    #
+    def each: () { (Integer) -> void } -> void
 
-  # alias of `succ`.
-  #
-  def next: () -> Integer
+    # alias of `succ`.
+    #
+    def next: () -> Integer
 
-  # Rewinds the internal position for enumeration.
-  #
-  # See `Enumerator`#rewind.
-  #
-  def rewind: () -> void
+    # Rewinds the internal position for enumeration.
+    #
+    # See `Enumerator`#rewind.
+    #
+    def rewind: () -> void
 
-  def size: () -> Float
+    def size: () -> Float
 
-  # returns the next pseudo-prime number, and move the internal position forward.
+    # returns the next pseudo-prime number, and move the internal position forward.
+    #
+    # `PseudoPrimeGenerator`#succ raises `NotImplementedError`.
+    #
+    def succ: () -> Integer
+  end
+
+  # An implementation of `PseudoPrimeGenerator`.
   #
-  # `PseudoPrimeGenerator`#succ raises `NotImplementedError`.
+  # Uses `EratosthenesSieve`.
   #
-  def succ: () -> Integer
-end
-
-# An implementation of `PseudoPrimeGenerator`.
-# 
-# Uses `EratosthenesSieve`.
-# 
-class Prime::EratosthenesGenerator < PseudoPrimeGenerator
-end
+  class EratosthenesGenerator < PseudoPrimeGenerator
+  end
 
-# An implementation of `PseudoPrimeGenerator` which uses a prime table generated
-# by trial division.
-# 
-class Prime::TrialDivisionGenerator < PseudoPrimeGenerator
-end
+  # An implementation of `PseudoPrimeGenerator` which uses a prime table generated
+  # by trial division.
+  #
+  class TrialDivisionGenerator < PseudoPrimeGenerator
+  end
 
-# Generates all integers which are greater than 2 and are not divisible by
-# either 2 or 3.
-# 
-# This is a pseudo-prime generator, suitable on checking primality of an integer
-# by brute force method.
-# 
-class Prime::Generator23 < PseudoPrimeGenerator
+  # Generates all integers which are greater than 2 and are not divisible by
+  # either 2 or 3.
+  #
+  # This is a pseudo-prime generator, suitable on checking primality of an integer
+  # by brute force method.
+  #
+  class Generator23 < PseudoPrimeGenerator
+  end
 end

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/tmpdir/tmpdir.rbs

@@ -1,4 +1,4 @@
-extension Dir (tmpdir)
+class Dir
   # Returns the operating system's temporary file path.
   # 
   def self.tmpdir: () -> String

metadata

@@ -1,141 +1,15 @@
 --- !ruby/object:Gem::Specification
 name: rbs
 version: !ruby/object:Gem::Version
-  version: 0.4.0
+  version: 0.9.0
 platform: ruby
 authors:
 - Soutaro Matsumoto
 autorequire: 
 bindir: exe
 cert_chain: []
-date: 2020-06-15 00:00:00.000000000 Z
-dependencies:
-- !ruby/object:Gem::Dependency
-  name: bundler
-  requirement: !ruby/object:Gem::Requirement
-    requirements:
-    - - ">="
-      - !ruby/object:Gem::Version
-        version: '0'
-  type: :development
-  prerelease: false
-  version_requirements: !ruby/object:Gem::Requirement
-    requirements:
-    - - ">="
-      - !ruby/object:Gem::Version
-        version: '0'
-- !ruby/object:Gem::Dependency
-  name: rake
-  requirement: !ruby/object:Gem::Requirement
-    requirements:
-    - - "~>"
-      - !ruby/object:Gem::Version
-        version: '13.0'
-  type: :development
-  prerelease: false
-  version_requirements: !ruby/object:Gem::Requirement
-    requirements:
-    - - "~>"
-      - !ruby/object:Gem::Version
-        version: '13.0'
-- !ruby/object:Gem::Dependency
-  name: minitest
-  requirement: !ruby/object:Gem::Requirement
-    requirements:
-    - - "~>"
-      - !ruby/object:Gem::Version
-        version: '5.0'
-  type: :development
-  prerelease: false
-  version_requirements: !ruby/object:Gem::Requirement
-    requirements:
-    - - "~>"
-      - !ruby/object:Gem::Version
-        version: '5.0'
-- !ruby/object:Gem::Dependency
-  name: racc
-  requirement: !ruby/object:Gem::Requirement
-    requirements:
-    - - "~>"
-      - !ruby/object:Gem::Version
-        version: 1.4.16
-  type: :development
-  prerelease: false
-  version_requirements: !ruby/object:Gem::Requirement
-    requirements:
-    - - "~>"
-      - !ruby/object:Gem::Version
-        version: 1.4.16
-- !ruby/object:Gem::Dependency
-  name: rubocop
-  requirement: !ruby/object:Gem::Requirement
-    requirements:
-    - - ">="
-      - !ruby/object:Gem::Version
-        version: '0'
-  type: :development
-  prerelease: false
-  version_requirements: !ruby/object:Gem::Requirement
-    requirements:
-    - - ">="
-      - !ruby/object:Gem::Version
-        version: '0'
-- !ruby/object:Gem::Dependency
-  name: rubocop-rubycw
-  requirement: !ruby/object:Gem::Requirement
-    requirements:
-    - - ">="
-      - !ruby/object:Gem::Version
-        version: '0'
-  type: :development
-  prerelease: false
-  version_requirements: !ruby/object:Gem::Requirement
-    requirements:
-    - - ">="
-      - !ruby/object:Gem::Version
-        version: '0'
-- !ruby/object:Gem::Dependency
-  name: minitest-reporters
-  requirement: !ruby/object:Gem::Requirement
-    requirements:
-    - - "~>"
-      - !ruby/object:Gem::Version
-        version: 1.3.6
-  type: :development
-  prerelease: false
-  version_requirements: !ruby/object:Gem::Requirement
-    requirements:
-    - - "~>"
-      - !ruby/object:Gem::Version
-        version: 1.3.6
-- !ruby/object:Gem::Dependency
-  name: json
-  requirement: !ruby/object:Gem::Requirement
-    requirements:
-    - - "~>"
-      - !ruby/object:Gem::Version
-        version: 2.3.0
-  type: :development
-  prerelease: false
-  version_requirements: !ruby/object:Gem::Requirement
-    requirements:
-    - - "~>"
-      - !ruby/object:Gem::Version
-        version: 2.3.0
-- !ruby/object:Gem::Dependency
-  name: json-schema
-  requirement: !ruby/object:Gem::Requirement
-    requirements:
-    - - "~>"
-      - !ruby/object:Gem::Version
-        version: '2.8'
-  type: :development
-  prerelease: false
-  version_requirements: !ruby/object:Gem::Requirement
-    requirements:
-    - - "~>"
-      - !ruby/object:Gem::Version
-        version: '2.8'
+date: 2020-08-02 00:00:00.000000000 Z
+dependencies: []
 description: RBS is the language for type signatures for Ruby and standard library
   definitions.
 email:
@@ -157,6 +31,8 @@ files:
 - bin/annotate-with-rdoc
 - bin/console
 - bin/query-rdoc
+- bin/rbs-prof
+- bin/run_in_md.rb
 - bin/setup
 - bin/sort
 - bin/test_runner.rb
@@ -165,6 +41,7 @@ files:
 - docs/stdlib.md
 - docs/syntax.md
 - exe/rbs
+- goodcheck.yml
 - lib/rbs.rb
 - lib/rbs/ast/annotation.rb
 - lib/rbs/ast/comment.rb
@@ -181,6 +58,7 @@ files:
 - lib/rbs/environment_loader.rb
 - lib/rbs/environment_walker.rb
 - lib/rbs/errors.rb
+- lib/rbs/factory.rb
 - lib/rbs/location.rb
 - lib/rbs/method_type.rb
 - lib/rbs/namespace.rb
@@ -193,12 +71,16 @@ files:
 - lib/rbs/test.rb
 - lib/rbs/test/errors.rb
 - lib/rbs/test/hook.rb
+- lib/rbs/test/observer.rb
 - lib/rbs/test/setup.rb
+- lib/rbs/test/setup_helper.rb
 - lib/rbs/test/spy.rb
-- lib/rbs/test/test_helper.rb
+- lib/rbs/test/tester.rb
 - lib/rbs/test/type_check.rb
 - lib/rbs/type_name.rb
+- lib/rbs/type_name_resolver.rb
 - lib/rbs/types.rb
+- lib/rbs/validator.rb
 - lib/rbs/variance_calculator.rb
 - lib/rbs/vendorer.rb
 - lib/rbs/version.rb
@@ -279,9 +161,16 @@ files:
 - stdlib/find/find.rbs
 - stdlib/ipaddr/ipaddr.rbs
 - stdlib/json/json.rbs
+- stdlib/logger/formatter.rbs
+- stdlib/logger/log_device.rbs
+- stdlib/logger/logger.rbs
+- stdlib/logger/period.rbs
+- stdlib/logger/severity.rbs
+- stdlib/mutex_m/mutex_m.rbs
 - stdlib/pathname/pathname.rbs
 - stdlib/prime/integer-extension.rbs
 - stdlib/prime/prime.rbs
+- stdlib/pty/pty.rbs
 - stdlib/securerandom/securerandom.rbs
 - stdlib/set/set.rbs
 - stdlib/tmpdir/tmpdir.rbs