diff options
author | Alexandros Frantzis <alexandros.frantzis@linaro.org> | 2011-12-01 15:52:32 +0200 |
---|---|---|
committer | José Fonseca <jose.r.fonseca@gmail.com> | 2011-12-01 17:47:23 +0000 |
commit | 486708bd2e7f15e0a69d29a7fa34f0a3d8105eaf (patch) | |
tree | 5ddb8e9ecf8cc8f44d93ffc720924a651403f4f7 | |
parent | 5c9af5bf5232a49efe7b69ed0bcacc9f1f50db05 (diff) |
Produce dispatchers for all functions, even in retrace mode.
-rw-r--r-- | dispatch.py | 11 |
1 files changed, 1 insertions, 10 deletions
diff --git a/dispatch.py b/dispatch.py index a2f23e9..adb16b7 100644 --- a/dispatch.py +++ b/dispatch.py @@ -61,17 +61,11 @@ class Dispatcher: # functions print '#ifdef RETRACE' for function in api.functions: - if self.is_public_function(function): - print '#define __%s %s' % (function.name, function.name) - else: - print '#define %s __%s' % (function.name, function.name) + print '#define %s __%s' % (function.name, function.name) print '#endif /* RETRACE */' print def dispatch_function(self, function): - if self.is_public_function(function): - print '#ifndef RETRACE' - print ptype = function_pointer_type(function) pvalue = function_pointer_value(function) print 'typedef ' + function.prototype('* %s' % ptype) + ';' @@ -87,9 +81,6 @@ class Dispatcher: print ' %s%s(%s);' % (ret, pvalue, ', '.join([str(arg.name) for arg in function.args])) print '}' print - if self.is_public_function(function): - print '#endif /* !RETRACE */' - print def is_public_function(self, function): return True |