source: code/branches/gui/src/tolua/lua/function.lua @ 1660

-- tolua: function class
-- Written by Waldemar Celes
-- TeCGraf/PUC-Rio
-- Jul 1998
-- $Id: function.lua 1597 2008-03-11 22:25:01Z ice-drezday $

-- This code is free software; you can redistribute it and/or modify it.
-- The software provided hereunder is on an "as is" basis, and
-- the author has no obligation to provide maintenance, support, updates,
-- enhancements, or modifications.


-- CEGUILua mod
-- exception handling
-- patch from Tov
-- modded by Lindquist
exceptionDefs = exceptionDefs or {}
exceptionDefs["std::exception"]             = {}
exceptionDefs["std::exception"]["var"]      = "&e"
exceptionDefs["std::exception"]["c_str"]    = "e.what()"

exceptionDefs["any"]                        = {}
exceptionDefs["any"]["var"]                 = ""
exceptionDefs["any"]["c_str"]               = '"Unknown"'

exceptionMessageBufferSize = 512

function outputExceptionError(f,e,errBuf)
    -- if the exception is not "..." then use the "c_str" info the get a real exception message
    local messageC_str = true
    if e.name == "any" then
        messageC_str = false
    end

    -- make a default e.ret if empty
    if not e.ret or e.ret == "" then
        e.ret = "nil,message"
    end

    -- create a default exceptionDef if we dont have one
    if not exceptionDefs[e.name] then
        exceptionDefs[e.name] = {}
        exceptionDefs[e.name].var = "&e"
        exceptionDefs[e.name].c_str = '"Unknown"'
    end

    -- print catch header
    local nameToEcho = e.name
    if nameToEcho == "any" then
        nameToEcho = "..."
    end
    if e.ret == "nil" then
        output("catch(",nameToEcho," CEGUIDeadException(",exceptionDefs[e.name].var,"))\n{\n")
        else
        output("catch(",nameToEcho,exceptionDefs[e.name].var,")\n{\n")
        end

    -- if just a nil
    if e.ret == "nil" then
        output("return 0;\n")
    -- if error should be raised
    elseif string.find(e.ret,"error") then
        if messageC_str then
            output("snprintf(errorBuffer,"..exceptionMessageBufferSize..",\"Exception of type '"..e.name.."' was thrown by function '"..f.."'\\nMessage: %s\","..exceptionDefs[e.name].c_str..");\n")
        else
            output("snprintf(errorBuffer,"..exceptionMessageBufferSize..",\"Unknown exception thrown by function '"..f.."'\");\n")
        end
        output("errorDoIt = true;\n")
    -- else go through the returns
    else
        -- buffer for message
        if string.find(e.ret,"message") and messageC_str and errBuf == false then
            output("char errorBuffer["..exceptionMessageBufferSize.."];\n")
        end
        local numrets = 0
        local retpat = "(%w+),?"
        local i,j,retval = string.find(e.ret,retpat)
        while i do
            local code = ""

            -- NIL
            if retval == "nil" then
                code = "tolua_pushnil(tolua_S);\n"

            -- MESSAGE
            elseif retval == "message" then
                if messageC_str then
                    code = "snprintf(errorBuffer,"..exceptionMessageBufferSize..",\"Exception of type '"..e.name.."' was thrown by function '"..f.."'\\nMessage: %s\","..exceptionDefs[e.name].c_str..");\ntolua_pushstring(tolua_S,errorBuffer);\n"
                else
                    code = "tolua_pushstring(tolua_S,\"Unknown exception thrown by function '"..f.."'\");\n"
                end

            -- TRUE
            elseif retval == "true" then
                code = "tolua_pushboolean(tolua_S, 1);\n"

            -- FALSE
            elseif retval == "false" then
                code = "tolua_pushboolean(tolua_S, 0);\n"
            end

            -- print code for this return value
            if code ~= "" then
                output(code)
                numrets = numrets + 1
            end

            -- next return value
            i,j,retval = string.find(e.ret,retpat,j+1)
        end
        output("return ",numrets,";\n")
    end

    -- print catch footer
    output("}\n")
end

