Module: Steep::TypeInference::MethodCall

Defined in:

lib/steep/type_inference/method_call.rb

Defined Under Namespace

Classes: Base, Error, MethodDecl, NoMethodError, Special, Typed, Untyped

Constant Summary

MethodContext =

_ = Struct.new(:method_name, keyword_init: true) do
  # @implements MethodContext

  def to_s
    "@#{method_name}"
  end
end

ModuleContext =

_ = Struct.new(:type_name, keyword_init: true) do
  # @implements ModuleContext

  def to_s
    "@#{type_name}@"
  end
end

TopLevelContext =

_ = Class.new() do
  # @implements TopLevelContext

  def to_s
    "@<main>"
  end

  def ==(other)
    other.is_a?(TopLevelContext)
  end

  alias eql? ==

  def hash
    self.class.hash
  end
end

UnknownContext =

_ = Class.new() do
  # @implements UnknownContext

  def to_s
    "@<unknown>"
  end

  def ==(other)
    other.is_a?(UnknownContext)
  end

  alias eql? ==

  def hash
    self.class.hash
  end
end