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)