class Solargraph::ComplexType::UniqueType

An individual type signature. A complex type can consist of multiple unique types.

Constants

BOOLEAN
UNDEFINED

Public Class Methods

new(name, substring = '') click to toggle source

Create a UniqueType with the specified name and an optional substring. The substring is the parameter section of a parametrized type, e.g., for the type `Array<String>`, the name is `Array` and the substring is `<String>`.

@param name [String] The name of the type @param substring [String] The substring of the type

# File lib/solargraph/complex_type/unique_type.rb, line 17
def initialize name, substring = ''
  if name.start_with?('::')
    @name = name[2..-1]
    @rooted = true
  else
    @name = name
    @rooted = false
  end
  @substring = substring
  @tag = @name + substring
  @key_types = []
  @subtypes = []
  return unless parameters?
  if @substring.start_with?('<(') && @substring.end_with?(')>')
    subs = ComplexType.parse(substring[2..-3], partial: true)
  else
    subs = ComplexType.parse(substring[1..-2], partial: true)
  end
  if hash_parameters?
    raise ComplexTypeError, "Bad hash type" unless !subs.is_a?(ComplexType) and subs.length == 2 and !subs[0].is_a?(UniqueType) and !subs[1].is_a?(UniqueType)
    @key_types.concat subs[0].map { |u| ComplexType.new([u]) }
    @subtypes.concat subs[1].map { |u| ComplexType.new([u]) }
  else
    @subtypes.concat subs
  end
end

Public Instance Methods

self_to(dst) click to toggle source
# File lib/solargraph/complex_type/unique_type.rb, line 48
def self_to dst
  return self unless selfy?
  new_name = (@name == 'self' ? dst : @name)
  new_key_types = @key_types.map { |t| t.self_to dst }
  new_subtypes = @subtypes.map { |t| t.self_to dst }
  if hash_parameters?
    UniqueType.new(new_name, "{#{new_key_types.join(', ')} => #{new_subtypes.join(', ')}}")
  elsif parameters?
    if @substring.start_with?'<('
      UniqueType.new(new_name, "<(#{new_subtypes.join(', ')})>")
    else
      UniqueType.new(new_name, "<#{new_subtypes.join(', ')}>")
    end
  else
    UniqueType.new(new_name)
  end
end
selfy?() click to toggle source
# File lib/solargraph/complex_type/unique_type.rb, line 66
def selfy?
  @name == 'self' || @key_types.any?(&:selfy?) || @subtypes.any?(&:selfy?)
end
to_s() click to toggle source
# File lib/solargraph/complex_type/unique_type.rb, line 44
def to_s
  tag
end