rbs 1.0.0.pre → 1.0.0.pre2

data/sig/errors.rbs

@@ -1,9 +1,13 @@
 module RBS
-  interface _Kinded
+  interface _MethodName
     def kind: () -> (:instance | :singleton)
+
+    def type_name: () -> TypeName
+
+    def method_name: () -> Symbol
   end
 
-  module MethodNameHelper : _Kinded
+  module MethodNameHelper : _MethodName
     def method_name_string: () -> String
   end
 
@@ -17,4 +21,139 @@ module RBS
 
     def self.check!: (type_name: TypeName, args: Array[Types::t], params: Array[Symbol], location: Location?) -> void
   end
+
+  class RecursiveAncestorError < StandardError
+    attr_reader ancestors: Array[Definition::Ancestor::t]
+    attr_reader location: Location
+
+    def initialize: (ancestors: Array[Definition::Ancestor::t], location: Location?) -> void
+
+    def self.check!: (Definition::Ancestor::t, ancestors: Array[Definition::Ancestor::t], location: Location?) -> void
+  end
+
+  class NoTypeFoundError < StandardError
+    attr_reader type_name: TypeName
+    attr_reader location: Location?
+
+    def initialize: (type_name: TypeName, location: Location?) -> void
+
+    def self.check!: (TypeName, env: Environment, location: Location?) -> TypeName
+  end
+
+  class NoSuperclassFoundError < StandardError
+    attr_reader type_name: TypeName
+    attr_reader location: Location?
+
+    def initialize: (type_name: TypeName, location: Location?) -> void
+
+    def self.check!: (TypeName, env: Environment, location: Location?) -> void
+  end
+
+  class NoSelfTypeFoundError < StandardError
+    attr_reader type_name: TypeName
+    attr_reader location: Location?
+
+    def initialize: (type_name: TypeName, location: Location?) -> void
+
+    def self.check!: (AST::Declarations::Module::Self, env: Environment) -> void
+  end
+
+  class NoMixinFoundError < StandardError
+    attr_reader type_name: TypeName
+    attr_reader member: AST::Members::t
+
+    def initialize: (type_name: TypeName, member: AST::Members::t) -> void
+
+    def location: () -> Location?
+
+    def self.check!: (TypeName, env: Environment, member: AST::Members::t) -> void
+  end
+
+  class DuplicatedMethodDefinitionError < StandardError
+    type ty = Types::ClassSingleton | Types::ClassInstance | Types::Interface
+    type original = DefinitionBuilder::MethodBuilder::Methods::Definition::original
+
+    attr_reader type: ty
+    attr_reader method_name: Symbol
+    attr_reader members: Array[original]
+
+    def initialize: (type: ty, method_name: Symbol, members: Array[original]) -> void
+
+    def qualified_method_name: () -> String
+
+    def location: () -> Location?
+
+    def other_locations: () -> Array[Location?]
+  end
+
+  class DuplicatedInterfaceMethodDefinitionError < StandardError
+    type ty = Types::ClassSingleton | Types::ClassInstance | Types::Interface
+    type mixin_member = AST::Members::Include | AST::Members::Extend
+
+    attr_reader type: ty
+    attr_reader method_name: Symbol
+    attr_reader member: mixin_member
+
+    def initialize: (type: ty, method_name: Symbol, member: mixin_member) -> void
+
+    def qualified_method_name: () -> String
+  end
+
+  class UnknownMethodAliasError < StandardError
+    attr_reader original_name: Symbol
+    attr_reader aliased_name: Symbol
+    attr_reader location: Location?
+
+    def initialize: (original_name: Symbol, aliased_name: Symbol, location: Location?) -> void
+  end
+
+  class SuperclassMismatchError < StandardError
+    attr_reader name: TypeName
+    attr_reader entry: Environment::ClassEntry
+
+    def initialize: (name: TypeName, entry: Environment::ClassEntry) -> void
+  end
+
+  class InvalidOverloadMethodError < StandardError
+    attr_reader type_name: TypeName
+    attr_reader method_name: Symbol
+    attr_reader kind: :instance | :singleton
+    attr_reader members: Array[AST::Members::MethodDefinition]
+
+    def initialize: (type_name: TypeName, method_name: Symbol, kind: :instance | :singleton, members: Array[AST::Members::MethodDefinition]) -> void
+  end
+
+  class GenericParameterMismatchError < StandardError
+    attr_reader name: TypeName
+    attr_reader decl: AST::Declarations::Class | AST::Declarations::Module
+
+    def initialize: (name: TypeName, decl: AST::Declarations::Class | AST::Declarations::Module) -> void
+  end
+
+  class DuplicatedDeclarationError < StandardError
+    attr_reader name: TypeName | Symbol
+    attr_reader decls: Array[AST::Declarations::t]
+
+    def initialize: (TypeName | Symbol, *AST::Declarations::t) -> void
+  end
+
+  class InvalidVarianceAnnotationError < StandardError
+    attr_reader type_name: TypeName
+    attr_reader param: AST::Declarations::ModuleTypeParams::TypeParam
+    attr_reader location: Location?
+
+    def initialize: (type_name: TypeName, param: AST::Declarations::ModuleTypeParams::TypeParam, location: Location?) -> void
+  end
+
+  class RecursiveAliasDefinitionError < StandardError
+    type ty = Types::ClassInstance | Types::ClassSingleton | Types::Interface
+    type defn = DefinitionBuilder::MethodBuilder::Methods::Definition
+
+    attr_reader type: ty
+    attr_reader defs: Array[defn]
+
+    def initialize: (type: ty, defs: Array[defn]) -> void
+
+    def location: () -> Location?
+  end
 end

