module Steep
  module TypeInference
    class MethodParams
      class BaseParameter
        attr_reader name: Symbol

        attr_reader type: untyped

        attr_reader node: Parser::AST::Node

        def initialize: (name: Symbol, type: untyped, node: Parser::AST::Node) -> void

        def optional?: () -> bool

        def value: () -> Parser::AST::Node

        def var_type: () -> AST::Types::t

        def untyped?: () -> bool

        def ==: (untyped other) -> untyped

        alias eql? ==

        def hash: () -> Integer
      end

      class PositionalParameter < BaseParameter
      end

      class KeywordParameter < BaseParameter
      end

      class BaseRestParameter
        attr_reader name: Symbol

        attr_reader type: untyped

        attr_reader node: Parser::AST::Node

        def initialize: (name: Symbol, type: untyped, node: Parser::AST::Node) -> void

        def ==: (untyped other) -> bool

        alias eql? ==

        def hash: () -> Integer

        def var_type: () -> AST::Types::t
      end

      class PositionalRestParameter < BaseRestParameter
        def var_type: () -> AST::Types::t
      end

      class KeywordRestParameter < BaseRestParameter
        def var_type: () -> AST::Types::t
      end

      class BlockParameter
        attr_reader name: Symbol

        attr_reader type: Interface::Function?

        attr_reader node: Parser::AST::Node

        attr_reader self_type: AST::Types::t?

        def initialize: (name: Symbol, type: Interface::Function?, node: Parser::AST::Node, optional: boolish, self_type: AST::Types::t?) -> void

        @optional: boolish

        def optional?: () -> bool

        def var_type: () -> AST::Types::t

        def ==: (untyped other) -> bool

        alias eql? ==

        def hash: () -> Integer
      end

      attr_reader args: untyped

      attr_reader method_type: untyped

      attr_reader params: untyped

      attr_reader errors: untyped

      def initialize: (args: untyped, method_type: untyped) -> void

      def []: (untyped name) -> untyped

      def size: () -> Integer

      def each_param: () { (BaseParameter | BaseRestParameter | BlockParameter) -> void } -> void
                    | () -> Enumerator[BaseParameter | BaseRestParameter | BlockParameter, void]

      def each: () { (Symbol, AST::Types::t) -> void } -> void

      def self.empty: (node: Parser::AST::Node) -> MethodParams

      def self.build: (node: Parser::AST::Node, method_type: untyped) -> MethodParams
    end
  end
end