Logging
The logging module implements logging using the Python logging package. Library users may
be especially interested in setting verbosity levels using set_verbosity() to one of
vdmtools.logging.CRITICAL (aka vdmtools.logging.FATAL), vdmtools.logging.ERROR, vdmtools.logging.WARNING
(aka vdmtools.logging.WARN), vdmtools.logging.INFO, or vdmtools.logging.DEBUG.
| Return the current level for the vdmtools' root logger. | |
| Set the level for the vdmtools' root logger. | |
| Disable the default handler of the vdmtools' root logger. | |
| Enable the default handler of the vdmtools' root logger. | |
| Disable propagation of the library log outputs. | |
| Enable propagation of the library log outputs. |