|
Jlm
|
#include <GraphWriter.hpp>


Classes | |
| struct | Style |
Public Member Functions | |
| ~Edge () override=default | |
| const char * | GetIdPrefix () const override |
| Graph & | GetGraph () override |
| Port & | GetFrom () |
| Port & | GetTo () |
| bool | IsDirected () const |
| Port & | GetOtherEnd (const Port &end) |
| void | SetStyle (std::string style) |
| void | SetArrowHead (std::string arrow) |
| void | SetArrowTail (std::string arrow) |
| std::string_view | getDirection () const |
| void | OutputDot (std::ostream &out, size_t indent) const |
| void | outputJson (std::ostream &out, size_t indent) const |
Public Member Functions inherited from jlm::util::graph::GraphElement | |
| virtual | ~GraphElement ()=default |
| GraphElement () | |
| GraphElement (const GraphElement &other)=delete | |
| GraphElement (GraphElement &&other)=delete | |
| GraphElement & | operator= (const GraphElement &other)=delete |
| GraphElement & | operator= (GraphElement &&other)=delete |
| void | PrintFullId (std::ostream &out) const |
| std::string | GetFullId () const |
| const Graph & | GetGraph () const |
| void | SetLabel (std::string label) |
| void | AppendToLabel (std::string_view text, std::string_view sep="\n") |
| bool | HasLabel () const |
| const std::string & | GetLabel () const |
| std::string_view | GetLabelOr (std::string_view otherwise) const |
| size_t | GetUniqueIdSuffix () const |
| template<typename T > | |
| void | SetProgramObject (const T &object) |
| void | RemoveProgramObject () |
| bool | HasProgramObject () const noexcept |
| uintptr_t | GetProgramObject () const noexcept |
| void | SetAttribute (const std::string &attribute, std::string value) |
| void | SetAttributeObject (const std::string &attribute, uintptr_t object) |
| template<typename T > | |
| void | SetAttributeObject (const std::string &attribute, const T &object) |
| void | SetAttributeGraphElement (const std::string &attribute, const GraphElement &element) |
| bool | HasAttribute (const std::string &attribute) const |
| std::optional< std::string_view > | GetAttributeString (const std::string &attribute) const |
| std::optional< uintptr_t > | GetAttributeObject (const std::string &attribute) const |
| const GraphElement * | GetAttributeGraphElement (const std::string &attribute) const |
| bool | RemoveAttribute (const std::string &attribute) |
| virtual void | Finalize () |
| bool | IsFinalized () const |
| void | OutputAttributes (std::ostream &out, AttributeOutputFormat format) const |
| void | outputJsonObjectOpening (std::ostream &out, size_t indent, bool &firstField) const |
Private Member Functions | |
| Edge (Port &from, Port &to, bool directed) | |
Private Attributes | |
| friend | Graph |
| Port & | From_ |
| Port & | To_ |
| bool | Directed_ |
Definition at line 717 of file GraphWriter.hpp.
Definition at line 1237 of file GraphWriter.cpp.
|
overridedefault |
| std::string_view jlm::util::graph::Edge::getDirection | ( | ) | const |
Determines which sides on the edge should have arrow styling. A directed edge always has an arrow head. If arrow head or arrow tail styling is given, the direction reflects that.
Definition at line 1308 of file GraphWriter.cpp.
| Port & jlm::util::graph::Edge::GetFrom | ( | ) |
Gets the port being pointed to Even if the edge is non-directed, the from/to order can matter for layout.
Definition at line 1260 of file GraphWriter.cpp.
|
overridevirtual |
Gets a reference to the graph this GraphElement belongs to
Implements jlm::util::graph::GraphElement.
Definition at line 1253 of file GraphWriter.cpp.
|
overridevirtual |
Gets a short string that will serve as the base for a unique ID. This base should be a valid C-like identifier.
Implements jlm::util::graph::GraphElement.
Definition at line 1247 of file GraphWriter.cpp.
Given one end of the edge, returns the port on the opposite side of the edge.
Definition at line 1278 of file GraphWriter.cpp.
| Port & jlm::util::graph::Edge::GetTo | ( | ) |
Gets the port being pointed from. Even if the edge is non-directed, the from/to order can matter for layout.
Definition at line 1266 of file GraphWriter.cpp.
| bool jlm::util::graph::Edge::IsDirected | ( | ) | const |
Definition at line 1272 of file GraphWriter.cpp.
| void jlm::util::graph::Edge::OutputDot | ( | std::ostream & | out, |
| size_t | indent | ||
| ) | const |
Outputs the edge in dot format.
Definition at line 1323 of file GraphWriter.cpp.
| void jlm::util::graph::Edge::outputJson | ( | std::ostream & | out, |
| size_t | indent | ||
| ) | const |
Outputs the edge as an "id": key and json object.
Definition at line 1353 of file GraphWriter.cpp.
| void jlm::util::graph::Edge::SetArrowHead | ( | std::string | arrow | ) |
Customizes the look of the edge at the head end. For a normal arrow, use "normal". Other common options are "box", "diamond" and "dot". Prefix the string with "o" to get outline only. Prefix with "l" or "r" to only get one half. Concatenate multiple strings to get longer arrows, with the tipmost arrow listed first. For full a description of the grammar, see https://graphviz.org/doc/info/arrows.html
| arrow | a string describing the look of the edge head. |
Definition at line 1295 of file GraphWriter.cpp.
| void jlm::util::graph::Edge::SetArrowTail | ( | std::string | arrow | ) |
Customizes the look of the edge at the tail end.
| arrow | a string describing the look of the edge tail. |
Definition at line 1301 of file GraphWriter.cpp.
| void jlm::util::graph::Edge::SetStyle | ( | std::string | style | ) |
Sets the style of the edge
Definition at line 1289 of file GraphWriter.cpp.
|
private |
Definition at line 821 of file GraphWriter.hpp.
|
private |
Definition at line 819 of file GraphWriter.hpp.
|
private |
Definition at line 719 of file GraphWriter.hpp.
|
private |
Definition at line 820 of file GraphWriter.hpp.