Class: Rigor::RbsExtended::ParamOverride

Inherits:
Data
  • Object
show all
Defined in:
lib/rigor/rbs_extended.rb,
sig/rigor/rbs_extended.rbs

Overview

Returned for rigor:v1:param: <name> <refinement>. The parameter name is a Ruby identifier (Symbol); the type is any Rigor::Type the refinement parser resolves (bare kebab-case name, parameterised form, or int<...> range — the same grammar the return: directive accepts).

Instance Attribute Summary collapse

Class Method Summary collapse

Instance Attribute Details

#param_name ⇒ Object (readonly)

Returns the value of attribute param_name

Returns:

  • (Object) —

    the current value of param_name



448
449
450
 
# File 'lib/rigor/rbs_extended.rb', line 448

def param_name
  @param_name
end

#type ⇒ Object (readonly)

Returns the value of attribute type

Returns:

  • (Object) —

    the current value of type



448
449
450
 
# File 'lib/rigor/rbs_extended.rb', line 448

def type
  @type
end

Class Method Details

.new ⇒ ParamOverride

Parameters:

  • param_name: (Symbol)
  • type: (Type::t)

Returns:



54
 
# File 'sig/rigor/rbs_extended.rbs', line 54

def self.new: (param_name: Symbol, type: Type::t) -> ParamOverride