def set_log_level(log_level):
"""
Set logging level of this module. The module using
`logbook <https://logbook.readthedocs.io/en/stable/>`__ module for logging.
:param int log_level:
One of the log level of the
`logbook <https://logbook.readthedocs.io/en/stable/api/base.html>`__.
Disabled logging if the ``log_level`` is ``logbook.NOTSET``.
:raises LookupError: If ``log_level`` is an invalid value.
"""
if not LOGBOOK_INSTALLED:
return
# validate log level
logbook.get_level_name(log_level)
if log_level == logger.level:
return
if log_level == logbook.NOTSET:
set_logger(is_enable=False)
else:
set_logger(is_enable=True)
logger.level = log_level
def set_log_level(log_level):
"""
Set logging level of this module. Using
`logbook <http://logbook.readthedocs.io/en/stable/>`__ module for logging.
:param int log_level:
One of the log level of
`logbook <http://logbook.readthedocs.io/en/stable/api/base.html>`__.
Disabled logging if ``log_level`` is ``logbook.NOTSET``.
:raises LookupError: If ``log_level`` is an invalid value.
"""
# validate log level
logbook.get_level_name(log_level)
if log_level == logger.level:
return
if log_level == logbook.NOTSET:
set_logger(is_enable=False)
else:
set_logger(is_enable=True)
logger.level = log_level
dataproperty.set_log_level(log_level)
simplesqlite.set_log_level(log_level)
try:
import pytablereader
pytablereader.set_log_level(log_level)
except ImportError:
pass
def set_log_level(log_level):
"""
Set logging level of this module. Using
`logbook <http://logbook.readthedocs.io/en/stable/>`__ module for logging.
:param int log_level:
One of the log level of
`logbook <http://logbook.readthedocs.io/en/stable/api/base.html>`__.
Disabled logging if ``log_level`` is ``logbook.NOTSET``.
:raises LookupError: If ``log_level`` is an invalid value.
"""
# validate log level
logbook.get_level_name(log_level)
if log_level == logger.level:
return
if log_level == logbook.NOTSET:
set_logger(is_enable=False)
else:
set_logger(is_enable=True)
logger.level = log_level
dataproperty.set_log_level(log_level)
pytablereader.set_log_level(log_level)
def set_log_level(log_level):
"""
Set logging level of this module. The module using
`logbook <https://logbook.readthedocs.io/en/stable/>`__ module for logging.
:param int log_level:
One of the log level of the
`logbook <https://logbook.readthedocs.io/en/stable/api/base.html>`__.
Disabled logging if the ``log_level`` is ``logbook.NOTSET``.
:raises LookupError: If ``log_level`` is an invalid value.
"""
if not LOGBOOK_INSTALLED:
return
# validate log level
logbook.get_level_name(log_level)
if log_level == logger.level:
return
if log_level == logbook.NOTSET:
set_logger(is_enable=False)
else:
set_logger(is_enable=True)
logger.level = log_level
def emit(self, record):
tags = (('level', logbook.get_level_name(record.level).lower()),
('logger', record.channel))
if record.exc_info:
return capture('Exception', exc_info=record.exc_info, tags=tags)
return capture('Message', message=record.message, tags=tags)
def _emit(self, record):
data = {
'level': logbook.get_level_name(record.level).lower(),
'logger': record.channel
}
event_type = 'raven.events.Message'
handler_kwargs = {
'message': record.msg,
'params': record.args,
'formatted': self.format(record)
}
if 'tags' in record.kwargs:
handler_kwargs['tags'] = record.kwargs['tags']
if record.exc_info is True or record.exc_info and all(record.exc_info):
handler = self.client.get_handler(event_type)
data.update(handler.capture(**handler_kwargs))
event_type = 'raven.events.Exception'
handler_kwargs['exc_info'] = record.exc_info
extra = {
'lineno': record.lineno,
'filename': record.filename,
'function': record.func_name,
'process': record.process,
'process_name': record.process_name
}
extra.update(record.extra)
return self.client.capture(event_type,
data=data,
extra=extra,
**handler_kwargs)
def _emit(self, record):
data = {
"level": logbook.get_level_name(record.level).lower(),
"logger": record.channel,
"message": self.format(record),
}
event_type = "raven.events.Message"
handler_kwargs = {"message": record.msg, "params": record.args}
# If there's no exception being processed, exc_info may be a 3-tuple of None
# http://docs.python.org/library/sys.html#sys.exc_info
if record.exc_info is True or (record.exc_info and all(record.exc_info)):
handler = self.client.get_handler(event_type)
data.update(handler.capture(**handler_kwargs))
event_type = "raven.events.Exception"
handler_kwargs = {"exc_info": record.exc_info}
extra = {
"lineno": record.lineno,
"filename": record.filename,
"function": record.func_name,
"process": record.process,
"process_name": record.process_name,
}
extra.update(record.extra)
return self.client.capture(event_type, data=data, extra=extra, **handler_kwargs)
def _emit(self, record):
data = {
'level': logbook.get_level_name(record.level).lower(),
'logger': record.channel,
'message': self.format(record),
}
event_type = 'raven.events.Message'
handler_kwargs = {'message': record.msg, 'params': record.args}
# If there's no exception being processed, exc_info may be a 3-tuple of None
# http://docs.python.org/library/sys.html#sys.exc_info
if record.exc_info is True or (record.exc_info and all(record.exc_info)):
handler = self.client.get_handler(event_type)
data.update(handler.capture(**handler_kwargs))
event_type = 'raven.events.Exception'
handler_kwargs = {'exc_info': record.exc_info}
extra = {
'lineno': record.lineno,
'filename': record.filename,
'function': record.func_name,
'process': record.process,
'process_name': record.process_name,
}
extra.update(record.extra)
return self.client.capture(event_type,
data=data,
extra=extra,
**handler_kwargs
)
def set_log_level(log_level):
"""
Set logging level of this module. Using
`logbook <https://logbook.readthedocs.io/en/stable/>`__ module for logging.
:param int log_level:
One of the log level of
`logbook <https://logbook.readthedocs.io/en/stable/api/base.html>`__.
Disabled logging if ``log_level`` is ``logbook.NOTSET``.
:raises LookupError: If ``log_level`` is an invalid value.
"""
if not LOGBOOK_INSTALLED:
return
# validate log level
logbook.get_level_name(log_level)
if log_level == logger.level:
return
if log_level == logbook.NOTSET:
set_logger(is_enable=False)
else:
set_logger(is_enable=True)
logger.level = log_level
dataproperty.set_log_level(log_level)
try:
import simplesqlite
simplesqlite.set_log_level(log_level)
except ImportError:
pass
try:
import pytablereader
pytablereader.set_log_level(log_level)
except ImportError:
pass
def from_record_formatted(cls, record: logbook.LogRecord, message: str):
extra = dict(record.extra)
log_message = LogMessage(
timestamp=record.time,
message=message,
channel=record.channel,
level=record.level,
levelname=logbook.get_level_name(record.level),
extra=extra,
thread_name=record.thread_name,
process=record.process,
exc_info=record.formatted_exception,
)
return log_message
def set_log_level(log_level):
"""
Set logging level of this module. The module using
`logbook <http://logbook.readthedocs.io/en/stable/>`__ module for logging.
:param int log_level:
One of the log level of the
`logbook <http://logbook.readthedocs.io/en/stable/api/base.html>`__.
Disabled logging if the ``log_level`` is ``logbook.NOTSET``.
:raises LookupError: If ``log_level`` is an invalid value.
"""
# validate log level
logbook.get_level_name(log_level)
if log_level == logbook.NOTSET:
set_logger(is_enable=False)
else:
set_logger(is_enable=True)
logger.level = log_level
simplesqlite.set_log_level(log_level)
subprocrunner.set_log_level(log_level)
def _emit(self, record):
data = {
'level': logbook.get_level_name(record.level).lower(),
'logger': record.channel,
}
# If there's no exception being processed, exc_info may be a 3-tuple of None
# http://docs.python.org/library/sys.html#sys.exc_info
if record.exc_info is True or (record.exc_info and all(record.exc_info)):
handler = self.client.get_handler('raven.events.Exception')
data.update(handler.capture(exc_info=record.exc_info))
return self.client.capture('Message',
message=record.msg,
params=record.args,
data=data,
extra=record.extra,
)
def _emit(self, record):
data = {
'level': logbook.get_level_name(record.level).lower(),
'logger': record.channel,
}
# If there's no exception being processed, exc_info may be a 3-tuple of None
# http://docs.python.org/library/sys.html#sys.exc_info
if record.exc_info is True or (record.exc_info and all(record.exc_info)):
handler = self.client.get_handler('raven.events.Exception')
data.update(handler.capture(exc_info=record.exc_info))
return self.client.capture('Message',
message=record.msg,
params=record.args,
data=data,
extra=record.extra,
)
def _emit(self, record):
data = {
'level': logbook.get_level_name(record.level).lower(),
'logger': record.channel,
}
event_type = 'raven.events.Message'
handler_kwargs = {
'message': record.msg,
'params': record.args,
'formatted': self.format(record),
}
if 'tags' in record.kwargs:
handler_kwargs['tags'] = record.kwargs['tags']
# If there's no exception being processed, exc_info may be a 3-tuple of None
# http://docs.python.org/library/sys.html#sys.exc_info
if record.exc_info is True or (record.exc_info
and all(record.exc_info)):
handler = self.client.get_handler(event_type)
data.update(handler.capture(**handler_kwargs))
event_type = 'raven.events.Exception'
handler_kwargs = {'exc_info': record.exc_info}
extra = {
'lineno': record.lineno,
'filename': record.filename,
'function': record.func_name,
'process': record.process,
'process_name': record.process_name,
}
extra.update(record.extra)
return self.client.capture(event_type,
data=data,
extra=extra,
**handler_kwargs)
def test_level_lookup_failures():
with pytest.raises(LookupError):
logbook.get_level_name(37)
with pytest.raises(LookupError):
logbook.lookup_level('FOO')
def get_level(self):
"""Returns a string representation of the current log level."""
return logbook.get_level_name(self.level)
def emit(self, record):
tags = (('level', logbook.get_level_name(record.level).lower()), ('logger', record.channel))
if record.exc_info:
return capture('Exception', exc_info=record.exc_info, tags=tags)
return capture('Message', message=record.message, tags=tags)
logger.debug('Start repairing problems')
original_src = args.source_file
targetContractName = args.targetContractName
targetVul = args.targetVul
targetLoc = args.targetLoc
repairCore = CR((), (), args.detectorArg, args.synthesizerArg,
args.coreArg)
# TODO: pass num plausible from CLI
rst = await repairCore.repair(original_src, targetContractName, targetVul,
targetLoc, 1, RepairTarget(), None)
if not rst:
print("Unable to find a plausible patch...")
else:
print("Source files after applying plausible patches are in:")
for p in rst:
print(p.PathPatchedCode)
from logbook import Logger, StderrHandler
import logbook
import os
logHandler = StderrHandler(
level=os.environ.get('LOG_LEVEL', logbook.get_level_name(logbook.INFO)))
with logHandler.applicationbound():
main()
def get_level(self):
"""Returns a string representation of the current log level."""
return logbook.get_level_name(self.level)
