Class: Solargraph::ComplexType::UniqueType
- Inherits:
-
Object
- Object
- Solargraph::ComplexType::UniqueType
- Includes:
- TypeMethods
- Defined in:
- lib/solargraph/complex_type/unique_type.rb
Overview
An individual type signature. A complex type can consist of multiple unique types.
Constant Summary collapse
Instance Attribute Summary
Attributes included from TypeMethods
#name, #substring, #subtypes, #tag
Instance Method Summary collapse
-
#initialize(name, substring = '') ⇒ UniqueType
constructor
Create a UniqueType with the specified name and an optional substring.
- #self_to(dst) ⇒ Object
- #selfy? ⇒ Boolean
- #to_s ⇒ Object
Methods included from TypeMethods
#==, #defined?, #duck_type?, #fixed_parameters?, #hash_parameters?, #key_types, #list_parameters?, #namespace, #nil_type?, #parameters?, #qualify, #rooted?, #scope, #undefined?, #value_types, #void?
Constructor Details
#initialize(name, substring = '') ⇒ UniqueType
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>`.
18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 |
# File 'lib/solargraph/complex_type/unique_type.rb', line 18 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 |
Instance Method Details
#self_to(dst) ⇒ Object
49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 |
# File 'lib/solargraph/complex_type/unique_type.rb', line 49 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? ⇒ Boolean
67 68 69 |
# File 'lib/solargraph/complex_type/unique_type.rb', line 67 def selfy? @name == 'self' || @key_types.any?(&:selfy?) || @subtypes.any?(&:selfy?) end |
#to_s ⇒ Object
45 46 47 |
# File 'lib/solargraph/complex_type/unique_type.rb', line 45 def to_s tag end |