1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
|
/**
*
* @file plugins/CriticalPath/CriticalPath.hpp
*
* @copyright 2008-2024 Bordeaux INP, CNRS (LaBRI UMR 5800), Inria,
* Univ. Bordeaux. All rights reserved.
*
* @author Camille Ordronneau
* @author Johnny Jazeix
* @author Mohamed Faycal Boullit
*
* @date 2024-07-17
*/
#ifndef CRITICAL_PATH_HPP
#define CRITICAL_PATH_HPP
#include "plugin/Plugin.hpp"
/* -- */
#include "trace/State.hpp"
/* -- */
// Generated //
#include "ui_CriticalPath.h"
/*!
* \class CriticalPath
* \brief Plugin class that represents statistics: CriticalPath/Max Breadth
*/
class CriticalPath : public Plugin, public Ui::CriticalPath
{
Q_OBJECT
bool _critical_path_checked = false;
std::vector<State *> _critical_path_states;
public:
/*!
* \fn get_instance()
* \brief Create a static CriticalPath plugin.
*/
static CriticalPath *get_instance();
/*!
* \fn init()
* \brief Initialize the CriticalPath plugin
*/
void init();
/*!
* \fn clear()
* \brief Clear the CriticalPath plugin
*/
void clear();
/*!
* \fn set_arguments(std::map<std::string, QVariant *>)
* \brief Set the arguments of the CriticalPath plugin. (Unused for now)
*/
void set_arguments(std::map<std::string /*argname*/, QVariant * /*argValue*/>);
/*!
* \fn get_name()
* \brief Return the name of this plugin
*/
std::string get_name();
private:
CriticalPath();
~CriticalPath();
static CriticalPath *s_plugin;
/*
* \brief As the name suggests this functions sets the default line edits (file.dot and file.rec). Sessions are used to remember last path used.
* \param le QLineEdit name in UI
* \param name Used in Qt interface to indicates type of file needed for the statistics computing module
* \param def_name Used in Qt interface to describe type of file needed for the statistics computing module
*/
void set_line_edit_defaults(QLineEdit *le, const std::string &name, std::string def_name);
public Q_SLOTS:
/*
* \brief What to do when execute button is clicked
*/
void execute();
private Q_SLOTS:
/*
* \brief Button for openning Dag file, path is then put in correspondant QLineEdit in UI
*/
static void on_tool_button_dag_clicked();
/*
* \brief Button for openning Rec file, path is then put in correspondant QLineEdit in UI
*/
static void on_tool_button_rec_clicked();
void on_critical_path_stateChanged(int);
};
extern "C"
#ifdef WIN32
__declspec(dllexport) // no comment
#endif
/*
* \brief Initialize the plugin in ViTe
*/
Plugin *create();
#endif // CRITICAL_PATH_HPP
|
