Definition at line 175 of file scope_tree.h.
◆ scope_nodet() [1/2]
scope_treet::scope_nodet::scope_nodet |
( |
| ) |
|
|
default |
◆ scope_nodet() [2/2]
◆ dot_attributes()
std::string scope_treet::scope_nodet::dot_attributes |
( |
const node_indext & |
| ) |
const |
|
inlineoverridevirtual |
Node with attributes suitable for Graphviz DOT format.
Derived types may override this function to produce more informative DOT diagrams than the default implementation, which displays only the node index. The return value should be a list of node attributes within square brackets that can be parsed by dot
. Here is a sample implementation for a fictional node type with is_evil()
and is_pink()
functions:
std::stringstream ss;
ss << "[shape=\"" << is_evil() ? "box" : "diamond"
<< "\", color=\"" << is_pink() ? "#e91e63" : "#9c27b0"
<< "\", label=\"this is node " << std::to_string(idx)
<< "\"]";
return ss.str();
Reimplemented from graph_nodet< empty_edget >.
Definition at line 187 of file scope_tree.h.
◆ declaration
◆ destructor_value
std::optional<codet> scope_treet::scope_nodet::destructor_value |
The documentation for this class was generated from the following files:
- /home/runner/work/cbmc/cbmc/src/ansi-c/goto-conversion/scope_tree.h
- /home/runner/work/cbmc/cbmc/src/ansi-c/goto-conversion/scope_tree.cpp