class Solargraph::Pin::Block

# File lib/solargraph/pin/block.rb, line 18
def initialize receiver: nil, args: [], context: nil, node: nil, **splat
  super(**splat, parameters: args)
  @receiver = receiver
  @context = context
  @return_type = ComplexType.parse('::Proc')
  @node = node
end

# File lib/solargraph/pin/block.rb, line 32
def binder
  @rebind&.defined? ? @rebind : closure.binder
end

# File lib/solargraph/pin/block.rb, line 40
def destructure_yield_types(yield_types, parameters)
  # yielding a tuple into a block will destructure the tuple
  if yield_types.length == 1
    yield_type = yield_types.first
    return yield_type.all_params if yield_type.tuple? && yield_type.all_params.length == parameters.length
  end
  parameters.map.with_index { |_, idx| yield_types[idx] || ComplexType::UNDEFINED }
end

# File lib/solargraph/pin/block.rb, line 28
def rebind api_map
  @rebind ||= maybe_rebind(api_map)
end

# File lib/solargraph/pin/block.rb, line 51
def typify_parameters(api_map)
  chain = Parser.chain(receiver, filename, node)
  clip = api_map.clip_at(location.filename, location.range.start)
  locals = clip.locals - [self]
  meths = chain.define(api_map, closure, locals)
  # @todo Convert logic to use signatures
  # @param meth [Pin::Method]
  meths.each do |meth|
    next if meth.block.nil?

    yield_types = meth.block.parameters.map(&:return_type)
    # 'arguments' is what the method says it will yield to the
    # block; 'parameters' is what the block accepts
    argument_types = destructure_yield_types(yield_types, parameters)
    param_types = argument_types.each_with_index.map do |arg_type, idx|
      param = parameters[idx]
      param_type = chain.base.infer(api_map, param, locals)
      unless arg_type.nil?
        if arg_type.generic? && param_type.defined?
          namespace_pin = api_map.get_namespace_pins(meth.namespace, closure.namespace).first
          arg_type.resolve_generics(namespace_pin, param_type)
        else
          arg_type.self_to_type(chain.base.infer(api_map, self, locals)).qualify(api_map, *meth.gates)
        end
      end
    end
    return param_types if param_types.all?(&:defined?)
  end
  parameters.map { ComplexType::UNDEFINED }
end

# File lib/solargraph/pin/block.rb, line 86
def maybe_rebind api_map
  return ComplexType::UNDEFINED unless receiver

  chain = Parser.chain(receiver, location.filename)
  locals = api_map.source_map(location.filename).locals_at(location)
  receiver_pin = chain.define(api_map, closure, locals).first
  return ComplexType::UNDEFINED unless receiver_pin

  types = receiver_pin.docstring.tag(:yieldreceiver)&.types
  return ComplexType::UNDEFINED unless types&.any?

  target = chain.base.infer(api_map, receiver_pin, locals)
  target = full_context unless target.defined?

  ComplexType.try_parse(*types).qualify(api_map, *receiver_pin.gates).self_to_type(target)
end