module Steep
  class Typing
    class UnknownNodeError < StandardError
      attr_reader op: untyped

      attr_reader node: untyped

      def initialize: (untyped op, node: untyped) -> void
    end

    attr_reader source: Source

    attr_reader errors: Array[Diagnostic::Ruby::Base]

    attr_reader typing: Hash[Parser::AST::Node, AST::Types::t]

    attr_reader parent: Typing?

    attr_reader parent_last_update: untyped

    attr_reader last_update: untyped

    attr_reader should_update: untyped

    attr_reader contexts: untyped

    attr_reader root_context: untyped

    attr_reader method_calls: untyped

    attr_reader source_index: untyped

    def initialize: (source: untyped, root_context: untyped, ?parent: untyped?, ?parent_last_update: untyped, ?contexts: untyped?, ?source_index: untyped?) -> void

    def add_error: (Diagnostic::Ruby::Base error) -> void

    def add_typing: (Parser::AST::Node node, AST::Types::t `type`, top) -> untyped

    def add_call: (untyped node, untyped call) -> untyped

    def add_context: (Range[Integer] range, context: TypeInference::Context) -> void

    def has_type?: (untyped node) -> untyped

    def type_of: (node: Parser::AST::Node) -> AST::Types::t

    def call_of: (node: Parser::AST::Node) -> TypeInference::MethodCall::t

    def add_context_for_node: (untyped node, context: untyped) -> untyped

    def block_range: (untyped node) -> ::Range[untyped]

    def add_context_for_body: (untyped node, context: untyped) -> untyped

    def context_at: (line: Integer, column: Integer) -> TypeInference::Context

    def dump: (untyped io) -> untyped

    def self.summary: (untyped node) -> ::String

    def new_child: [A] (Range[Integer] range) { (Typing) -> A } -> A
                 | (Range[Integer]) -> Typing

    def each_typing: () { (Parser::AST::Node, AST::Types::t) -> void } -> void

    # Push the current changes to the `#parent` typing
    #
    # * Raises an error if `#parent` is `nil`
    # * Raises an error if `#parent` is changed since `#new_child` call that instantiated `self`
    #
    def save!: () -> void
  end
end