92 lines
3.3 KiB
Python
92 lines
3.3 KiB
Python
# Copyright (C) 2021-2022 Free Software Foundation, Inc.
|
|
#
|
|
# This program is free software; you can redistribute it and/or modify
|
|
# it under the terms of the GNU General Public License as published by
|
|
# the Free Software Foundation; either version 3 of the License, or
|
|
# (at your option) any later version.
|
|
#
|
|
# This program is distributed in the hope that it will be useful,
|
|
# but WITHOUT ANY WARRANTY; without even the implied warranty of
|
|
# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
|
|
# GNU General Public License for more details.
|
|
#
|
|
# You should have received a copy of the GNU General Public License
|
|
# along with this program. If not, see <http://www.gnu.org/licenses/>.
|
|
|
|
# A TUI window implemented in Python that responds to, and displays,
|
|
# stop and exit events.
|
|
|
|
import gdb
|
|
|
|
# When an event arrives we ask the window to redraw itself. We should
|
|
# only do this if the window is valid. When this flag is true we
|
|
# perform the is_valid check. When this flag is false
|
|
perform_valid_check = True
|
|
update_title = False
|
|
cleanup_properly = False
|
|
|
|
# A global place into which we can write the window title.
|
|
titles_at_the_close = {}
|
|
|
|
|
|
class EventWindow:
|
|
def __init__(self, win):
|
|
self._win = win
|
|
self._count = 0
|
|
win.title = "This Is The Event Window"
|
|
self._stop_listener = lambda e: self._event("stop", e)
|
|
gdb.events.stop.connect(self._stop_listener)
|
|
self._exit_listener = lambda e: self._event("exit", e)
|
|
gdb.events.exited.connect(self._exit_listener)
|
|
self._events = []
|
|
|
|
# Ensure we can erase and write to the window from the
|
|
# constructor, the window should be valid by this point.
|
|
self._win.erase()
|
|
self._win.write("Hello world...")
|
|
|
|
def close(self):
|
|
global cleanup_properly
|
|
global titles_at_the_close
|
|
|
|
# Ensure that window properties can be read within the close method.
|
|
titles_at_the_close[self._win.title] = dict(
|
|
width=self._win.width, height=self._win.height
|
|
)
|
|
|
|
# The following calls are pretty pointless, but this ensures
|
|
# that we can erase and write to a window from the close
|
|
# method, the last moment a window should be valid.
|
|
self._win.erase()
|
|
self._win.write("Goodbye cruel world...")
|
|
|
|
if cleanup_properly:
|
|
# Disconnect the listeners and delete the lambda functions.
|
|
# This removes cyclic references to SELF, and so alows SELF to
|
|
# be deleted.
|
|
gdb.events.stop.disconnect(self._stop_listener)
|
|
gdb.events.exited.disconnect(self._exit_listener)
|
|
self._stop_listener = None
|
|
self._exit_listener = None
|
|
|
|
def _event(self, type, event):
|
|
global perform_valid_check
|
|
global update_title
|
|
|
|
self._count += 1
|
|
self._events.insert(0, type)
|
|
if not perform_valid_check or self._win.is_valid():
|
|
if update_title:
|
|
self._win.title = "This Is The Event Window (" + str(self._count) + ")"
|
|
else:
|
|
self.render()
|
|
|
|
def render(self):
|
|
self._win.erase()
|
|
w = self._win.width
|
|
h = self._win.height
|
|
for i in range(min(h, len(self._events))):
|
|
self._win.write(self._events[i] + "\n")
|
|
|
|
|
|
gdb.register_window_type("events", EventWindow)
|