rbs 0.2.0 → 0.6.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/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,127 +1,15 @@
 --- !ruby/object:Gem::Specification
 name: rbs
 version: !ruby/object:Gem::Version
-  version: 0.2.0
+  version: 0.6.0
 platform: ruby
 authors:
 - Soutaro Matsumoto
 autorequire: 
 bindir: exe
 cert_chain: []
-date: 2020-05-19 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
+date: 2020-07-12 00:00:00.000000000 Z
+dependencies: []
 description: RBS is the language for type signatures for Ruby and standard library
   definitions.
 email:
@@ -143,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
@@ -151,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
@@ -167,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
@@ -179,18 +71,29 @@ 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/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
 - lib/rbs/writer.rb
 - lib/ruby/signature.rb
 - rbs.gemspec
+- schema/annotation.json
+- schema/comment.json
+- schema/decls.json
+- schema/function.json
+- schema/location.json
+- schema/members.json
+- schema/methodType.json
+- schema/types.json
 - stdlib/abbrev/abbrev.rbs
 - stdlib/base64/base64.rbs
 - stdlib/benchmark/benchmark.rbs
@@ -253,9 +156,16 @@ files:
 - stdlib/coverage/coverage.rbs
 - stdlib/csv/csv.rbs
 - stdlib/erb/erb.rbs
+- stdlib/fiber/fiber.rbs
 - 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

data/lib/rbs/test/test_helper.rb

@@ -1,183 +0,0 @@
-module RBS
-  module Test
-    module TypeAssertions
-      module ClassMethods
-        attr_reader :target
-
-        def library(*libs)
-          @libs = libs
-          @env = nil
-          @target = nil
-        end
-
-        def env
-          @env ||= begin
-                     loader = RBS::EnvironmentLoader.new
-                     (@libs || []).each do |lib|
-                       loader.add library: lib
-                     end
-
-                     RBS::Environment.new.tap do |env|
-                       loader.load(env: env)
-                     end
-                   end
-        end
-
-        def builder
-          @builder ||= DefinitionBuilder.new(env: env)
-        end
-
-        def testing(type_or_string)
-          type = case type_or_string
-                 when String
-                   RBS::Parser.parse_type(type_or_string, variables: [])
-                 else
-                   type_or_string
-                 end
-
-          definition = case type
-                       when Types::ClassInstance
-                         builder.build_instance(type.name)
-                       when Types::ClassSingleton
-                         builder.build_singleton(type.name)
-                       else
-                         raise "Test target should be class instance or class singleton: #{type}"
-                       end
-
-          @target = [type, definition]
-        end
-      end
-
-      def self.included(base)
-        base.extend ClassMethods
-      end
-
-      def env
-        self.class.env
-      end
-
-      def builder
-        self.class.builder
-      end
-
-      def targets
-        @targets ||= []
-      end
-
-      def target
-        targets.last || self.class.target
-      end
-
-      def testing(type_or_string)
-        type = case type_or_string
-               when String
-                 RBS::Parser.parse_type(type_or_string, variables: [])
-               else
-                 type_or_string
-               end
-
-        definition = case type
-                     when Types::ClassInstance
-                       builder.build_instance(type.name)
-                     when Types::ClassSingleton
-                       builder.build_singleton(type.name)
-                     else
-                       raise "Test target should be class instance or class singleton: #{type}"
-                     end
-
-        targets.push [type, definition]
-
-        if block_given?
-          begin
-            yield
-          ensure
-            targets.pop
-          end
-        else
-          [type, definition]
-        end
-      end
-
-      ruby2_keywords def assert_send_type(method_type, receiver, method, *args, &block)
-        trace = []
-        spy = Spy.wrap(receiver, method)
-        spy.callback = -> (result) { trace << result }
-
-        exception = nil
-
-        begin
-          spy.wrapped_object.__send__(method, *args, &block)
-        rescue => exn
-          exception = exn
-        end
-
-        mt = case method_type
-             when String
-               RBS::Parser.parse_method_type(method_type, variables: [])
-             when RBS::MethodType
-               method_type
-             end
-
-        typecheck = TypeCheck.new(self_class: receiver.class, builder: builder)
-        errors = typecheck.method_call(method, mt, trace.last, errors: [])
-
-        assert_empty errors.map {|x| RBS::Test::Errors.to_string(x) }, "Call trace does not match with given method type: #{trace.last.inspect}"
-
-        type, definition = target
-        method_types = case
-                       when definition.instance_type?
-                         subst = Substitution.build(definition.declaration.type_params.each.map(&:name),
-                                                    type.args)
-                         definition.methods[method].method_types.map do |method_type|
-                           method_type.sub(subst)
-                         end
-                       when definition.class_type?
-                         definition.methods[method].method_types
-                       end
-
-        all_errors = method_types.map {|t| typecheck.method_call(method, t, trace.last, errors: []) }
-        assert all_errors.any? {|es| es.empty? }, "Call trace does not match one of method definitions:\n  #{trace.last.inspect}\n  #{method_types.join(" | ")}"
-
-        if exception
-          raise exception
-        end
-      end
-
-      ruby2_keywords def refute_send_type(method_type, receiver, method, *args, &block)
-        trace = []
-        spy = Spy.wrap(receiver, method)
-        spy.callback = -> (result) { trace << result }
-
-        exception = nil
-        begin
-          spy.wrapped_object.__send__(method, *args, &block)
-        rescue Exception => exn
-          exception = exn
-        end
-
-        mt = case method_type
-             when String
-               RBS::Parser.parse_method_type(method_type, variables: [])
-             when RBS::MethodType
-               method_type
-             end
-
-        mt = mt.update(block: if mt.block
-                                MethodType::Block.new(
-                                  type: mt.block.type.with_return_type(Types::Bases::Any.new(location: nil)),
-                                  required: mt.block.required
-                                )
-                              end,
-                       type: mt.type.with_return_type(Types::Bases::Any.new(location: nil)))
-
-        typecheck = TypeCheck.new(self_class: receiver.class, builder: builder)
-        errors = typecheck.method_call(method, mt, trace.last, errors: [])
-
-        assert_operator exception, :is_a?, ::Exception
-        assert_empty errors.map {|x| RBS::Test::Errors.to_string(x) }
-
-        exception
-      end
-    end
-  end
-end