par/ast-enum.lua at master · xaberus/par · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
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
74
75
76
77
78
79
80
81
82
83
84
85
86
Enumerator = Class("Enumerator", {
  repr = function(self, indent)
    if self.value then
      return self.id .. " = " .. self.value:repr(indent)
    else
      return self.id
    end
  end,
  get_type = function(self, env)
    return self.ctype
  end,
},
function(E, env, enum, tree)
  --dump(tree, nil, nil, nil, "enumerator")
  local self = mktab(env, tree, {}, E)
  local v = tree.iden.value
  self.enum = enum
  self.id = v
  if tree.value then
    self.value = tree.value
  end
  self.ctype = enum.ctype
  env:sym_reg(v, self)
  self.cid = tassert(nil, env:ns_get_sym(v), "AST/Enumerator no c id")
  return self
end)

Enum = Class("Enum", {
  repr = function(self, indent)
    if #self>0 and indent then
      local tab = {}
      local indent2 = indent .. "  "
      for k, v in ipairs(self) do
        tab[#tab+1] = indent2 .. v:repr(indent)
      end
      return "enum " .. self.id .. " {\n" ..concat(tab, ",\n") .. "\n" .. indent .. "}"
    else
      return "enum " .. self.id
    end
  end,
},
function(E, env, tree)
  --dump(tree, nil, nil, nil, "enum")
  local list = tree.list
  local v = tassert(tree._m, tree.enum, "no id")

  if #v == 0 then
    local tmpl = "anonymous%s"
    local i = 1
    while true do
      local id = format(tmpl, i)
      local e = env:enum_get(id)
      if not e then
        v = id
        break
      else
        i = i + 1
      end
    end
  end

  if list then
    local self = mktab(env, tree, {}, E)
    local etype = setmetatable({
      reg = "e";
      enum = self;
      qual = {};
      complete = true;
    }, Type) -- hacky?

    env:enum_reg(v, self)

    self.id = v
    self.cid = tassert(nil, env:ns_get_enum(v), "AST/Enum no c id")
    self.ctype = etype

    return self
  else
    local enum = tassert(tree.enum, env:enum_get_r(v), "no enum %s in this scope", v)
    local self = mktab(env, tree, {}, E)
    self.id = v
    self.ctype = enum.ctype
    self.cid = tassert(nil, env:ns_get_enum(v), "AST/Enum no c id")
    return self
  end
end)