123456789_123456789_123456789_123456789_123456789_

Class: RBS::Environment::MultiEntry

Relationships & Source Files
Extension / Inclusion / Inheritance Descendants
Subclasses:
ClassEntry, ModuleEntry
Inherits: Object
Defined in: lib/rbs/environment.rb

Constant Summary

Class Method Summary

Instance Attribute Summary

Instance Method Summary

Constructor Details

.new(name:) ⇒ MultiEntry

[ GitHub ] 

  


# File 'lib/rbs/environment.rb', line 30



def initialize(name:)
  @name = name
  @decls = []
end


  







Instance Attribute Details



  

    #decls   (readonly)
  

  [ GitHub ]


  

  


# File 'lib/rbs/environment.rb', line 28



attr_reader :decls


  








  

    #name   (readonly)
  

  [ GitHub ]


  

  


# File 'lib/rbs/environment.rb', line 27



attr_reader :name


  







Instance Method Details



  

    #insert(decl:, outer:)  
  

  [ GitHub ]


  

  


# File 'lib/rbs/environment.rb', line 35



def insert(decl:, outer:)
  decls << D.new(decl: decl, outer: outer)
  @primary = nil
end


  








  

    #primary  
  

  [ GitHub ]


  

  


# File 'lib/rbs/environment.rb', line 62



def primary
  raise "Not implemented"
end


  








  

    #type_params  
  

  [ GitHub ]


  

  


# File 'lib/rbs/environment.rb', line 58



def type_params
  primary.decl.type_params
end


  








  

    #validate_type_params  
  

  [ GitHub ]


  

  


# File 'lib/rbs/environment.rb', line 40



def validate_type_params
  unless decls.empty?
    hd_decl, *tl_decls = decls
    raise unless hd_decl

    hd_params = hd_decl.decl.type_params
    hd_names = hd_params.params.map(&:name)

    tl_decls.each do |tl_decl|
      tl_params = tl_decl.decl.type_params

      unless hd_params.size == tl_params.size && hd_params == tl_params.rename_to(hd_names)
        raise GenericParameterMismatchError.new(name: name, decl: tl_decl.decl)
      end
    end
  end
end