Python tool_name示例

示例#1

文件： logging.py 项目： HankFaan/maple

def msg(msg, level=1):
    if _message_on and level <= _message_level:
        sys.stdout.write('[%s] %s' % (config.tool_name(), msg))

示例#2

文件： logging.py 项目： sljiaa/data-race-detectors

def msg(msg, level=1):
    if _message_on and level <= _message_level:
        sys.stdout.write('[%s] %s' % (config.tool_name(), msg))

示例#3

文件： logging.py 项目： HankFaan/maple

def err(msg):
    sys.stderr.write('[%s] %s' % (config.tool_name(), msg))
    sys.exit(1)

示例#4

文件： logging.py 项目： sljiaa/data-race-detectors

def err(msg):
    sys.stderr.write('[%s] %s' % (config.tool_name(), msg))
    sys.exit(1)