diff options
| author | Cyrille Bagard <nocbos@gmail.com> | 2016-10-09 11:35:00 (GMT) |
|---|---|---|
| committer | Cyrille Bagard <nocbos@gmail.com> | 2016-10-09 11:35:00 (GMT) |
| commit | 3628caa2311ee89ad0d2a0aa2438d7e85b497da4 (patch) | |
| tree | bf81ed850cec1a35cdcaeff25a3479182e365c3c /src/gtkext/gtkgraphview.h | |
| parent | b6427496bde6f3ab34dc62d6b437c4f8a3a29b2d (diff) | |
Defined a new and simpler way to produce graphical view of basic blocks.
Diffstat (limited to 'src/gtkext/gtkgraphview.h')
| -rw-r--r-- | src/gtkext/gtkgraphview.h | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/src/gtkext/gtkgraphview.h b/src/gtkext/gtkgraphview.h index 7f841be..5e0f994 100644 --- a/src/gtkext/gtkgraphview.h +++ b/src/gtkext/gtkgraphview.h @@ -28,6 +28,9 @@ #include <gtk/gtk.h> +#include "graph/edge.h" + + #define GTK_TYPE_GRAPH_VIEW (gtk_graph_view_get_type()) #define GTK_GRAPH_VIEW(obj) (G_TYPE_CHECK_INSTANCE_CAST((obj), GTK_TYPE_GRAPH_VIEW, GtkGraphView)) @@ -53,6 +56,9 @@ GtkWidget *gtk_graph_view_new(void); /* Place une vue sous forme de bloc dans le graphique. */ void gtk_graph_view_put(GtkGraphView *, GtkWidget *, const GtkAllocation *); +/* Intègre un lien entre blocs graphiques dans l'afficheur. */ +void gtk_graph_view_add_edge(GtkGraphView *, GGraphEdge *); + #endif /* _GTKEXT_GTKGRAPHVIEW_H */ |