PandA-2024.02
|
This class collects information concerning the set of functions that will be analyzed by the PandA framework. More...
#include <call_graph.hpp>
Public Member Functions | |
CallGraphsCollection (const CallGraphInfoRef call_graph_info, const ParameterConstRef _parameters) | |
Constructor. More... | |
~CallGraphsCollection () override | |
Destructor. More... | |
EdgeDescriptor | AddEdge (const vertex source, const vertex target, const int selector) |
Add an edge with empty information associated. More... | |
Public Member Functions inherited from graphs_collection | |
graphs_collection (GraphInfoRef info, const ParameterConstRef _parameters) | |
Constructor of graph. More... | |
virtual | ~graphs_collection ()=default |
Destructor. More... | |
boost::graph_traits< graphs_collection >::edge_descriptor | AddSelector (const boost::graph_traits< graphs_collection >::edge_descriptor edge, const int selector) |
Add a selector to an existing edge. More... | |
boost::graph_traits< graphs_collection >::edge_descriptor | AddSelector (const boost::graph_traits< graphs_collection >::vertex_descriptor source, const boost::graph_traits< graphs_collection >::vertex_descriptor target, const int selector) |
Add a selector to an existing edge. More... | |
void | RemoveSelector (boost::graph_traits< graphs_collection >::edge_descriptor edge) |
Remove all the selectors of an edge from this graph. More... | |
void | RemoveSelector (boost::graph_traits< graphs_collection >::edge_descriptor edge, const int selector) |
Remove an edge from this graph. More... | |
void | RemoveSelector (boost::graph_traits< graphs_collection >::vertex_descriptor source, boost::graph_traits< graphs_collection >::vertex_descriptor target, const int selector) |
Remove an edge from this graph. More... | |
int | GetSelector (const edge_descriptor e) const |
Return the selectors associated with an edge. More... | |
virtual boost::graph_traits< boost_graphs_collection >::vertex_descriptor | AddVertex (const NodeInfoRef info) |
Add a vertex to this graph with a property. More... | |
boost::graph_traits< graphs_collection >::edge_descriptor | AddEdge (boost::graph_traits< graphs_collection >::vertex_descriptor, boost::graph_traits< graphs_collection >::vertex_descriptor, const int) |
Add an edge to this graph FIXME: this should be pure virtual. More... | |
boost::graph_traits< graphs_collection >::edge_descriptor | InternalAddEdge (boost::graph_traits< graphs_collection >::vertex_descriptor source, boost::graph_traits< graphs_collection >::vertex_descriptor target, const int selector, const EdgeInfoRef info) |
Add an edge to this graph FIXME: this should be protected. More... | |
virtual void | RemoveVertex (boost::graph_traits< boost_graphs_collection >::vertex_descriptor v) |
Remove a vertex from this graph. More... | |
bool | ExistsEdge (const boost::graph_traits< graphs_collection >::vertex_descriptor source, const boost::graph_traits< graphs_collection >::vertex_descriptor target) const |
Check if an edge exists. More... | |
void | CompressEdges () |
Additional Inherited Members | |
Data Fields inherited from graphs_collection | |
const ParameterConstRef | parameters |
Set of input parameters. More... | |
This class collects information concerning the set of functions that will be analyzed by the PandA framework.
Definition at line 119 of file call_graph.hpp.
CallGraphsCollection::CallGraphsCollection | ( | const CallGraphInfoRef | call_graph_info, |
const ParameterConstRef | _parameters | ||
) |
Constructor.
call_graph_info | is the info to be associated with the call graph |
_parameters | is the set of input parameters |
Definition at line 65 of file call_graph.cpp.
References ~CallGraphsCollection().
|
overridedefault |
|
inline |
Add an edge with empty information associated.
source | is the source of the edge |
target | is the target of the edge |
selector | is the selector to be added |
Definition at line 141 of file call_graph.hpp.