Module: Emfrp::MakeNameDict

Extended by:
MakeNameDict
Included in:
MakeNameDict
Defined in:
lib/emfrp/pre_convert/make_name_dict.rb

Instance Method Summary collapse

Instance Method Details

#make_name_dict(top) ⇒ Object 



5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
 
# File 'lib/emfrp/pre_convert/make_name_dict.rb', line 5

def make_name_dict(top)
  top[:dict] = {
    :node_space => {},
    :func_space => {},
    :type_space => {},
    :data_space => {},
    :const_space => {},
    :ifunc_space => {},
    :itype_space => {},
    :sorted_datas => [],
    :sorted_nodes => [],
    :used_pfuncs => [],
  }
  (top[:inputs] + top[:nodes]).each{|x| set_dict(top[:dict], x)}
  (top[:funcs] + top[:pfuncs]).each{|x| set_dict(top[:dict], x)}
  (top[:types] + top[:ptypes]).each{|x| set_dict(top[:dict], x)}
  top[:datas].each{|x| set_dict(top[:dict], x)}
  top[:outputs].each do |x|
    unless top[:dict][:node_space][x[:name][:desc]]
      PreConvert.err(:undef, "Output node `#{x[:name][:desc]}' is undefined:\n", x)
    end
  end
end

#remove_dict(dict, definition) ⇒ Object

remove definition from dict. definition should not be depended by others



77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
 
# File 'lib/emfrp/pre_convert/make_name_dict.rb', line 77

def remove_dict(dict, definition)
  name = definition[:name][:desc]
  case definition
  when FuncDef
    dict[:func_space].delete(name) if dict[:func_space][name] && dict[:func_space][name].get == definition
  when TypeDef
    dict[:type_space].delete(name) if dict[:type_space][name] && dict[:type_space][name].get == definition
    definition[:tvalues].each do |x|
      remove_dict(dict, x)
    end
  when DataDef
    dict[:data_space].delete(name) if dict[:data_space][name] && dict[:data_space][name].get == definition
  when TValue
    dict[:const_space].delete(name) if dict[:const_space][name] && dict[:const_space][name].get == definition
  else
    raise "Assertion error: unexpected definition-type #{definition.class}"
  end
end

#set_dict(dict, definition) ⇒ Object 



29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
 
# File 'lib/emfrp/pre_convert/make_name_dict.rb', line 29

def set_dict(dict, definition)
  name = definition[:name][:desc]
  case definition
  when InputDef, NodeDef
    if dict[:node_space][name]
      PreConvert.err(:dup, "Duplicate node/input name `#{name}':\n", dict[:node_space][name].get, definition)
    else
      dict[:node_space][name] = Link.new(definition)
    end
  when FuncDef, PrimFuncDef
    if dict[:func_space][name]
      PreConvert.err(:dup, "Duplicate func/pfunc name `#{name}':\n", dict[:func_space][name].get, definition)
    else
      dict[:func_space][name] = Link.new(definition)
      if definition.is_a?(FuncDef)
      end
    end
  when TypeDef, PrimTypeDef
    if dict[:type_space][name]
      PreConvert.err(:dup, "Duplicate type/ptype name `#{name}':\n", dict[:type_space][name].get, definition)
    else
      dict[:type_space][name] = Link.new(definition)
      if definition.is_a?(TypeDef)
        definition[:tvalues].each do |x|
          x[:type_def] = Link.new(definition)
          set_dict(dict, x)
        end
      end
    end
  when DataDef
    if dict[:data_space][name]
      PreConvert.err(:dup, "Duplicate data name `#{name}':\n", dict[:data_space][name].get, definition)
    else
      dict[:data_space][name] = Link.new(definition)
    end
  when TValue
    if dict[:const_space][name]
      PreConvert.err(:dup, "Duplicate constructor name `#{name}':\n", dict[:const_space][name].get, definition)
    else
      dict[:const_space][name] = Link.new(definition)
    end
  else
    raise "Assertion error: unexpected definition-type #{definition.class}"
  end
end