+ self.highlighter.bold(True)
+ self.highlighter.write(call.functionName)
+ self.highlighter.bold(False)
+ self.highlighter.write('(' + ', '.join(map(repr, call.args)) + ')')
+ if call.ret is not None:
+ self.highlighter.write(' = ' + repr(call.ret))