class TypeProf::Core::Type::Hash

Public Class Methods

new(genv, literal_pairs, base_type) click to toggle source

: (GlobalEnv, ::Array[Vertex], Instance) -> void

# File typeprof-0.30.1/lib/typeprof/core/type.rb, line 236
def initialize(genv, literal_pairs, base_type)
  @literal_pairs = literal_pairs
  @base_type = base_type
  raise unless base_type.is_a?(Instance)
end

Public Instance Methods

base_type(genv) click to toggle source

# File typeprof-0.30.1/lib/typeprof/core/type.rb, line 250
def base_type(genv)
  @base_type
end

check_match(genv, changes, vtx) click to toggle source

# File typeprof-0.30.1/lib/typeprof/core/type.rb, line 254
def check_match(genv, changes, vtx)
  # TODO: implement
  @base_type.check_match(genv, changes, vtx)
end

get_key() click to toggle source

# File typeprof-0.30.1/lib/typeprof/core/type.rb, line 242
def get_key
  @base_type.args[0]
end

get_value(key = nil) click to toggle source

# File typeprof-0.30.1/lib/typeprof/core/type.rb, line 246
def get_value(key = nil)
  @literal_pairs[key] || @base_type.args[1]
end

show() click to toggle source

# File typeprof-0.30.1/lib/typeprof/core/type.rb, line 259
def show
  @base_type.show
end