module TypeProf::Core::ConstRead

# File bundled-src/typeprof-0.31.1/lib/typeprof/core/env/static_read.rb, line 91
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 bundled-src/typeprof-0.31.1/lib/typeprof/core/env/static_read.rb, line 102
def resolution_failed(genv)
  update_module(genv, nil, nil)
end

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