module TypeProf::Core::ConstRead

# File typeprof-0.30.1/lib/typeprof/core/env/static_read.rb, line 90
def check_module(genv, mod)
  cdef = mod.consts[@name]
  if cdef && cdef.exist?
    inner_mod = genv.resolve_cpath(mod.cpath + [@name]) # TODO
    cpath = inner_mod.exist? ? inner_mod.cpath : nil
    update_module(genv, cpath, cdef)
    return true
  end
  return false
end

# File typeprof-0.30.1/lib/typeprof/core/env/static_read.rb, line 101
def resolution_failed(genv)
  update_module(genv, nil, nil)
end

# File typeprof-0.30.1/lib/typeprof/core/env/static_read.rb, line 105
def update_module(genv, cpath, cdef)
  if cpath != @cpath || cdef != @cdef
    @cpath = cpath
    @cdef = cdef
    propagate(genv)
  end
end