steep-relaxed 1.9.3.3

data/lib/steep/diagnostic/helper.rb

@@ -0,0 +1,18 @@
+module Steep
+  module Diagnostic
+    module Helper
+      def error_name
+        name = self.class.name or raise
+        name.split(/::/).last or raise
+      end
+
+      def full_message
+        if detail = detail_lines
+          "#{header_line}\n#{detail}"
+        else
+          "#{header_line}"
+        end
+      end
+    end
+  end
+end

data/lib/steep/diagnostic/lsp_formatter.rb

@@ -0,0 +1,78 @@
+module Steep
+  module Diagnostic
+    class LSPFormatter
+      LSP = LanguageServer::Protocol
+
+      attr_reader :config
+      attr_reader :default_severity
+
+      ERROR = :error
+      WARNING = :warning
+      INFORMATION = :information
+      HINT = :hint
+
+      def initialize(config = {}, default_severity: ERROR)
+        @config = config
+        @default_severity = default_severity
+
+        config.each do |klass, severity|
+          validate_severity(klass, severity)
+          validate_class(klass)
+        end
+        validate_severity(:default, default_severity)
+      end
+
+      def validate_class(klass)
+        unless klass < Diagnostic::Ruby::Base
+          raise "Unexpected diagnostics class `#{klass}` given"
+        end
+      end
+
+      def validate_severity(klass, severity)
+        case severity
+        when ERROR, WARNING, INFORMATION, HINT, nil
+          # ok
+        else
+          raise "Unexpected severity `#{severity}` is specified for #{klass}"
+        end
+      end
+
+      def format(diagnostic)
+        severity = severity_for(diagnostic)
+
+        if severity
+          range = diagnostic.location&.as_lsp_range || raise("#{diagnostic.class} object (#{diagnostic.full_message}) instance must have `#location`")
+
+          if diagnostic.is_a?(Ruby::Base)
+            description = {
+              href: "https://github.com/soutaro/steep/tree/v#{VERSION}/manual/ruby-diagnostics.md##{URI.encode_uri_component(diagnostic.diagnostic_code)}"
+            } #: LSP::Interface::CodeDescription::json
+          end
+
+          {
+            message: diagnostic.full_message,
+            code: diagnostic.diagnostic_code,
+            severity: severity,
+            range: range,
+            codeDescription: description
+          }
+        end
+      end
+
+      def severity_for(diagnostic)
+        case config.fetch(diagnostic.class, default_severity)
+        when ERROR
+          LSP::Constant::DiagnosticSeverity::ERROR
+        when WARNING
+          LSP::Constant::DiagnosticSeverity::WARNING
+        when INFORMATION
+          LSP::Constant::DiagnosticSeverity::INFORMATION
+        when HINT
+          LSP::Constant::DiagnosticSeverity::HINT
+        when nil
+          nil
+        end
+      end
+    end
+  end
+end

data/lib/steep/diagnostic/result_printer2.rb

@@ -0,0 +1,48 @@
+module Steep
+  module Diagnostic
+    module ResultPrinter2
+      def result_line(result)
+        case result
+        when Subtyping::Result::Failure
+          case result.error
+          when Subtyping::Result::Failure::UnknownPairError
+            nil
+          when Subtyping::Result::Failure::UnsatisfiedConstraints
+            "Unsatisfied constraints: #{result.relation}"
+          when Subtyping::Result::Failure::MethodMissingError
+            "Method `#{result.error.name}` is missing"
+          when Subtyping::Result::Failure::BlockMismatchError
+            "Incomaptible block: #{result.relation}"
+          when Subtyping::Result::Failure::ParameterMismatchError
+            if result.relation.params?
+              "Incompatible arity: #{result.relation.super_type} and #{result.relation.sub_type}"
+            else
+              "Incompatible arity: #{result.relation}"
+            end
+          when Subtyping::Result::Failure::PolyMethodSubtyping
+            "Unsupported polymorphic method comparison: #{result.relation}"
+          when Subtyping::Result::Failure::SelfBindingMismatch
+            "Incompatible block self type: #{result.relation}"
+          end
+        else
+          result.relation.to_s
+        end
+      end
+
+      def detail_lines
+        lines = StringIO.new.tap do |io|
+          failure_path = result.failure_path || []
+          failure_path.reverse_each.filter_map do |result|
+            result_line(result)
+          end.each.with_index(1) do |message, index|
+            io.puts "#{"  " * (index)}#{message}"
+          end
+        end.string.chomp
+
+        unless lines.empty?
+          lines
+        end
+      end
+    end
+  end
+end