pymor.discretizers.builtin.gui.jupyter.logging

Module Contents

pymor.discretizers.builtin.gui.jupyter.logging.redirect_logging[source]
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.

Methods

close

Tidy up any resources used by the handler.

emit

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

empty

out[source]
close()[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.

emit(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[source]
class pymor.discretizers.builtin.gui.jupyter.logging.LoggingRedirector[source]

Methods

start

stop

start()[source]
stop()[source]