Class: RBS::Prototype::Runtime::StructGenerator

Inherits:
ValueObjectBase show all
Defined in:
lib/rbs/prototype/runtime/value_object_generator.rb,
sig/prototype/runtime.rbs

Constant Summary collapse

CAN_CALL_KEYWORD_INIT_P =

Returns:

  • (Boolean) 
Struct.new(:tmp).respond_to?(:keyword_init?)

Class Method Summary collapse

Instance Method Summary collapse

Methods inherited from ValueObjectBase

#build_decl, #build_member_accessors, #build_s_members, #initialize

Methods included from Helpers

#const_name, #const_name!, #only_name, #to_type_name, #untyped

Constructor Details

This class inherits a constructor from RBS::Prototype::Runtime::ValueObjectBase

Class Method Details

.generatable?(target) ⇒ Boolean

Parameters:

  • target (Class)

Returns:

  • (Boolean) 


92
93
94
95
96
97
98
 
# File 'lib/rbs/prototype/runtime/value_object_generator.rb', line 92

def self.generatable?(target)
  return false unless target < Struct
  # Avoid direct inherited class like `class Option < Struct`
  return false unless target.respond_to?(:members)

  true
end

Instance Method Details

#add_decl_members(decl) ⇒ void

This method returns an undefined value.

Parameters:



108
109
110
111
112
113
 
# File 'lib/rbs/prototype/runtime/value_object_generator.rb', line 108

def add_decl_members(decl)
  decl.members.concat build_s_new
  decl.members.concat build_s_keyword_init_p
  decl.members.concat build_s_members
  decl.members.concat build_member_accessors(AST::Members::AttrAccessor)
end

#build_overload_for_keyword_arguments ⇒ AST::Members::MethodDefinition::Overload

Returns:



165
166
167
168
169
170
171
172
173
174
175
176
177
 
# File 'lib/rbs/prototype/runtime/value_object_generator.rb', line 165

def build_overload_for_keyword_arguments
  AST::Members::MethodDefinition::Overload.new(
    annotations: [],
    method_type: MethodType.new(
      type: Types::Function.empty(Types::Bases::Instance.new(location: nil)).update(
        optional_keywords: @target_class.members.to_h { |m| [m, Types::Function::Param.new(name: nil, type: untyped)] },
      ),
      type_params: [],
      block: nil,
      location: nil,
    )
  )
end

#build_overload_for_positional_arguments ⇒ AST::Members::MethodDefinition::Overload

Returns:



151
152
153
154
155
156
157
158
159
160
161
162
163
 
# File 'lib/rbs/prototype/runtime/value_object_generator.rb', line 151

def build_overload_for_positional_arguments
  AST::Members::MethodDefinition::Overload.new(
    annotations: [],
    method_type: MethodType.new(
      type: Types::Function.empty(Types::Bases::Instance.new(location: nil)).update(
        optional_positionals: @target_class.members.map { |m| Types::Function::Param.new(name: m, type: untyped) },
      ),
      type_params: [],
      block: nil,
      location: nil,
    )
  )
end

#build_s_keyword_init_p ⇒ Array[AST::Members::MethodDefinition]

def self.keyword_init?: () -> bool?

Returns:



180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
 
# File 'lib/rbs/prototype/runtime/value_object_generator.rb', line 180

def build_s_keyword_init_p
  return [] unless CAN_CALL_KEYWORD_INIT_P

  return_type = @target_class.keyword_init?.nil? \
              ? Types::Bases::Nil.new(location: nil)
              : Types::Literal.new(literal: @target_class.keyword_init?, location: nil)
  type = Types::Function.empty(return_type)

  [
    AST::Members::MethodDefinition.new(
      name: :keyword_init?,
      overloads: [
        AST::Members::MethodDefinition::Overload.new(
          annotations: [],
          method_type: MethodType.new(
            type: type,
            type_params: [],
            block: nil,
            location: nil,
          )
        )
      ],
      kind: :singleton,
      location: nil,
      comment: nil,
      annotations: [],
      overloading: false,
      visibility: nil
    )
  ]
end

#build_s_new ⇒ Array[AST::Members::MethodDefinition]

def self.new: (?untyped foo, ?untyped bar) -> instance | (?foo: untyped, ?bar: untyped) -> instance

Returns:



117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
 
# File 'lib/rbs/prototype/runtime/value_object_generator.rb', line 117

def build_s_new
  [:new, :[]].map do |name|
    new_overloads = [] #: Array[AST::Members::MethodDefinition::Overload]

    if CAN_CALL_KEYWORD_INIT_P
      case @target_class.keyword_init?
      when false
        new_overloads << build_overload_for_positional_arguments
      when true
        new_overloads << build_overload_for_keyword_arguments
      when nil
        new_overloads << build_overload_for_positional_arguments
        new_overloads << build_overload_for_keyword_arguments
      else
        raise
      end
    else
      new_overloads << build_overload_for_positional_arguments
      new_overloads << build_overload_for_keyword_arguments
    end

    AST::Members::MethodDefinition.new(
      name: name,
      overloads: new_overloads,
      kind: :singleton,
      location: nil,
      comment: nil,
      annotations: [],
      overloading: false,
      visibility: nil
    )
  end
end

#build_super_class ⇒ AST::Declarations::Class::Super

Returns:



104
105
106
 
# File 'lib/rbs/prototype/runtime/value_object_generator.rb', line 104

def build_super_class
  AST::Declarations::Class::Super.new(name: TypeName.parse("::Struct"), args: [untyped], location: nil)
end