Module: Solargraph::ComplexType::TypeMethods Abstract

Included in:
UniqueType
Defined in:
lib/solargraph/complex_type/type_methods.rb

Overview

This module is abstract.

This mixin relies on these - instance variables:

@name: String
@subtypes: Array<ComplexType>
@rooted: boolish

methods:

transform()
all_params()
rooted?()
can_root_name?()

Methods for accessing type data available from both ComplexType and UniqueType.

Constant Summary collapse

PARAMETERS_TYPE_BY_STARTING_TAG = 
{
  '{' => :hash,
  '(' => :fixed,
  '<' => :list
}.freeze

Instance Attribute Summary collapse

Instance Method Summary collapse

Instance Attribute Details

#name ⇒ String (readonly)

Returns:

  • (String) 


31
32
33
 
# File 'lib/solargraph/complex_type/type_methods.rb', line 31

def name
  @name
end

#parameters_type ⇒ Symbol? (readonly)

Returns:

  • (Symbol, nil) 


106
107
108
 
# File 'lib/solargraph/complex_type/type_methods.rb', line 106

def parameters_type
  @parameters_type
end

#subtypes ⇒ Array<ComplexType> (readonly)

Returns:



34
35
36
 
# File 'lib/solargraph/complex_type/type_methods.rb', line 34

def subtypes
  @subtypes
end

Instance Method Details

#==(other) ⇒ Object

Parameters:

  • other (Object) 


205
206
207
208
209
 
# File 'lib/solargraph/complex_type/type_methods.rb', line 205

def == other
  return false unless self.class == other.class
  # @sg-ignore flow sensitive typing should support .class == .class
  tag == other.tag
end

#all_params ⇒ Array<ComplexType>

Returns:




# File 'lib/solargraph/complex_type/type_methods.rb', line 19

#can_root_name?(name_to_check = nil) ⇒ Object

Parameters:

  • name_to_check (String, nil) (defaults to: nil) 



# File 'lib/solargraph/complex_type/type_methods.rb', line 19

#defined? ⇒ Boolean

Returns:

  • (Boolean) 


69
70
71
 
# File 'lib/solargraph/complex_type/type_methods.rb', line 69

def defined?
  !undefined?
end

#duck_type? ⇒ Boolean

Returns:

  • (Boolean) 


52
53
54
 
# File 'lib/solargraph/complex_type/type_methods.rb', line 52

def duck_type?
  @duck_type ||= name.start_with?('#')
end

#each_unique_type ⇒ Enumerator<UniqueType>

This method returns an undefined value.

Returns:

Yield Parameters:



234
235
236
237
 
# File 'lib/solargraph/complex_type/type_methods.rb', line 234

def each_unique_type &block
  return enum_for(__method__) unless block_given?
  yield self
end

#erase_generics(generics_to_erase) ⇒ self

Parameters:

  • generics_to_erase (Enumerable<String>)

Returns:

  • (self) 


91
92
93
94
95
96
97
98
99
100
101
102
103
 
# File 'lib/solargraph/complex_type/type_methods.rb', line 91

def erase_generics generics_to_erase
  transform do |type|
    if type.name == ComplexType::GENERIC_TAG_NAME
      if type.all_params.length == 1 && generics_to_erase.include?(type.all_params.first.to_s)
        ComplexType::UNDEFINED
      else
        type
      end
    else
      type
    end
  end
end

#erased_variance(situation = :method_call) ⇒ Symbol

Variance of the type ignoring any type parameters

Parameters:

  • situation (Symbol) (defaults to: :method_call) —

    The situation in which the variance is being considered.

Returns:

  • (Symbol) 


80
81
82
83
84
85
86
87
 
# File 'lib/solargraph/complex_type/type_methods.rb', line 80

def erased_variance situation = :method_call
  # :nocov:
  unless %i[method_call return_type assignment].include?(situation)
    raise "Unknown situation: #{situation.inspect}"
  end
  # :nocov:
  :covariant
end

#fixed_parameters? ⇒ Boolean

Returns:

  • (Boolean) 


121
122
123
 
# File 'lib/solargraph/complex_type/type_methods.rb', line 121

def fixed_parameters?
  parameters_type == :fixed
end

#generate_substring_from(&to_str) ⇒ String

Returns:

  • (String) 


181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
 
# File 'lib/solargraph/complex_type/type_methods.rb', line 181

def generate_substring_from &to_str
  key_types_str = key_types.map(&to_str).join(', ')
  subtypes_str = subtypes.map(&to_str).join(', ')
  if (key_types.none?(&:defined?) && subtypes.none?(&:defined?)) ||
     (key_types.empty? && subtypes.empty?)
    ''
  elsif hash_parameters?
    "{#{key_types_str} => #{subtypes_str}}"
  elsif fixed_parameters?
    "(#{subtypes_str})"
  elsif name == 'Hash'
    "<#{key_types_str}, #{subtypes_str}>"
  else
    "<#{key_types_str}#{subtypes_str}>"
  end
end

#hash_parameters? ⇒ Boolean

Returns:

  • (Boolean) 


126
127
128
 
# File 'lib/solargraph/complex_type/type_methods.rb', line 126

def hash_parameters?
  parameters_type == :hash
end

#interface? ⇒ Boolean

Whether this is an RBS interface like _ToAry or Hash::_Key.

Returns:

  • (Boolean) 


47
48
49
 
# File 'lib/solargraph/complex_type/type_methods.rb', line 47

def interface?
  name.start_with?('_') || name.include?('::_')
end

#key_types ⇒ Array<ComplexType>

