class Ikra::TypeInference::SymbolTable::Variable

Represents a lexical or local variable. Variables have a type and can read and/or written, all of which is stored in this class.

Attributes

kind[R]

Determines the kind of the variables: lexial or local

read[RW]
type[R]
written[RW]

Public Class Methods

new(type: Types::UnionType.new, kind: :local) click to toggle source
# File lib/types/inference/symbol_table.rb, line 23
def initialize(type: Types::UnionType.new, kind: :local)
    @type = type.dup
    @kind = kind
    @read = false
    @written = false
end