7 #ifndef OTAWA_DISPLAY_GRAPH_H
8 #define OTAWA_DISPLAY_GRAPH_H
13 namespace otawa {
namespace display {
16 extern Identifier<AbstractIdentifier*>
INCLUDE;
17 extern Identifier<AbstractIdentifier*>
EXCLUDE;
20 extern Identifier<AbstractIdentifier*>
DEFAULT;
88 #endif // OTAWA_DISPLAY_GRAPH_H
dtd::RefAttr< BasicBlock * > source("source", dtd::STRICT|dtd::REQUIRED)
virtual void display(void)=0
This functions displays the graph.
style_t
Definition: Graph.h:31
This exception is thrown during the display of a graph if there is an error.
Definition: Graph.h:68
Identifier< int > STYLE
Identifier of the drawing style.
static const PropList EMPTY
This is an empty proplist for convenience.
Definition: PropList.h:66
Identifier< elm::String > BODY
Identifier of the body of a node.
Identifier< elm::CString > & TEXT_COLOR
Identifier of the text color.
Definition: display_Graph.cpp:85
Identifier< int > & TEXT_SIZE
Identifier of the text size.
Definition: display_Graph.cpp:99
Identifier< elm::CString > HREF
Identifier of the url of the link the object is pointing to.
virtual void setProps(const PropList &props)=0
Set the object properties that have to be printed.
Identifier< AbstractIdentifier * > DEFAULT
The value of the property must be either INCLUDE or EXCLUDE.
Identifier< elm::CString > FONT
Identifier of the font name.
Identifier< elm::CString > FONT_COLOR
Identifier of the text color.
Identifier< int > WEIGHT
Identifier of a weight of an edge.
Identifier< AbstractIdentifier * > EXCLUDE
Tells that the properties with the given identifier mustn't be printed.
Identifier< int > FONT_SIZE
Identifier of the text size.
dtd::RefAttr< BasicBlock * > target("target", dtd::STRICT|dtd::REQUIRED)
virtual Node * newNode(const PropList &style=PropList::EMPTY, const PropList &props=PropList::EMPTY)=0
This function creates a new node in the graph.
Identifier< elm::String > TITLE
Identifier of the title of a node.
Identifier< elm::CString > COLOR
Identifier of the drawing color (boxes, edges)
This class is the base of Graph, Node and Edge.
Definition: Graph.h:23
This a list of properties.
Definition: PropList.h:63
Identifier< int > SHAPE
Identifier of a shape of a node.
A graph provides facilities to display a graph.
Definition: Graph.h:76
Identifier< AbstractIdentifier * > INCLUDE
Tells that the properties with the given identifier have to be printed.
Identifier< elm::String > LABEL
Identifier of a label of an edge.
DisplayException(const string &msg)
Definition: Graph.h:71
DisplayException(void)
Definition: Graph.h:70
virtual Edge * newEdge(Node *source, Node *target, const PropList &style=PropList::EMPTY, const PropList &props=PropList::EMPTY)=0
This function creates a new edge between the two given nodes, in the graph.
Identifier< elm::CString > BACKGROUND
Identifier of the background color.