Class: RBS::Definition

Inherits:
Object
  • Object
show all
Defined in:
lib/rbs/definition.rb

Defined Under Namespace

Modules: Ancestor Classes: InstanceAncestors, Method, SingletonAncestors, Variable

Instance Attribute Summary collapse

Instance Method Summary collapse

Constructor Details

#initialize(type_name:, entry:, self_type:, ancestors:) ⇒ Definition

Returns a new instance of Definition.



196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
 
# File 'lib/rbs/definition.rb', line 196

def initialize(type_name:, entry:, self_type:, ancestors:)
  case entry
  when Environment::ClassEntry, Environment::ModuleEntry
    # ok
  else
    unless entry.decl.is_a?(AST::Declarations::Interface)
      raise "Declaration should be a class, module, or interface: #{type_name}"
    end
  end

  unless self_type.is_a?(Types::ClassSingleton) || self_type.is_a?(Types::Interface) || self_type.is_a?(Types::ClassInstance)
    raise "self_type should be the type of declaration: #{self_type}"
  end

  @type_name = type_name
  @self_type = self_type
  @entry = entry
  @methods = {}
  @instance_variables = {}
  @class_variables = {}
  @ancestors = ancestors
end

Instance Attribute Details

#ancestors ⇒ Object (readonly)

Returns the value of attribute ancestors.



190
191
192
 
# File 'lib/rbs/definition.rb', line 190

def ancestors
  @ancestors
end

#class_variables ⇒ Object (readonly)

Returns the value of attribute class_variables.



194
195
196
 
# File 'lib/rbs/definition.rb', line 194

def class_variables
  @class_variables
end

#entry ⇒ Object (readonly)

Returns the value of attribute entry.



189
190
191
 
# File 'lib/rbs/definition.rb', line 189

def entry
  @entry
end

#instance_variables ⇒ Object (readonly)

Returns the value of attribute instance_variables.



193
194
195
 
# File 'lib/rbs/definition.rb', line 193

def instance_variables
  @instance_variables
end

#methods ⇒ Object (readonly)

Returns the value of attribute methods.



192
193
194
 
# File 'lib/rbs/definition.rb', line 192

def methods
  @methods
end

#self_type ⇒ Object (readonly)

Returns the value of attribute self_type.



191
192
193
 
# File 'lib/rbs/definition.rb', line 191

def self_type
  @self_type
end

#type_name ⇒ Object (readonly)

Returns the value of attribute type_name.



188
189
190
 
# File 'lib/rbs/definition.rb', line 188

def type_name
  @type_name
end

Instance Method Details

#class? ⇒ Boolean

Returns:

  • (Boolean) 


219
220
221
 
# File 'lib/rbs/definition.rb', line 219

def class?
  entry.is_a?(Environment::ClassEntry)
end

#class_type? ⇒ Boolean

Returns:

  • (Boolean) 


234
235
236
 
# File 'lib/rbs/definition.rb', line 234

def class_type?
  self_type.is_a?(Types::ClassSingleton)
end

#each_type(&block) ⇒ Object 



279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
 
# File 'lib/rbs/definition.rb', line 279

def each_type(&block)
  if block
    methods.each_value do |method|
      if method.defined_in == type_name
        method.method_types.each do |method_type|
          method_type.each_type(&block)
        end
      end
    end

    instance_variables.each_value do |var|
      if var.declared_in == type_name
        yield var.type
      end
    end

    class_variables.each_value do |var|
      if var.declared_in == type_name
        yield var.type
      end
    end
  else
    enum_for :each_type
  end
end

#instance_type? ⇒ Boolean

Returns:

  • (Boolean) 


238
239
240
 
# File 'lib/rbs/definition.rb', line 238

def instance_type?
  self_type.is_a?(Types::ClassInstance)
end

#interface? ⇒ Boolean

Returns:

  • (Boolean) 


227
228
229
230
231
232
 
# File 'lib/rbs/definition.rb', line 227

def interface?
  case en = entry
  when Environment::SingleEntry
    en.decl.is_a?(AST::Declarations::Interface)
  end
end

#interface_type? ⇒ Boolean

Returns:

  • (Boolean) 


242
243
244
 
# File 'lib/rbs/definition.rb', line 242

def interface_type?
  self_type.is_a?(Types::Interface)
end

#map_method_type(&block) ⇒ Object 



269
270
271
272
273
274
275
276
277
 
# File 'lib/rbs/definition.rb', line 269

def map_method_type(&block)
  definition = self.class.new(type_name: type_name, self_type: self_type, ancestors: ancestors, entry: entry)

  definition.methods.merge!(methods.transform_values {|method| method.map_method_type(&block) })
  definition.instance_variables.merge!(instance_variables)
  definition.class_variables.merge!(class_variables)

  definition
end

#module? ⇒ Boolean

Returns:

  • (Boolean) 


223
224
225
 
# File 'lib/rbs/definition.rb', line 223

def module?
  entry.is_a?(Environment::ModuleEntry)
end

#sub(s) ⇒ Object 



259
260
261
262
263
264
265
266
267
 
# File 'lib/rbs/definition.rb', line 259

def sub(s)
  definition = self.class.new(type_name: type_name, self_type: _ = self_type.sub(s), ancestors: ancestors, entry: entry)

  definition.methods.merge!(methods.transform_values {|method| method.sub(s) })
  definition.instance_variables.merge!(instance_variables.transform_values {|v| v.sub(s) })
  definition.class_variables.merge!(class_variables.transform_values {|v| v.sub(s) })

  definition
end

#type_params ⇒ Object 



246
247
248
 
# File 'lib/rbs/definition.rb', line 246

def type_params
  type_params_decl.each.map(&:name)
end

#type_params_decl ⇒ Object 



250
251
252
253
254
255
256
257
 
# File 'lib/rbs/definition.rb', line 250

def type_params_decl
  case en = entry
  when Environment::ClassEntry, Environment::ModuleEntry
    en.type_params
  when Environment::SingleEntry
    en.decl.type_params
  end
end