class TypedRb::Model::TmGlobalVar

instance variable

Attributes

val[RW]

Public Class Methods

new(val, node) click to toggle source
Calls superclass method TypedRb::Model::Expr::new
# File lib/typed/model/tm_global_var.rb, line 9
def initialize(val, node)
  super(node)
  @val = val
end

Public Instance Methods

check_type(_context) click to toggle source
# File lib/typed/model/tm_global_var.rb, line 14
def check_type(_context)
  type = Types::TypingContext.type_variable_for_global(val)
  type.node = node
  type
end