data/sig/method_builder.rbs

@@ -0,0 +1,71 @@
+module RBS
+  class DefinitionBuilder
+    class MethodBuilder
+      class Methods
+        type instance_type = Types::ClassInstance | Types::ClassSingleton | Types::Interface
+
+        class Definition
+          type original = AST::Members::MethodDefinition | AST::Members::Alias | AST::Members::AttrAccessor | AST::Members::AttrWriter | AST::Members::AttrReader
+          type accessibility = :public | :private
+
+          attr_reader name: Symbol
+          attr_reader type: instance_type
+          attr_reader originals: Array[original]
+          attr_reader overloads: Array[AST::Members::MethodDefinition]
+          attr_reader accessibilities: Array[accessibility]
+
+          def initialize: (name: Symbol, type: instance_type, originals: Array[original], overloads: Array[AST::Members::MethodDefinition], accessibilities: Array[accessibility]) -> void
+
+          def original: () -> original?
+
+          def accessibility: () -> accessibility
+
+          def self.empty: (name: Symbol, type: instance_type) -> instance
+        end
+
+        attr_reader type: instance_type
+        attr_reader methods: Hash[Symbol, Definition]
+
+        def initialize: (type: instance_type) -> void
+
+        def validate!: () -> self
+
+        def each: () { (Definition) -> void } -> void
+                | () -> Enumerator[Definition, void]
+
+        class Sorter
+          include TSort[Definition]
+
+          attr_reader methods: Hash[Symbol, Definition]
+
+          def initialize: (Hash[Symbol, Definition]) -> void
+
+          def tsort_each_node: { (Definition) -> void } -> void
+
+          def tsort_each_child: (Definition) { (Definition) -> void } -> void
+        end
+      end
+
+      attr_reader env: Environment
+      attr_reader instance_methods: Hash[TypeName, Methods]
+      attr_reader singleton_methods: Hash[TypeName, Methods]
+      attr_reader interface_methods: Hash[TypeName, Methods]
+
+      def initialize: (env: Environment) -> void
+
+      def build_instance: (TypeName) -> Methods
+
+      def build_singleton: (TypeName) -> Methods
+
+      def build_interface: (TypeName) -> Methods
+
+      def build_alias: (Methods, Methods::instance_type, member: AST::Members::Alias, accessibility: Methods::Definition::accessibility) -> void
+
+      def build_attribute: (Methods, Methods::instance_type, member: AST::Members::AttrAccessor | AST::Members::AttrReader | AST::Members::AttrWriter, accessibility: Methods::Definition::accessibility) -> void
+
+      def build_method: (Methods, Methods::instance_type, member: AST::Members::MethodDefinition, accessibility: Methods::Definition::accessibility) -> void
+
+      def each_member_with_accessibility: (Array[AST::Members::t | AST::Declarations::t], ?accessibility: Definition::accessibility) { (AST::Members::t | AST::Declarations::t, Definition::accessibility) -> void } -> void
+    end
+  end
+end

data/sig/substitution.rbs

@@ -35,5 +35,8 @@ module RBS
 
     # Returns a substitution without variables given in `vars`.
     def without: (*Symbol vars) -> Substitution
+
+    # Returns true if given substitution is identity.
+    def empty?: () -> bool
   end
 end

data/sig/types.rbs

@@ -115,7 +115,6 @@ module RBS
 
     class Variable
       attr_reader name: Symbol
-      attr_reader location: Location?
 
       @@count: Integer
 
@@ -140,7 +139,6 @@ module RBS
 
     class ClassSingleton
       attr_reader name: TypeName
-      attr_reader location: Location?
 
       include _TypeBase
 
@@ -178,8 +176,6 @@ module RBS
     class Interface
       include Application
 
-      attr_reader location: Location?
-
       def initialize: (name: TypeName, args: Array[t], location: Location?) -> void
 
       include _TypeBase
@@ -194,15 +190,12 @@ module RBS
     class ClassInstance
       include Application
 
-      attr_reader location: Location?
-
       def initialize: (name: TypeName, args: Array[t], location: Location?) -> void
 
       include _TypeBase
     end
 
     class Alias
