|  | # 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) |