1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
|
(**************************************************************************)
(* *)
(* Ocamlgraph: a generic graph library for OCaml *)
(* Copyright (C) 2004-2010 *)
(* Sylvain Conchon, Jean-Christophe Filliatre and Julien Signoles *)
(* *)
(* This software is free software; you can redistribute it and/or *)
(* modify it under the terms of the GNU Library General Public *)
(* License version 2.1, with the special exception on linking *)
(* described in file LICENSE. *)
(* *)
(* This software is distributed in the hope that it will be useful, *)
(* but WITHOUT ANY WARRANTY; without even the implied warranty of *)
(* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. *)
(* *)
(**************************************************************************)
open Format
let _ = GMain.Main.init ()
let print _ () = ()
(* print_endline msg;
flush stdout*)
let create_menu label menubar =
let item = GMenu.menu_item ~label ~packing:menubar#append () in
GMenu.menu ~packing:item#set_submenu ()
let main () =
(* Initialisation du fichier de graph *)
if Sys.argv.(1) = "--help" then
begin
printf "usage: %s file.gml # browse graph of file.gml@." Sys.argv.(0) ;
printf "@." ;
exit 0
end ;
(*
if Array.length Sys.argv > 2 then
eprintf "%s: ignoring trailing arguments@." Sys.argv.(0) ;
*)
(* la Fenetre principale *)
let window =
GWindow.window ~border_width: 10 ~title:"Edit'OcamlGraph" () in
let _ =
window#connect#destroy~callback:GMain.Main.quit in
(* une Verticale Box pour contenir le menu de la fenetre principale *)
let v_box =
GPack.vbox ~homogeneous:false ~spacing:30 ~packing:window#add () in
(* la barre de Menu ajout�e dans la V_box *)
let menu_bar =
GMenu.menu_bar ~packing:v_box#pack () in
(* le menu file : la description puis l'ajout au menu_bar *)
let menu_files =
[
`I ("_New Graph", print "todo new graph");
`I ("_Open Graph", print "todo open graph");
`I ("_Save Graph", print "todo save graph");
`I ("Save Graph _As ...", print "todo save graph as...");
`S;
`I ("_Quit", GMain.Main.quit )
]
and menu =
create_menu "File" menu_bar in
GToolbox.build_menu menu ~entries:menu_files ;
(* la zone d'affichage du graph, le canvas *)
let canvas =
GnoCanvas.canvas ~aa:true ~width:800 ~height:600 ~packing:v_box#add ()
in
let root = canvas#root in
(* l'affichage de la fenetre principale *)
window#show ();
let _ = Gtree.show_tree root Gtree.T.root 640 480 in
GMain.Main.main ()
let _ = main ()
|
