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)

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

emit(self, record)

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)

close(self)

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)

Return repr(self).

class pymor.discretizers.builtin.gui.jupyter.logging.LoggingRedirector

__enter__(self)

__exit__(self, exc_type, exc_val, exc_tb)

start(self)

stop(self)

pymor.discretizers.builtin.gui.jupyter.logging.redirect_logging