base_kernelmanager.py
260 lines
| 8.7 KiB
| text/x-python
|
PythonLexer
epatters
|
r8408 | """ Defines a KernelManager that provides signals and slots. | ||
""" | ||||
# System library imports. | ||||
from IPython.external.qt import QtCore | ||||
# IPython imports. | ||||
epatters
|
r8456 | from IPython.utils.traitlets import HasTraits, Type | ||
from util import MetaQObjectHasTraits, SuperQObject | ||||
epatters
|
r8408 | |||
class ChannelQObject(SuperQObject): | ||||
# Emitted when the channel is started. | ||||
started = QtCore.Signal() | ||||
# Emitted when the channel is stopped. | ||||
stopped = QtCore.Signal() | ||||
#--------------------------------------------------------------------------- | ||||
# Channel interface | ||||
#--------------------------------------------------------------------------- | ||||
def start(self): | ||||
""" Reimplemented to emit signal. | ||||
""" | ||||
super(ChannelQObject, self).start() | ||||
self.started.emit() | ||||
def stop(self): | ||||
""" Reimplemented to emit signal. | ||||
""" | ||||
super(ChannelQObject, self).stop() | ||||
self.stopped.emit() | ||||
#--------------------------------------------------------------------------- | ||||
epatters
|
r8471 | # InProcessChannel interface | ||
epatters
|
r8408 | #--------------------------------------------------------------------------- | ||
def call_handlers_later(self, *args, **kwds): | ||||
""" Call the message handlers later. | ||||
""" | ||||
do_later = lambda: self.call_handlers(*args, **kwds) | ||||
QtCore.QTimer.singleShot(0, do_later) | ||||
def process_events(self): | ||||
""" Process any pending GUI events. | ||||
""" | ||||
QtCore.QCoreApplication.instance().processEvents() | ||||
class QtShellChannelMixin(ChannelQObject): | ||||
# Emitted when any message is received. | ||||
message_received = QtCore.Signal(object) | ||||
# Emitted when a reply has been received for the corresponding request | ||||
# type. | ||||
execute_reply = QtCore.Signal(object) | ||||
complete_reply = QtCore.Signal(object) | ||||
object_info_reply = QtCore.Signal(object) | ||||
history_reply = QtCore.Signal(object) | ||||
# Emitted when the first reply comes back. | ||||
first_reply = QtCore.Signal() | ||||
# Used by the first_reply signal logic to determine if a reply is the | ||||
# first. | ||||
_handlers_called = False | ||||
#--------------------------------------------------------------------------- | ||||
Brian Granger
|
r9120 | # 'ShellChannel' interface | ||
epatters
|
r8408 | #--------------------------------------------------------------------------- | ||
def call_handlers(self, msg): | ||||
""" Reimplemented to emit signals instead of making callbacks. | ||||
""" | ||||
# Emit the generic signal. | ||||
self.message_received.emit(msg) | ||||
# Emit signals for specialized message types. | ||||
msg_type = msg['header']['msg_type'] | ||||
signal = getattr(self, msg_type, None) | ||||
if signal: | ||||
signal.emit(msg) | ||||
if not self._handlers_called: | ||||
self.first_reply.emit() | ||||
self._handlers_called = True | ||||
#--------------------------------------------------------------------------- | ||||
# 'QtShellChannelMixin' interface | ||||
#--------------------------------------------------------------------------- | ||||
def reset_first_reply(self): | ||||
""" Reset the first_reply signal to fire again on the next reply. | ||||
""" | ||||
self._handlers_called = False | ||||
Brian Granger
|
r9120 | class QtIOPubChannelMixin(ChannelQObject): | ||
epatters
|
r8408 | |||
# Emitted when any message is received. | ||||
message_received = QtCore.Signal(object) | ||||
# Emitted when a message of type 'stream' is received. | ||||
stream_received = QtCore.Signal(object) | ||||
# Emitted when a message of type 'pyin' is received. | ||||
pyin_received = QtCore.Signal(object) | ||||
# Emitted when a message of type 'pyout' is received. | ||||
pyout_received = QtCore.Signal(object) | ||||
# Emitted when a message of type 'pyerr' is received. | ||||
pyerr_received = QtCore.Signal(object) | ||||
# Emitted when a message of type 'display_data' is received | ||||
display_data_received = QtCore.Signal(object) | ||||
# Emitted when a crash report message is received from the kernel's | ||||
# last-resort sys.excepthook. | ||||
crash_received = QtCore.Signal(object) | ||||
# Emitted when a shutdown is noticed. | ||||
shutdown_reply_received = QtCore.Signal(object) | ||||
#--------------------------------------------------------------------------- | ||||
Brian Granger
|
r9120 | # 'IOPubChannel' interface | ||
epatters
|
r8408 | #--------------------------------------------------------------------------- | ||
def call_handlers(self, msg): | ||||
""" Reimplemented to emit signals instead of making callbacks. | ||||
""" | ||||
# Emit the generic signal. | ||||
self.message_received.emit(msg) | ||||
# Emit signals for specialized message types. | ||||
msg_type = msg['header']['msg_type'] | ||||
signal = getattr(self, msg_type + '_received', None) | ||||
if signal: | ||||
signal.emit(msg) | ||||
elif msg_type in ('stdout', 'stderr'): | ||||
self.stream_received.emit(msg) | ||||
def flush(self): | ||||
""" Reimplemented to ensure that signals are dispatched immediately. | ||||
""" | ||||
Brian Granger
|
r9120 | super(QtIOPubChannelMixin, self).flush() | ||
epatters
|
r8408 | QtCore.QCoreApplication.instance().processEvents() | ||
class QtStdInChannelMixin(ChannelQObject): | ||||
# Emitted when any message is received. | ||||
message_received = QtCore.Signal(object) | ||||
# Emitted when an input request is received. | ||||
input_requested = QtCore.Signal(object) | ||||
#--------------------------------------------------------------------------- | ||||
Brian Granger
|
r9120 | # 'StdInChannel' interface | ||
epatters
|
r8408 | #--------------------------------------------------------------------------- | ||
def call_handlers(self, msg): | ||||
""" Reimplemented to emit signals instead of making callbacks. | ||||
""" | ||||
# Emit the generic signal. | ||||
self.message_received.emit(msg) | ||||
# Emit signals for specialized message types. | ||||
msg_type = msg['header']['msg_type'] | ||||
if msg_type == 'input_request': | ||||
self.input_requested.emit(msg) | ||||
class QtHBChannelMixin(ChannelQObject): | ||||
# Emitted when the kernel has died. | ||||
kernel_died = QtCore.Signal(object) | ||||
#--------------------------------------------------------------------------- | ||||
Brian Granger
|
r9120 | # 'HBChannel' interface | ||
epatters
|
r8408 | #--------------------------------------------------------------------------- | ||
def call_handlers(self, since_last_heartbeat): | ||||
""" Reimplemented to emit signals instead of making callbacks. | ||||
""" | ||||
# Emit the generic signal. | ||||
self.kernel_died.emit(since_last_heartbeat) | ||||
epatters
|
r8456 | class QtKernelManagerMixin(HasTraits, SuperQObject): | ||
epatters
|
r8408 | """ A KernelManager that provides signals and slots. | ||
""" | ||||
epatters
|
r8456 | __metaclass__ = MetaQObjectHasTraits | ||
epatters
|
r8408 | # Emitted when the kernel manager has started listening. | ||
started_kernel = QtCore.Signal() | ||||
# Emitted when the kernel manager has started listening. | ||||
started_channels = QtCore.Signal() | ||||
# Emitted when the kernel manager has stopped listening. | ||||
stopped_channels = QtCore.Signal() | ||||
# Use Qt-specific channel classes that emit signals. | ||||
Brian Granger
|
r9120 | iopub_channel_class = Type(QtIOPubChannelMixin) | ||
epatters
|
r8408 | shell_channel_class = Type(QtShellChannelMixin) | ||
stdin_channel_class = Type(QtStdInChannelMixin) | ||||
hb_channel_class = Type(QtHBChannelMixin) | ||||
#--------------------------------------------------------------------------- | ||||
# 'KernelManager' interface | ||||
#--------------------------------------------------------------------------- | ||||
#------ Kernel process management ------------------------------------------ | ||||
def start_kernel(self, *args, **kw): | ||||
""" Reimplemented for proper heartbeat management. | ||||
""" | ||||
if self._shell_channel is not None: | ||||
self._shell_channel.reset_first_reply() | ||||
super(QtKernelManagerMixin, self).start_kernel(*args, **kw) | ||||
self.started_kernel.emit() | ||||
#------ Channel management ------------------------------------------------- | ||||
def start_channels(self, *args, **kw): | ||||
""" Reimplemented to emit signal. | ||||
""" | ||||
super(QtKernelManagerMixin, self).start_channels(*args, **kw) | ||||
self.started_channels.emit() | ||||
def stop_channels(self): | ||||
""" Reimplemented to emit signal. | ||||
""" | ||||
super(QtKernelManagerMixin, self).stop_channels() | ||||
self.stopped_channels.emit() | ||||
@property | ||||
def shell_channel(self): | ||||
""" Reimplemented for proper heartbeat management. | ||||
""" | ||||
if self._shell_channel is None: | ||||
self._shell_channel = super(QtKernelManagerMixin,self).shell_channel | ||||
self._shell_channel.first_reply.connect(self._first_reply) | ||||
return self._shell_channel | ||||
#--------------------------------------------------------------------------- | ||||
# Protected interface | ||||
#--------------------------------------------------------------------------- | ||||
def _first_reply(self): | ||||
""" Unpauses the heartbeat channel when the first reply is received on | ||||
the execute channel. Note that this will *not* start the heartbeat | ||||
channel if it is not already running! | ||||
""" | ||||
if self._hb_channel is not None: | ||||
self._hb_channel.unpause() | ||||