function outputExceptionCatchBlocks(func,throws,err)
    for i=1,table.getn(throws) do
        outputExceptionError(func, throws[i], err)
    end

    -- if an error should be raised, we do it here
    if err then
        output("if (errorDoIt) {\n")
        output("luaL_error(tolua_S,errorBuffer);\n")
        output("}\n")
    end
end


-- Function class
-- Represents a function or a class method.
-- The following fields are stored:
--  mod  = type modifiers
--  type = type
--  ptr  = "*" or "&", if representing a pointer or a reference
--  name = name
--  lname = lua name
--  args  = list of argument declarations
--  const = if it is a method receiving a const "this".
classFunction = {
 mod = '',
 type = '',
 ptr = '',
 name = '',
 args = {n=0},
 const = '',
}
classFunction.__index = classFunction
setmetatable(classFunction,classFeature)

-- declare tags
function classFunction:decltype ()
 self.type = typevar(self.type)
 if strfind(self.mod,'const') then
         self.type = 'const '..self.type
                self.mod = gsub(self.mod,'const','')
        end
 local i=1
 while self.args[i] do
  self.args[i]:decltype()
  i = i+1
 end
end


-- Write binding function
-- Outputs C/C++ binding function.
function classFunction:supcode (local_constructor)

 local overload = strsub(self.cname,-2,-1) - 1  -- indicate overloaded func
 local nret = 0      -- number of returned values
 local class = self:inclass()
 local _,_,static = strfind(self.mod,'^%s*(static)')
 if class then

        if self.name == 'new' and self.parent.flags.pure_virtual then
                -- no constructor for classes with pure virtual methods
                return
        end

        if local_constructor then
                output("/* method: new_local of class ",class," */")
        else
                output("/* method:",self.name," of class ",class," */")
        end
 else
  output("/* function:",self.name," */")
 end

 if local_constructor then
  output("#ifndef TOLUA_DISABLE_"..self.cname.."_local")
  output("\nstatic int",self.cname.."_local","(lua_State* tolua_S)")
 else
  output("#ifndef TOLUA_DISABLE_"..self.cname)
  output("\nstatic int",self.cname,"(lua_State* tolua_S)")
 end
 output("{")

 -- check types
        if overload < 0 then
         output('#ifndef TOLUA_RELEASE\n')
        end
        output(' tolua_Error tolua_err;')
 output(' if (\n')
 -- check self
 local narg
 if class then narg=2 else narg=1 end
 if class then
                local func = 'tolua_isusertype'
                local type = self.parent.type
                if self.name=='new' or static~=nil then
                        func = 'tolua_isusertable'
                        type = self.parent.type
                end
                if self.const ~= '' then
                        type = "const "..type
                end
                output('     !'..func..'(tolua_S,1,"'..type..'",0,&tolua_err) ||\n')
 end
 -- check args
 if self.args[1].type ~= 'void' then
  local i=1
  while self.args[i] do
   local btype = isbasic(self.args[i].type)
   if btype ~= 'value' and btype ~= 'state' then
    output('     !'..self.args[i]:outchecktype(narg)..' ||\n')
   end
   if btype ~= 'state' then
           narg = narg+1
   end
   i = i+1
  end
 end
 -- check end of list
 output('     !tolua_isnoobj(tolua_S,'..narg..',&tolua_err)\n )')
        output('  goto tolua_lerror;')

 output(' else\n')
        if overload < 0 then
         output('#endif\n')
        end
        output(' {')

 -- declare self, if the case
 local narg
 if class then narg=2 else narg=1 end
 if class and self.name~='new' and static==nil then
  output(' ',self.const,self.parent.type,'*','self = ')
  output('(',self.const,self.parent.type,'*) ')
  output('tolua_tousertype(tolua_S,1,0);')
 elseif static then
  _,_,self.mod = strfind(self.mod,'^%s*static%s%s*(.*)')
 end
 -- declare parameters
 if self.args[1].type ~= 'void' then
  local i=1
  while self.args[i] do
   self.args[i]:declare(narg)
   if isbasic(self.args[i].type) ~= "state" then
           narg = narg+1
   end
   i = i+1
  end
 end

 -- check self
 if class and self.name~='new' and static==nil then
         output('#ifndef TOLUA_RELEASE\n')
  output('  if (!self) tolua_error(tolua_S,"invalid \'self\' in function \''..self.name..'\'",NULL);');
         output('#endif\n')
 end

 -- get array element values
 if class then narg=2 else narg=1 end
 if self.args[1].type ~= 'void' then
  local i=1
  while self.args[i] do
   self.args[i]:getarray(narg)
   narg = narg+1
   i = i+1
  end
 end

 --------------------------------------------------
 -- CEGUILua mod
 -- init exception handling
 local throws = false
 do
  local pattern = "tolua_throws|.*|"
  local i,j = string.find(self.mod, pattern)
  if i then
   throws = {}
   -- ensure table is empty.  Used to be: table.setn(throws,0)
   for x in pairs(throws) do
     throws[x] = nil
   end
   local excepts = string.sub(self.mod, i+12,j)
   local epattern = "|.-|"
   local i,j = string.find(excepts, epattern)
   while i do
    local e = string.sub(excepts,i+1,j-1)
    local _,_,name,rest = string.find(e, "([%w:_]+),?(.*)")
    table.insert(throws,{name=name, ret=rest})
    i,j = string.find(excepts, epattern, j)
   end
   self.mod = string.gsub(self.mod, pattern, "")
  end
 end
 local exRaiseError = false
 --------------------------------------------------

 local out = string.find(self.mod, "tolua_outside")

 ---------------
 -- CEGUILua mod
 -- remove "tolua_outside" from self.mod
 if out then
    self.mod = string.gsub(self.mod, "tolua_outside", "")
 end

 -- call function
 if class and self.name=='delete' then
  output('  delete self;')
 elseif class and self.name == 'operator&[]' then
  if flags['1'] then -- for compatibility with tolua5 ?
        output('  self->operator[](',self.args[1].name,'-1) = ',self.args[2].name,';')
  else
    output('  self->operator[](',self.args[1].name,') = ',self.args[2].name,';')
  end
 else
  -- CEGUILua mod begin- throws
  if throws then
    for i=1,table.getn(throws) do
        if string.find(throws[i].ret, "error") then
            output("char errorBuffer["..exceptionMessageBufferSize.."];\n")
            output("bool errorDoIt = false;\n")
            exRaiseError = true
            break
        end
    end
    output("try\n")
  end
  -- CEGUILua mod end - throws
  output('  {')
  if self.type ~= '' and self.type ~= 'void' then
   output('  ',self.mod,self.type,self.ptr,'tolua_ret = ')
   output('(',self.mod,self.type,self.ptr,') ')
  else
   output('  ')
  end
  if class and self.name=='new' then
   output('new',self.type,'(')
  elseif class and static then
        if out then
                output(self.name,'(')
        else
                output(class..'::'..self.name,'(')
        end
  elseif class then
        if out then
                output(self.name,'(')
        else
          if self.cast_operator then
                output('static_cast<',self.mod,self.type,self.ptr,'>(*self')
          else
                output('self->'..self.name,'(')
          end
        end
  else
   output(self.name,'(')
  end

  if out and not static then
        output('self')
        if self.args[1] and self.args[1].name ~= '' then
                output(',')
        end
  end
  -- write parameters
  local i=1
  while self.args[i] do
   self.args[i]:passpar()
   i = i+1
   if self.args[i] then
    output(',')
   end
  end

  if class and self.name == 'operator[]' and flags['1'] then
        output('-1);')
  else
        output(');')
  end

  -- return values
  if self.type ~= '' and self.type ~= 'void' then
   nret = nret + 1
   local t,ct = isbasic(self.type)
   if t then
        if self.cast_operator and _basic_raw_push[t] then
                output('   ',_basic_raw_push[t],'(tolua_S,(',ct,')tolua_ret);')
        else
            output('   tolua_push'..t..'(tolua_S,(',ct,')tolua_ret);')
        end
   else
                         t = self.type
                         new_t = string.gsub(t, "const%s+", "")
    if self.ptr == '' then
     output('   {')
     output('#ifdef __cplusplus\n')
     output('    void* tolua_obj = new',new_t,'(tolua_ret);')
     output('    tolua_pushusertype_and_takeownership(tolua_S,tolua_obj,"',t,'");')
     output('#else\n')
     output('    void* tolua_obj = tolua_copy(tolua_S,(void*)&tolua_ret,sizeof(',t,'));')
     output('    tolua_pushusertype_and_takeownership(tolua_S,tolua_obj,"',t,'");')
     output('#endif\n')
     output('   }')
    elseif self.ptr == '&' then
     output('   tolua_pushusertype(tolua_S,(void*)&tolua_ret,"',t,'");')
    else
        if local_constructor then
          output('   tolua_pushusertype_and_takeownership(tolua_S,(void *)tolua_ret,"',t,'");')
        else
                     output('   tolua_pushusertype(tolua_S,(void*)tolua_ret,"',t,'");')
            end
    end
   end
  end
  local i=1
  while self.args[i] do
   nret = nret + self.args[i]:retvalue()
   i = i+1
  end
  output('  }')

  ------------------------------------------
  -- CEGUILua mod
  -- finish exception handling
  -- catch
  if throws then
   outputExceptionCatchBlocks(self.name, throws, exRaiseError)
  end
  ------------------------------------------

  -- set array element values
  if class then narg=2 else narg=1 end
  if self.args[1].type ~= 'void' then
   local i=1
   while self.args[i] do
    self.args[i]:setarray(narg)
    narg = narg+1
    i = i+1
   end
  end

  -- free dynamically allocated array
  if self.args[1].type ~= 'void' then
   local i=1
   while self.args[i] do
    self.args[i]:freearray()
    i = i+1
   end
  end
 end

 output(' }')
 output(' return '..nret..';')

 -- call overloaded function or generate error
        if overload < 0 then

                output('#ifndef TOLUA_RELEASE\n')
                output('tolua_lerror:\n')
                output(' tolua_error(tolua_S,"#ferror in function \''..self.lname..'\'.",&tolua_err);')
                output(' return 0;')
                output('#endif\n')
        else
                local _local = ""
                if local_constructor then
                        _local = "_local"
                end
                output('tolua_lerror:\n')
                output(' return '..strsub(self.cname,1,-3)..format("%02d",overload).._local..'(tolua_S);')
        end
 output('}')
 output('#endif //#ifndef TOLUA_DISABLE\n')
 output('\n')

        -- recursive call to write local constructor
        if class and self.name=='new' and not local_constructor then

                self:supcode(1)
        end

