PandA-2024.02
check_system_type.hpp
Go to the documentation of this file.
1 /*
2  *
3  * _/_/_/ _/_/ _/ _/ _/_/_/ _/_/
4  * _/ _/ _/ _/ _/_/ _/ _/ _/ _/ _/
5  * _/_/_/ _/_/_/_/ _/ _/_/ _/ _/ _/_/_/_/
6  * _/ _/ _/ _/ _/ _/ _/ _/ _/
7  * _/ _/ _/ _/ _/ _/_/_/ _/ _/
8  *
9  * ***********************************************
10  * PandA Project
11  * URL: http://panda.dei.polimi.it
12  * Politecnico di Milano - DEIB
13  * System Architectures Group
14  * ***********************************************
15  * Copyright (C) 2004-2024 Politecnico di Milano
16  *
17  * This file is part of the PandA framework.
18  *
19  * The PandA framework is free software; you can redistribute it and/or modify
20  * it under the terms of the GNU General Public License as published by
21  * the Free Software Foundation; either version 3 of the License, or
22  * (at your option) any later version.
23  *
24  * This program is distributed in the hope that it will be useful,
25  * but WITHOUT ANY WARRANTY; without even the implied warranty of
26  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
27  * GNU General Public License for more details.
28  *
29  * You should have received a copy of the GNU General Public License
30  * along with this program. If not, see <http://www.gnu.org/licenses/>.
31  *
32  */
43 #ifndef CHECK_SYSTEM_TYPE_HPP
44 #define CHECK_SYSTEM_TYPE_HPP
45 
46 #include "custom_map.hpp"
47 #include "custom_set.hpp"
49 #include "refcount.hpp"
50 
51 #include <string>
52 #include <vector>
53 
58 
63 {
64  private:
67 
70 
72  static std::vector<std::string> systemIncPath;
73 
76 
79 
82 
85 
88 
91 
94 
99  void recursive_examinate(const tree_nodeRef& tn, CustomUnorderedSet<unsigned int>& already_visited) const;
100 
106  void recursive_examinate(const tree_nodeRef& curr_tn, const unsigned int index,
107  CustomUnorderedSet<unsigned int>& already_visited) const;
108 
113  bool is_system_include(std::string include) const;
114 
119 
125  static std::string getRealInclName(const std::string& include);
126 
132  ComputeFrontendRelationships(const DesignFlowStep::RelationshipType relationship_type) const override;
133 
134  public:
142  CheckSystemType(const ParameterConstRef _parameters, const application_managerRef AppM, unsigned int function_id,
143  const DesignFlowManagerConstRef design_flow_manager);
144 
148  ~CheckSystemType() override;
149 
155 
160  bool HasToBeExecuted() const override;
161 };
162 #endif
static const CustomUnorderedMap< std::string, std::string > rename_function
Associates a function to its original name.
RelationshipType
The relationship type.
This class manages the tree structures extracted from the raw file.
void recursive_examinate(const tree_nodeRef &tn, CustomUnorderedSet< unsigned int > &already_visited) const
Examinate recursively the tree to detect system types and system variables.
static const CustomUnorderedMap< std::string, std::string > undefined_library_function_include
Map undefined library function to corresponding header.
This class contains the base representation for a generic frontend flow step which works on a single ...
REF_FORWARD_DECL(tree_manager)
static const CustomUnorderedMap< std::string, std::string > inclNameToPath
Associates to each system header file its full path.
redefinition of map to manage ordered/unordered structures
Abstract pure class for the tree structure.
Definition: tree_node.hpp:139
CheckSystemType(const ParameterConstRef _parameters, const application_managerRef AppM, unsigned int function_id, const DesignFlowManagerConstRef design_flow_manager)
Constructor.
static std::vector< std::string > systemIncPath
Contains the list of the folders containing the system header files.
absl::flat_hash_map< T, U, Hash, Eq, Alloc > CustomUnorderedMap
Definition: custom_map.hpp:148
static const CustomUnorderedMap< std::string, std::string > rename_types
Associates a type to its original name.
bool already_executed
Already executed.
DesignFlowStep_Status InternalExec() override
Adds the system_flag to the tree_node&#39;s of variables and types when necessary.
#define index(x, y)
Definition: Keccak.c:74
redefinition of set to manage ordered/unordered structures
const CustomUnorderedSet< std::pair< FrontendFlowStepType, FunctionRelationship > > ComputeFrontendRelationships(const DesignFlowStep::RelationshipType relationship_type) const override
Return the set of analyses in relationship with this design step.
~CheckSystemType() override
Destructor.
const Wrefcount< const DesignFlowManager > design_flow_manager
The design flow manager.
const ParameterConstRef parameters
Set of input parameters.
DesignFlowStep_Status
The status of a step.
bool is_system_include(std::string include) const
Check if an header is a system header.
bool HasToBeExecuted() const override
Check if this step has actually to be executed.
Template definition of refcount.
static void build_include_structures(ParameterConstRef parameters)
Build the include map, the function rename map and library system sets.
Class which system_flag to tree_node of variables and types when necessary.
const unsigned int function_id
The index of the function to be analyzed.
const application_managerRef AppM
The application manager.
static std::string getRealInclName(const std::string &include)
Given the string stored in a srcp of the raw return the correct include name.
static const CustomUnorderedSet< std::string > library_system_includes
The set of headers which contains function which have to be considered library_system.
static const CustomUnorderedSet< std::string > library_system_functions
The set of functions which have to be considered library_system.
const tree_managerRef TM
The tree manager.
CONSTREF_FORWARD_DECL(BehavioralHelper)
const BehavioralHelperConstRef behavioral_helper
The helper associated with the current function.

Generated on Mon Feb 12 2024 13:02:51 for PandA-2024.02 by doxygen 1.8.13