rbs 0.2.0

data/exe/rbs

@@ -0,0 +1,7 @@
+#!/usr/bin/env ruby
+
+$LOAD_PATH << File.join(__dir__, "../lib")
+require "rbs"
+require "rbs/cli"
+
+RBS::CLI.new(stdout: STDOUT, stderr: STDERR).run(ARGV.dup)

data/lib/rbs.rb

@@ -0,0 +1,64 @@
+require "rbs/version"
+
+require "set"
+require "json"
+require "pathname"
+require "pp"
+require "ripper"
+require "logger"
+require "tsort"
+
+require "rbs/errors"
+require "rbs/buffer"
+require "rbs/location"
+require "rbs/namespace"
+require "rbs/type_name"
+require "rbs/types"
+require "rbs/method_type"
+require "rbs/ast/declarations"
+require "rbs/ast/members"
+require "rbs/ast/annotation"
+require "rbs/environment"
+require "rbs/environment_loader"
+require "rbs/builtin_names"
+require "rbs/definition"
+require "rbs/definition_builder"
+require "rbs/variance_calculator"
+require "rbs/substitution"
+require "rbs/constant"
+require "rbs/constant_table"
+require "rbs/ast/comment"
+require "rbs/writer"
+require "rbs/prototype/rbi"
+require "rbs/prototype/rb"
+require "rbs/prototype/runtime"
+require "rbs/environment_walker"
+require "rbs/vendorer"
+
+begin
+  require "rbs/parser"
+rescue LoadError
+  STDERR.puts "Missing parser Ruby code? Running `rake parser` may solve the issue"
+  raise
+end
+
+module RBS
+  class <<self
+    attr_reader :logger_level
+    attr_reader :logger_output
+
+    def logger
+      @logger ||= Logger.new(logger_output || STDERR, level: logger_level || "warn", progname: "rbs")
+    end
+
+    def logger_output=(val)
+      @logger_output = val
+      @logger = nil
+    end
+
+    def logger_level=(level)
+      @logger_level = level
+      @logger = nil
+    end
+  end
+end

data/lib/rbs/ast/annotation.rb

@@ -0,0 +1,27 @@
+module RBS
+  module AST
+    class Annotation
+      attr_reader :string
+      attr_reader :location
+
+      def initialize(string:, location:)
+        @string = string
+        @location = location
+      end
+
+      def ==(other)
+        other.is_a?(Annotation) && other.string == string
+      end
+
+      alias eql? ==
+
+      def hash
+        self.class.hash ^ string.hash
+      end
+
+      def to_json(*a)
+        { string: string, location: location }.to_json(*a)
+      end
+    end
+  end
+end

data/lib/rbs/ast/comment.rb

@@ -0,0 +1,27 @@
+module RBS
+  module AST
+    class Comment
+      attr_reader :string
+      attr_reader :location
+
+      def initialize(string:, location:)
+        @string = string
+        @location = location
+      end
+
+      def ==(other)
+        other.is_a?(Comment) && other.string == string
+      end
+
+      alias eql? ==
+
+      def hash
+        self.class.hash ^ string.hash
+      end
+
+      def to_json(*a)
+        { string: string, location: location }.to_json(*a)
+      end
+    end
+  end
+end

data/lib/rbs/ast/declarations.rb

