Class: Rigor::RbsExtended::ParamOverride

Inherits:

Data

• Object
• Data
• Rigor::RbsExtended::ParamOverride

Defined in:

lib/rigor/rbs_extended.rb

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

• #param_name ⇒ Object readonly

  Returns the value of attribute param_name.

• #type ⇒ Object readonly

  Returns the value of attribute type.

Instance Attribute Details

#param_name ⇒ Object (readonly)

Returns the value of attribute param_name

Returns:

• (Object) —

  the current value of param_name

# File 'lib/rigor/rbs_extended.rb', line 343

def param_name
  @param_name
end

#type ⇒ Object (readonly)

Returns the value of attribute type

Returns:

• (Object) —

  the current value of type

# File 'lib/rigor/rbs_extended.rb', line 343

def type
  @type
end