Method __exit__

python/dolfinx/common.py:139–142

Stop timer and flush timing data to logger.

(self, *args)

        return self

    def __exit__(self, *args):
        """Stop timer and flush timing data to logger."""
        self._cpp_object.stop()
        self._cpp_object.flush()

    def start(self) -> None:
        """Reset elapsed time and (re-)start timer."""