type.lua

   1 $debug
   2
   3 function check (object, class)
   4  local v = next(object,nil);
   5  while v ~= nil do
   6    if class[v] = nil then print("unknown field: " .. v)
   7    elseif type(object[v]) ~= class[v].type
   8      then print("wrong type for field " .. v)
   9    end
  10    v = next(object,v);
  11  end
  12  v = next(class,nil);
  13  while v ~= nil do
  14    if object[v] = nil then
  15      if class[v].default ~= nil then
  16        object[v] = class[v].default
  17      else print("field "..v.." not initialized")
  18      end
  19    end
  20    v = next(class,v);
  21  end
  22 end
  23
  24 typetrilha = @{x = @{default = 0, type = "number"},
  25                y = @{default = 0, type = "number"},
  26                name = @{type = "string"}
  27               }
  28
  29 function trilha (t)  check(t,typetrilha) end
  30
  31 t1 = @trilha{ x = 4, name = "3"}
  32
  33 a = "na".."me"
  34
  35 \x1a