Python tool_name Beispiele

Beispiel #1

Datei: logging.py Projekt: HankFaan/maple

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

Beispiel #2

Datei: logging.py Projekt: 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))

Beispiel #3

Datei: logging.py Projekt: HankFaan/maple

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

Beispiel #4

Datei: logging.py Projekt: sljiaa/data-race-detectors

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