@@ -0,0 +1,395 @@
+module RBS
+  module AST
+    module Declarations
+      class ModuleTypeParams
+        attr_reader :params
+
+        TypeParam = Struct.new(:name, :variance, :skip_validation, keyword_init: true)
+
+        def initialize()
+          @params = []
+        end
+
+        def add(param)
+          params << param
+          self
+        end
+
+        def ==(other)
+          other.is_a?(ModuleTypeParams) && other.params == params
+        end
+
+        alias eql? ==
+
+        def hash
+          params.hash
+        end
+
+        def [](name)
+          params.find {|p| p.name == name }
+        end
+
+        def to_json(*a)
+          {
+            params: params
+          }.to_json(*a)
+        end
+
+        def each(&block)
+          params.each(&block)
+        end
+
+        def self.empty
+          new
+        end
+
+        def variance(name)
+          self[name].variance
+        end
+
+        def skip_validation?(name)
+          self[name].skip_validation
+        end
+
+        def empty?
+          params.empty?
+        end
+
+        def size
+          params.size
+        end
+
+        def rename_to(names)
+          ModuleTypeParams.new().tap do |params|
+            names.each.with_index do |new_name, index|
+              param = self.params[index]
+              params.add(TypeParam.new(name: new_name, variance: param.variance, skip_validation: param.skip_validation))
+            end
+          end
+        end
+      end
+
+      class Class
+        class Super
+          attr_reader :name
+          attr_reader :args
+
+          def initialize(name:, args:)
+            @name = name
+            @args = args
+          end
+
+          def ==(other)
+            other.is_a?(Super) && other.name == name && other.args == args
+          end
+
+          alias eql? ==
+
+          def hash
+            self.class.hash ^ name.hash ^ args.hash
+          end
+
+          def to_json(*a)
+            {
+              name: name,
+              args: args
+            }.to_json(*a)
+          end
+        end
+
+        attr_reader :name
+        attr_reader :type_params
+        attr_reader :members
+        attr_reader :super_class
+        attr_reader :annotations
+        attr_reader :location
+        attr_reader :comment
+
+        def initialize(name:, type_params:, super_class:, members:, annotations:, location:, comment:)
+          @name = name
+          @type_params = type_params
+          @super_class = super_class
+          @members = members
+          @annotations = annotations
+          @location = location
+          @comment = comment
+        end
+
+        def ==(other)
+          other.is_a?(Class) &&
+            other.name == name &&
+            other.type_params == type_params &&
+            other.super_class == super_class &&
+            other.members == members
+        end
+
+        alias eql? ==
+
+        def hash
+          self.class.hash ^ name.hash ^ type_params.hash ^ super_class.hash ^ members.hash
+        end
+
+        def to_json(*a)
+          {
+            declaration: :class,
+            name: name,
+            type_params: type_params,
+            members: members,
+            super_class: super_class,
+            annotations: annotations,
+            location: location,
+            comment: comment
+          }.to_json(*a)
+        end
+      end
+
+      class Module
+        attr_reader :name
+        attr_reader :type_params
+        attr_reader :members
+        attr_reader :location
+        attr_reader :annotations
+        attr_reader :self_type
+        attr_reader :comment
+
+        def initialize(name:, type_params:, members:, self_type:, annotations:, location:, comment:)
+          @name = name
+          @type_params = type_params
+          @self_type = self_type
+          @members = members
+          @annotations = annotations
+          @location = location
+          @comment = comment
+        end
+
+        def ==(other)
+          other.is_a?(Module) &&
+            other.name == name &&
+            other.type_params == type_params &&
+            other.self_type == self_type &&
+            other.members == members
+        end
+
+        alias eql? ==
+
+        def hash
+          self.class.hash ^ name.hash ^ type_params.hash ^ self_type.hash ^ members.hash
+        end
+
+        def to_json(*a)
+          {
+            declaration: :module,
+            name: name,
+            type_params: type_params,
+            members: members,
+            self_type: self_type,
+            annotations: annotations,
+            location: location,
+            comment: comment
+          }.to_json(*a)
+        end
+      end
+
+      class Extension
+        attr_reader :name
+        attr_reader :type_params
+        attr_reader :extension_name
+        attr_reader :members
+        attr_reader :annotations
+        attr_reader :location
+        attr_reader :comment
+
+        def initialize(name:, type_params:, extension_name:, members:, annotations:, location:, comment:)
+          @name = name
+          @type_params = type_params
+          @extension_name = extension_name
+          @members = members
+          @annotations = annotations
+          @location = location
+          @comment = comment
+        end
+
+        def ==(other)
+          other.is_a?(Extension) &&
+            other.name == name &&
+            other.type_params == type_params &&
+            other.extension_name == extension_name &&
+            other.members == members
+        end
+
+        alias eql? ==
+
+        def hash
+          self.class.hash ^ name.hash ^ type_params.hash ^ extension_name.hash ^ members.hash
+        end
+
+        def to_json(*a)
+          {
+            declaration: :extension,
+            name: name,
+            type_params: type_params,
+            extension_name: extension_name,
+            members: members,
+            annotations: annotations,
+            location: location,
+            comment: comment
+          }.to_json(*a)
+        end
+      end
+
+      class Interface
+        attr_reader :name
+        attr_reader :type_params
+        attr_reader :members
+        attr_reader :annotations
+        attr_reader :location
+        attr_reader :comment
+
+        def initialize(name:, type_params:, members:, annotations:, location:, comment:)
+          @name = name
+          @type_params = type_params
+          @members = members
+          @annotations = annotations
+          @location = location
+          @comment = comment
+        end
+
+        def ==(other)
+          other.is_a?(Interface) &&
+            other.name == name &&
+            other.type_params == type_params &&
+            other.members == members
+        end
+
+        alias eql? ==
+
+        def hash
+          self.class.hash ^ type_params.hash ^ members.hash
+        end
+
+        def to_json(*a)
+          {
+            declaration: :interface,
+            name: name,
+            type_params: type_params,
+            members: members,
+            annotations: annotations,
+            location: location,
+            comment: comment
+          }.to_json(*a)
+        end
+      end
+
+      class Alias
+        attr_reader :name
+        attr_reader :type
+        attr_reader :annotations
+        attr_reader :location
+        attr_reader :comment
+
+        def initialize(name:, type:, annotations:, location:, comment:)
+          @name = name
+          @type = type
+          @annotations = annotations
+          @location = location
+          @comment = comment
+        end
+
+        def ==(other)
+          other.is_a?(Alias) &&
+            other.name == name &&
+            other.type == type
+        end
+
+        alias eql? ==
+
+        def hash
+          self.class.hash ^ name.hash ^ type.hash
+        end
+
+        def to_json(*a)
+          {
+            declaration: :alias,
+            name: name,
+            type: type,
+            annotations: annotations,
+            location: location,
+            comment: comment
+          }.to_json(*a)
+        end
+      end
+
+      class Constant
+        attr_reader :name
+        attr_reader :type
+        attr_reader :location
+        attr_reader :comment
+
+        def initialize(name:, type:, location:, comment:)
+          @name = name
+          @type = type
+          @location = location
+          @comment = comment
+        end
+
+        def ==(other)
+          other.is_a?(Constant) &&
+            other.name == name &&
+            other.type == type
+        end
+
+        alias eql? ==
+
+        def hash
+          self.class.hash ^ name.hash ^ type.hash
+        end
+
+        def to_json(*a)
+          {
+            declaration: :constant,
+            name: name,
+            type: type,
+            location: location,
+            comment: comment
+          }.to_json(*a)
+        end
+      end
+
+      class Global
+        attr_reader :name
+        attr_reader :type
+        attr_reader :location
+        attr_reader :comment
+
+        def initialize(name:, type:, location:, comment:)
+          @name = name
+          @type = type
+          @location = location
+          @comment = comment
+        end
+
+        def ==(other)
+          other.is_a?(Global) &&
+            other.name == name &&
+            other.type == type
+        end
+
+        alias eql? ==
+
+        def hash
+          self.class.hash ^ name.hash ^ type.hash
+        end
+
+        def to_json(*a)
+          {
+            declaration: :global,
+            name: name,
+            type: type,
+            location: location,
+            comment: comment
+          }.to_json(*a)
+        end
+      end
+    end
+  end
+end