end


-- register function
function classFunction:register (pre)

        if not self:check_public_access() then
                return
        end

        if self.name == 'new' and self.parent.flags.pure_virtual then
                -- no constructor for classes with pure virtual methods
                return
        end

 output(pre..'tolua_function(tolua_S,"'..self.lname..'",'..self.cname..');')
  if self.name == 'new' then
          output(pre..'tolua_function(tolua_S,"new_local",'..self.cname..'_local);')
          output(pre..'tolua_function(tolua_S,".call",'..self.cname..'_local);')
          --output(' tolua_set_call_event(tolua_S,'..self.cname..'_local, "'..self.parent.type..'");')
  end
end

-- Print method
function classFunction:print (ident,close)
 print(ident.."Function{")
 print(ident.." mod  = '"..self.mod.."',")
 print(ident.." type = '"..self.type.."',")
 print(ident.." ptr  = '"..self.ptr.."',")
 print(ident.." name = '"..self.name.."',")
 print(ident.." lname = '"..self.lname.."',")
 print(ident.." const = '"..self.const.."',")
 print(ident.." cname = '"..self.cname.."',")
 print(ident.." lname = '"..self.lname.."',")
 print(ident.." args = {")
 local i=1
 while self.args[i] do
  self.args[i]:print(ident.."  ",",")
  i = i+1
 end
 print(ident.." }")
 print(ident.."}"..close)
