|
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 719 of file GraphWriter.hpp.
Definition at line 1238 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 1309 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 1261 of file GraphWriter.cpp.
|
overridevirtual |
Gets a reference to the graph this GraphElement belongs to
Implements jlm::util::graph::GraphElement.
Definition at line 1254 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 1248 of file GraphWriter.cpp.
Given one end of the edge, returns the port on the opposite side of the edge.
Definition at line 1279 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 1267 of file GraphWriter.cpp.
| bool jlm::util::graph::Edge::IsDirected | ( | ) | const |
Definition at line 1273 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 1324 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 1354 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 1296 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 1302 of file GraphWriter.cpp.
| void jlm::util::graph::Edge::SetStyle | ( | std::string | style | ) |
Sets the style of the edge
Definition at line 1290 of file GraphWriter.cpp.
|
private |
Definition at line 823 of file GraphWriter.hpp.
|
private |
Definition at line 821 of file GraphWriter.hpp.
|
private |
Definition at line 721 of file GraphWriter.hpp.
|
private |
Definition at line 822 of file GraphWriter.hpp.