pymor.discretizers.builtin.gui.jupyter.logging

Module Contents

Classes

LogViewer

Handler instances dispatch logging events to specific destinations.

LoggingRedirector

Attributes

redirect_logging

class pymor.discretizers.builtin.gui.jupyter.logging.LogViewer(out, accordion=None)[source]

Bases: logging.Handler

Handler instances dispatch logging events to specific destinations.

The base handler class. Acts as a placeholder which defines the Handler interface. Handlers can optionally use Formatter instances to format records as desired. By default, no formatter is specified; in this case, the ‘raw’ message as determined by record.message is logged.

out[source]
emit(self, record)[source]

Do whatever it takes to actually log the specified logging record.

This version is intended to be implemented by subclasses and so raises a NotImplementedError.

property empty(self)[source]
close(self)[source]

Tidy up any resources used by the handler.

This version removes the handler from an internal map of handlers, _handlers, which is used for handler lookup by name. Subclasses should ensure that this gets called from overridden close() methods.

__repr__(self)[source]

Return repr(self).

class pymor.discretizers.builtin.gui.jupyter.logging.LoggingRedirector[source]
__enter__(self)[source]
__exit__(self, exc_type, exc_val, exc_tb)[source]
start(self)[source]
stop(self)[source]
pymor.discretizers.builtin.gui.jupyter.logging.redirect_logging[source]