end

-- check if it returns an object by value
function classFunction:requirecollection (t)
        local r = false
        if self.type ~= '' and not isbasic(self.type) and self.ptr=='' then
                local type = gsub(self.type,"%s*const%s+","")
         t[type] = "tolua_collect_" .. clean_template(type)
         r = true
        end
        local i=1
        while self.args[i] do
                r = self.args[i]:requirecollection(t) or r
                i = i+1
        end
        return r
end

-- determine lua function name overload
function classFunction:overload ()
 return self.parent:overload(self.lname)
end


function param_object(par) -- returns true if the parameter has an object as its default value

        if not string.find(par, '=') then return false end -- it has no default value

        local _,_,def = string.find(par, "=(.*)$")

        if string.find(par, "|") then -- a list of flags

                return true
        end

        if string.find(par, "%*") then -- it's a pointer with a default value

                if string.find(par, '=%s*new') then -- it's a pointer with an instance as default parameter.. is that valid?
                        return true
                end
                return false -- default value is 'NULL' or something
        end


        if string.find(par, "[%(&]") then
                return true
        end -- default value is a constructor call (most likely for a const reference)

        --if string.find(par, "&") then

        --      if string.find(def, ":") or string.find(def, "^%s*new%s+") then

        --              -- it's a reference with default to something like Class::member, or 'new Class'
        --              return true
        --      end
        --end

        return false -- ?
