cpp_generator::print_callback_local: extract out print_callback_body
commiteb19f1bd445f670383fd4c5f3c886a0180133c5d
authorSven Verdoolaege <sven.verdoolaege@gmail.com>
Fri, 2 Mar 2018 13:43:56 +0000 (2 14:43 +0100)
committerSven Verdoolaege <sven.verdoolaege@gmail.com>
Thu, 11 Oct 2018 10:30:19 +0000 (11 12:30 +0200)
tree879225989a713921c13b14e98fe565304d007463
parenta32971fa639e0ac234ff9137a12d0d80cd05d8d6
cpp_generator::print_callback_local: extract out print_callback_body

This method will be reused to print the C callback function used
for persistent callbacks.
Take the indentation as an argument, because it will be different
in this new context.

Reviewed-by: Tobias Grosser <tobias.grosser@inf.ethz.ch>
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
interface/cpp.cc
interface/cpp.h