-      attr_reader location: Location?
       attr_reader name: TypeName
 
       def initialize: (name: TypeName, location: Location?) -> void
@@ -215,7 +208,6 @@ module RBS
 
     class Tuple
       attr_reader types: Array[t]
-      attr_reader location: Location?
 
       def initialize: (types: Array[t], location: Location?) -> void
 
@@ -224,7 +216,6 @@ module RBS
 
     class Record
       attr_reader fields: Hash[Symbol, t]
-      attr_reader location: Location?
 
       def initialize: (fields: Hash[Symbol, t], location: Location?) -> void
 
@@ -233,7 +224,6 @@ module RBS
 
     class Optional
       attr_reader type: t
-      attr_reader location: Location?
 
       def initialize: (type: t, location: Location?) -> void
 
@@ -242,7 +232,6 @@ module RBS
 
     class Union
       attr_reader types: Array[t]
-      attr_reader location: Location?
 
       def initialize: (types: Array[t], location: Location?) -> void
 
@@ -254,7 +243,6 @@ module RBS
 
     class Intersection
       attr_reader types: Array[t]
-      attr_reader location: Location?
 
       def initialize: (types: Array[t], location: Location?) -> void
 
@@ -336,7 +324,7 @@ module RBS
 
     class Block
       attr_reader type: Types::Function
-      attr_reader required: boolish
+      attr_reader required: bool
 
       def initialize: (type: Types::Function, required: boolish) -> void
 
@@ -352,7 +340,6 @@ module RBS
     class Proc
       attr_reader type: Function
       attr_reader block: Block?
-      attr_reader location: Location?
 
       def initialize: (location: Location?, type: Function, block: Block?) -> void
 
@@ -363,7 +350,6 @@ module RBS
       type literal = String | Integer | Symbol | TrueClass | FalseClass
 
       attr_reader literal: literal
-      attr_reader location: Location?
 
       def initialize: (literal: literal, location: Location?) -> void
 

data/stdlib/csv/0/csv.rbs

@@ -160,6 +160,7 @@
 #
 class CSV < Object
   include Enumerable[untyped]
+  extend Forwardable
 
   # This method is intended as the primary interface for reading CSV files. You
   # pass a `path` and any `options` you wish to set for the read. Each row of file
@@ -408,6 +409,7 @@ CSV::VERSION: String
 #
 class CSV::Row < Object
   include Enumerable[untyped]
+  extend Forwardable
 
   # If a two-element Array is provided, it is assumed to be a header and field and
   # the pair is appended. A Hash works the same way with the key being the header
@@ -579,6 +581,7 @@ end
 #
 class CSV::Table[out Elem] < Object
   include Enumerable[untyped]
+  extend Forwardable
 
   # Constructs a new CSV::Table from `array_of_rows`, which are expected to be
   # CSV::Row objects. All rows are assumed to have the same headers.

data/stdlib/pathname/0/pathname.rbs

@@ -373,7 +373,7 @@ class Pathname
   # Note that the results never contain the entries `.` and `..` in the directory
   # because they are not children.
   #
-  def children: (?boolish with_directory) -> untyped
+  def children: (?boolish with_directory) -> Array[Pathname]
 
   # Changes file permissions.
   #

data/stdlib/prime/0/prime.rbs

@@ -42,6 +42,12 @@
 #
 #
 class Prime
+  include Singleton
+
+  include Enumerable[Integer]
+
+  extend Enumerable[Integer]
+
   # Iterates the given block over all prime numbers.
   #
   # ## Parameters

data/stdlib/securerandom/0/securerandom.rbs

@@ -1,4 +1,6 @@
 module SecureRandom
+  extend Random::Formatter
+
   def self.alphanumeric: (?Integer?) -> String
   def self.base64: (?Integer?) -> String
   def self.hex: (?Integer?) -> String

metadata

@@ -1,14 +1,14 @@
 --- !ruby/object:Gem::Specification
 name: rbs
 version: !ruby/object:Gem::Version
-  version: 1.0.0.pre
+  version: 1.0.0.pre2
 platform: ruby
 authors:
 - Soutaro Matsumoto
 autorequire:
 bindir: exe
 cert_chain: []
-date: 2020-12-19 00:00:00.000000000 Z
+date: 2020-12-24 00:00:00.000000000 Z
 dependencies: []
 description: RBS is the language for type signatures for Ruby and standard library
   definitions.
@@ -158,6 +158,7 @@ files:
 - schema/members.json
 - schema/methodType.json
 - schema/types.json
+- sig/ancestor_builder.rbs
 - sig/annotation.rbs
 - sig/buffer.rbs
 - sig/builtin_names.rbs
@@ -173,6 +174,7 @@ files:
 - sig/errors.rbs
 - sig/location.rbs
 - sig/members.rbs
+- sig/method_builder.rbs
 - sig/method_types.rbs
 - sig/namespace.rbs
 - sig/parser.rbs