end

function strip_last_arg(all_args, last_arg) -- strips the default value from the last argument

        local _,_,s_arg = string.find(last_arg, "^([^=]+)")
        last_arg = string.gsub(last_arg, "([%%%(%)])", "%%%1");
        all_args = string.gsub(all_args, "%s*,%s*"..last_arg.."%s*%)%s*$", ")")
        return all_args, s_arg
end



-- Internal constructor
function _Function (t)
 setmetatable(t,classFunction)

 if t.const ~= 'const' and t.const ~= '' then
  error("#invalid 'const' specification")
 end

 append(t)
 if t:inclass() then
 --print ('t.name is '..t.name..', parent.name is '..t.parent.name)
  if string.gsub(t.name, "%b<>", "") == string.gsub(t.parent.original_name or t.parent.name, "%b<>", "") then
   t.name = 'new'
   t.lname = 'new'
   t.parent._new = true
   t.type = t.parent.name
   t.ptr = '*'
  elseif string.gsub(t.name, "%b<>", "") == '~'..string.gsub(t.parent.original_name or t.parent.name, "%b<>", "") then
   t.name = 'delete'
   t.lname = 'delete'
   t.parent._delete = true
  end
 end
 t.cname = t:cfuncname("tolua")..t:overload(t)
 return t
end

-- Constructor
-- Expects three strings: one representing the function declaration,
-- another representing the argument list, and the third representing
-- the "const" or empty string.
function Function (d,a,c)
 --local t = split(strsub(a,2,-2),',') -- eliminate braces
 --local t = split_params(strsub(a,2,-2))

        if not flags['W'] and string.find(a, "%.%.%.%s*%)") then

                warning("Functions with variable arguments (`...') are not supported. Ignoring "..d..a..c)
                return nil
        end


 local i=1
 local l = {n=0}

        a = string.gsub(a, "%s*([%(%)])%s*", "%1")
        local t,strip,last = strip_pars(strsub(a,2,-2));
        if strip then
                --local ns = string.sub(strsub(a,1,-2), 1, -(string.len(last)+1))
                local ns = join(t, ",", 1, last-1)

                ns = "("..string.gsub(ns, "%s*,%s*$", "")..')'
                --ns = strip_defaults(ns)

                Function(d, ns, c)
                for i=1,last do
                        t[i] = string.gsub(t[i], "=.*$", "")
                end
        end

 while t[i] do
  l.n = l.n+1
  l[l.n] = Declaration(t[i],'var',true)
  i = i+1
 end
 local f = Declaration(d,'func')
 f.args = l
 f.const = c
 return _Function(f)
end

function join(t, sep, first, last)

        first = first or 1
        last = last or table.getn(t)
        local lsep = ""
        local ret = ""
        local loop = false
        for i = first,last do

                ret = ret..lsep..t[i]
                lsep = sep
                loop = true
        end
        if not loop then
                return ""
        end

        return ret
end

function strip_pars(s)

        local t = split_c_tokens(s, ',')
        local strip = false
        local last

        for i=t.n,1,-1 do

                if not strip and param_object(t[i]) then
                        last = i
                        strip = true
                end
                --if strip then
                --      t[i] = string.gsub(t[i], "=.*$", "")
                --end
        end

        return t,strip,last

end

function strip_defaults(s)

        s = string.gsub(s, "^%(", "")
        s = string.gsub(s, "%)$", "")

        local t = split_c_tokens(s, ",")
        local sep, ret = "",""
        for i=1,t.n do
                t[i] = string.gsub(t[i], "=.*$", "")
                ret = ret..sep..t[i]
                sep = ","
        end

        return "("..ret..")"
end