Returns:



136
137
138
 
# File 'lib/solargraph/complex_type/type_methods.rb', line 136

def key_types
  @key_types
end

#list_parameters? ⇒ Boolean

Returns:

  • (Boolean) 


116
117
118
 
# File 'lib/solargraph/complex_type/type_methods.rb', line 116

def list_parameters?
  parameters_type == :list
end

#namespace ⇒ String

Returns:

  • (String) 


141
142
143
144
145
146
147
148
 
# File 'lib/solargraph/complex_type/type_methods.rb', line 141

def namespace
  # if priority higher than ||=, old implements cause unnecessary check
  @namespace ||= lambda do
    return 'Object' if duck_type?
    return 'NilClass' if nil_type?
    %w[Class Module].include?(name) && !subtypes.empty? ? subtypes.first.name : name
  end.call
end

#namespace_type ⇒ self

Returns:

  • (self) 


151
152
153
154
155
156
 
# File 'lib/solargraph/complex_type/type_methods.rb', line 151

def namespace_type
  return ComplexType.parse('::Object') if duck_type?
  return ComplexType.parse('::NilClass') if nil_type?
  return subtypes.first if %w[Class Module].include?(name) && !subtypes.empty?
  self
end

#nil_type? ⇒ Boolean

Returns:

  • (Boolean) 


57
58
59
 
# File 'lib/solargraph/complex_type/type_methods.rb', line 57

def nil_type?
  @nil_type ||= name.casecmp('nil').zero?
end

#qualify(api_map, context = '') ⇒ self, ...

Generate a ComplexType that fully qualifies this type’s namespaces.

Parameters:

  • api_map (ApiMap) —

    The ApiMap that performs qualification

  • context (String) (defaults to: '') —

    The namespace from which to resolve names

Returns:



216
217
218
219
220
221
222
223
224
225
226
227
228
 
# File 'lib/solargraph/complex_type/type_methods.rb', line 216

def qualify api_map, context = ''
  transform do |t|
    next t if t.name == GENERIC_TAG_NAME
    next t if t.duck_type? || t.void? || t.undefined?
    recon = (t.rooted? ? '' : context)
    fqns = api_map.qualify(t.name, recon)
    if fqns.nil?
      next UniqueType::BOOLEAN if t.tag == 'Boolean'
      next UniqueType::UNDEFINED
    end
    t.recreate(new_name: fqns, make_rooted: true)
  end
end

#rooted? ⇒ Object 




# File 'lib/solargraph/complex_type/type_methods.rb', line 19

#rooted_name ⇒ String

Returns:

  • (String) 


165
166
167
168
 
# File 'lib/solargraph/complex_type/type_methods.rb', line 165

def rooted_name
  return name unless @rooted && can_root_name?
  "::#{name}"
end

#rooted_namespace ⇒ String

Returns:

  • (String) 


159
160
161
162
 
# File 'lib/solargraph/complex_type/type_methods.rb', line 159

def rooted_namespace
  return namespace unless rooted? && can_root_name?(namespace)
  "::#{namespace}"
end

#rooted_substring ⇒ String

Returns:

  • (String) 


176
177
178
 
# File 'lib/solargraph/complex_type/type_methods.rb', line 176

def rooted_substring
  @rooted_substring = generate_substring_from(&:rooted_tags)
end

#rooted_tag ⇒ String

Returns:

  • (String) 


42
43
44
 
# File 'lib/solargraph/complex_type/type_methods.rb', line 42

def rooted_tag
  @rooted_tag ||= rooted_name + rooted_substring
end

#scope ⇒ ::Symbol

Returns :class or :instance.

Returns:

  • (::Symbol) —

    :class or :instance



199
200
201
202
 
# File 'lib/solargraph/complex_type/type_methods.rb', line 199

def scope
  @scope ||= :instance if duck_type? || nil_type?
  @scope ||= %w[Class Module].include?(name) && !subtypes.empty? ? :class : :instance
end

#substring ⇒ String

Returns:

  • (String) 


171
172
173
 
# File 'lib/solargraph/complex_type/type_methods.rb', line 171

def substring
  @substring ||= generate_substring_from(&:tags)
end

#tag ⇒ String

Returns:

  • (String) 


37
38
39
 
# File 'lib/solargraph/complex_type/type_methods.rb', line 37

def tag
  @tag ||= "#{name}#{substring}"
end

#transform(new_name = nil) {|t| ... } ⇒ UniqueType?

Parameters:

  • new_name (String, nil) (defaults to: nil)

Yield Parameters:

Yield Returns:

Returns:




# File 'lib/solargraph/complex_type/type_methods.rb', line 19

#tuple? ⇒ Boolean

Returns:

  • (Boolean) 


61
62
63
 
# File 'lib/solargraph/complex_type/type_methods.rb', line 61

def tuple?
  @tuple ||= (name == 'Tuple') || (name == 'Array' && subtypes.length >= 1 && fixed_parameters?)
end

#undefined? ⇒ Boolean

Returns:

  • (Boolean) 


73
74
75
 
# File 'lib/solargraph/complex_type/type_methods.rb', line 73

def undefined?
  name == 'undefined'
end

#value_types ⇒ Array<ComplexType>

Returns:



131
132
133
 
# File 'lib/solargraph/complex_type/type_methods.rb', line 131

def value_types
  @subtypes
end

#void? ⇒ Boolean

Returns:

  • (Boolean) 


65
66
67
 
# File 'lib/solargraph/complex_type/type_methods.rb', line 65

def void?
  name == 'void'
end