dynamorio::drgui::drgui_options_interface_t Class Reference

#include <drgui_options_interface.h>

Inherits QWidget.

Public Member Functions
virtual QStringList	tool_names (void) const =0
virtual void	write_settings (void)=0
virtual void	read_settings (void)=0

Detailed Description

Interface for tools' options pages that are to be accessed by drgui's preferences dialog. The page will be accessed by drgui's preferences dialog through drgui_tool_interface_t's create_options_page() method.

Member Function Documentation

read_settings()

virtual void dynamorio::drgui::drgui_options_interface_t::read_settings ( void  )

pure virtual

Reads the settings for the options page. Called by drgui_options_window_t for each tool on load, and when the cancel button is pressed. The tool will decide how it wants to handle its settings' persistence.

tool_names()

virtual QStringList dynamorio::drgui::drgui_options_interface_t::tool_names ( void  ) const

pure virtual

Returns a list of the names of the tools that are supported by the options page. The names are used for accessing the different options pages via the list widget in drgui's preferences dialog, and must be unique.

write_settings()

virtual void dynamorio::drgui::drgui_options_interface_t::write_settings ( void  )

pure virtual

Writes the settings for the options page. Called by drgui_options_window_t for each tool when the save button is pressed. The tool will decide how it wants to handle its settings' persistence.

---

The documentation for this class was generated from the following file:

• /home/runner/work/dynamorio/dynamorio/ext/drgui/drgui_options_interface.h