python interface: extract method print_method_type
commit1b993407ea1d7683da5358c1b0827651690f88db
authorTobias Grosser <tobias@grosser.es>
Thu, 30 Jun 2016 14:22:33 +0000 (30 16:22 +0200)
committerSven Verdoolaege <skimo@kotnet.org>
Fri, 1 Jul 2016 13:32:15 +0000 (1 15:32 +0200)
tree87f4570483cf112e2f52b4064eb315596341e7be
parentca2d6f89ab454416d37ac80e6c42fc7a31ae5e72
python interface: extract method print_method_type

This reduces code duplication. We use this opportunity to add some
documentation.

Signed-off-by: Tobias Grosser <tobias@grosser.es>
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
interface/python.cc