pymor.discretizers.builtin.gui.jupyter.logging

Module Contents

pymor.discretizers.builtin.gui.jupyter.logging.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.

Methods

close	Tidy up any resources used by the handler.
emit	Do whatever it takes to actually log the specified logging record.
empty

out

close()

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.

emit(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

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

Methods

start
stop

start()

stop()