PandA-2024.02
|
Data structures used in operations graph. More...
#include "op_graph.hpp"
#include "Parameter.hpp"
#include "behavioral_helper.hpp"
#include "behavioral_writer_helper.hpp"
#include "exceptions.hpp"
#include "tree_manager.hpp"
#include "tree_node.hpp"
#include "tree_reindex.hpp"
#include <boost/tuple/tuple.hpp>
#include <filesystem>
#include <fstream>
#include <utility>
Go to the source code of this file.
Functions | |
void | PrintVariablesList (std::ostream &stream, const std::string &name, const CustomSet< unsigned int > variables, const BehavioralHelperConstRef behavioral_helper, const bool dotty_format) |
void | PrintMemoriesList (std::ostream &stream, const std::string &name, const CustomSet< MemoryAddress > variables, const BehavioralHelperConstRef, const bool dotty_format) |
void | PrintVariablesLists (std::ostream &stream, const std::string &name, const CustomMap< FunctionBehavior_VariableAccessType, CustomSet< unsigned int >> variables, const BehavioralHelperConstRef behavioral_helper, const bool dotty_format) |
void | PrintMemoriesLists (std::ostream &stream, const std::string &name, const CustomMap< FunctionBehavior_VariableAccessType, CustomSet< MemoryAddress >> variables, const BehavioralHelperConstRef behavioral_helper, const bool dotty_format) |
Data structures used in operations graph.
Definition in file op_graph.cpp.
void PrintMemoriesList | ( | std::ostream & | stream, |
const std::string & | name, | ||
const CustomSet< MemoryAddress > | variables, | ||
const BehavioralHelperConstRef | , | ||
const bool | dotty_format | ||
) |
Definition at line 176 of file op_graph.cpp.
Referenced by PrintMemoriesLists().
void PrintMemoriesLists | ( | std::ostream & | stream, |
const std::string & | name, | ||
const CustomMap< FunctionBehavior_VariableAccessType, CustomSet< MemoryAddress >> | variables, | ||
const BehavioralHelperConstRef | behavioral_helper, | ||
const bool | dotty_format | ||
) |
Definition at line 211 of file op_graph.cpp.
References DEFINITION, OVER, PrintMemoriesList(), USE, and OpNodeInfo::variables.
void PrintVariablesList | ( | std::ostream & | stream, |
const std::string & | name, | ||
const CustomSet< unsigned int > | variables, | ||
const BehavioralHelperConstRef | behavioral_helper, | ||
const bool | dotty_format | ||
) |
Definition at line 162 of file op_graph.cpp.
References BehavioralHelper::PrintVariable().
Referenced by OpNodeInfo::Print(), and PrintVariablesLists().
void PrintVariablesLists | ( | std::ostream & | stream, |
const std::string & | name, | ||
const CustomMap< FunctionBehavior_VariableAccessType, CustomSet< unsigned int >> | variables, | ||
const BehavioralHelperConstRef | behavioral_helper, | ||
const bool | dotty_format | ||
) |
Definition at line 189 of file op_graph.cpp.
References ADDRESS, DEFINITION, OVER, PrintVariablesList(), USE, and OpNodeInfo::variables.
Referenced by OpNodeInfo::Print().