Class: Rigor::Scope::IndexedKey

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

Overview

Narrowing key for an indexed read receiver[key] where both the receiver and the key are stable enough to address. The value of the map at this key is the narrowed type the next read at the same address MUST observe.

  • receiver_kind ∈ {:local, :ivar} — the analyzer only tracks reads against a local or instance variable today.
  • receiver_name is the variable's Symbol.
  • key is the Ruby value of the literal index (Symbol / String / Integer). Non-literal keys (params[field]) are not recorded; they have no stable address.

Instance Attribute Summary collapse

Instance Attribute Details

#key ⇒ Object (readonly)

Returns the value of attribute key

Returns:

  • (Object) —

    the current value of key



65
66
67
 
# File 'lib/rigor/scope.rb', line 65

def key
  @key
end

#receiver_kind ⇒ Object (readonly)

Returns the value of attribute receiver_kind

Returns:

  • (Object) —

    the current value of receiver_kind



65
66
67
 
# File 'lib/rigor/scope.rb', line 65

def receiver_kind
  @receiver_kind
end

#receiver_name ⇒ Object (readonly)

Returns the value of attribute receiver_name

Returns:

  • (Object) —

    the current value of receiver_name



65
66
67
 
# File 'lib/rigor/scope.rb', line 65

def receiver_name
  @receiver_name
end