mCRL2
Loading...
Searching...
No Matches
Public Member Functions | Protected Attributes | List of all members
mcrl2::gui::qt::qt_tool< Tool > Class Template Reference

#include <qt_tool.h>

Inheritance diagram for mcrl2::gui::qt::qt_tool< Tool >:

Public Member Functions

 qt_tool (const std::string &name, const std::string &author, const std::string &what_is, const std::string &tool_description, const std::string &about_description, const std::string &manual_url, std::string known_issues="")
 
int execute (int &argc, char **argv)
 
bool pre_run (int &argc, char **argv) override
 
bool show_main_window (QMainWindow &window)
 
 ~qt_tool () override=default
 

Protected Attributes

std::unique_ptr< QApplication > m_application
 
std::string m_name
 
std::string m_author
 
std::string m_about_description
 
std::string m_manual_url
 

Detailed Description

template<typename Tool>
class mcrl2::gui::qt::qt_tool< Tool >

Definition at line 125 of file qt_tool.h.

Constructor & Destructor Documentation

◆ qt_tool()

template<typename Tool >
mcrl2::gui::qt::qt_tool< Tool >::qt_tool ( const std::string &  name,
const std::string &  author,
const std::string &  what_is,
const std::string &  tool_description,
const std::string &  about_description,
const std::string &  manual_url,
std::string  known_issues = "" 
)
inline

Definition at line 135 of file qt_tool.h.

◆ ~qt_tool()

template<typename Tool >
mcrl2::gui::qt::qt_tool< Tool >::~qt_tool ( )
overridedefault

Member Function Documentation

◆ execute()

template<typename Tool >
int mcrl2::gui::qt::qt_tool< Tool >::execute ( int &  argc,
char **  argv 
)
inline

Definition at line 151 of file qt_tool.h.

◆ pre_run()

template<typename Tool >
bool mcrl2::gui::qt::qt_tool< Tool >::pre_run ( int &  argc,
char **  argv 
)
inlineoverride

Definition at line 167 of file qt_tool.h.

◆ show_main_window()

template<typename Tool >
bool mcrl2::gui::qt::qt_tool< Tool >::show_main_window ( QMainWindow &  window)
inline

Definition at line 194 of file qt_tool.h.

Member Data Documentation

◆ m_about_description

template<typename Tool >
std::string mcrl2::gui::qt::qt_tool< Tool >::m_about_description
protected

Definition at line 131 of file qt_tool.h.

◆ m_application

template<typename Tool >
std::unique_ptr<QApplication> mcrl2::gui::qt::qt_tool< Tool >::m_application
protected

Definition at line 128 of file qt_tool.h.

◆ m_author

template<typename Tool >
std::string mcrl2::gui::qt::qt_tool< Tool >::m_author
protected

Definition at line 130 of file qt_tool.h.

◆ m_manual_url

template<typename Tool >
std::string mcrl2::gui::qt::qt_tool< Tool >::m_manual_url
protected

Definition at line 132 of file qt_tool.h.

◆ m_name

template<typename Tool >
std::string mcrl2::gui::qt::qt_tool< Tool >::m_name
protected

Definition at line 129 of file qt_tool.h.

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