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)