Mercurial > hg > camir-aes2014

annotate toolboxes/graph_visualisation/share/graphviz/lefty/dotty.lefty @ 0:e9a9cd732c1e tip

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
first hg version after svn
author wolffd
date Tue, 10 Feb 2015 15:05:51 +0000
parents
children
rev   line source
wolffd@0 1 #
wolffd@0 2 # DOTTY
wolffd@0 3 #
wolffd@0 4 dotty = [
wolffd@0 5 'keys' = [
wolffd@0 6 'nid' = 'nid';
wolffd@0 7 'eid' = 'eid';
wolffd@0 8 'gid' = 'gid';
wolffd@0 9 'name' = 'name';
wolffd@0 10 'attr' = 'attr';
wolffd@0 11 'gattr' = 'graphattr';
wolffd@0 12 'eattr' = 'edgeattr';
wolffd@0 13 'nattr' = 'nodeattr';
wolffd@0 14 'edges' = 'edges';
wolffd@0 15 'tail' = 'tail';
wolffd@0 16 'tport' = 'tport';
wolffd@0 17 'head' = 'head';
wolffd@0 18 'hport' = 'hport';
wolffd@0 19 'pos' = 'pos';
wolffd@0 20 'size' = 'size';
wolffd@0 21 'rect' = 'rect';
wolffd@0 22 'fname' = 'fontname';
wolffd@0 23 'fsize' = 'fontsize';
wolffd@0 24 'fcolor' = 'fontcolor';
wolffd@0 25 'dcolor' = 'drawcolor';
wolffd@0 26 'bcolor' = 'fillcolor';
wolffd@0 27 ];
wolffd@0 28 'maps' = [
wolffd@0 29 'X11' = [
wolffd@0 30 'fontmap' = [
wolffd@0 31 'Times-Roman' = '-*-times-medium-r-*--%d-*-*-*-*-*-*-1';
wolffd@0 32 'Times-Italic' = '-*-times-medium-i-*--%d-*-*-*-*-*-*-1';
wolffd@0 33 'Times-Bold' = '-*-times-bold-r-*--%d-*-*-*-*-*-*-1';
wolffd@0 34 'Courier' = '-*-courier-bold-r-*--%d-*-*-*-*-*-*-1';
wolffd@0 35 'Courier-Bold' = '-*-courier-bold-r-*--%d-*-*-*-*-*-*-1';
wolffd@0 36 'Helvetica' = (
wolffd@0 37 '-*-helvetica-medium-r-normal--%d-*-*-*-p-*-iso8859-1'
wolffd@0 38 );
wolffd@0 39 'Helvetica-Bold' = (
wolffd@0 40 '-*-helvetica-bold-r-normal--%d-*-*-*-p-*-iso8859-1'
wolffd@0 41 );
wolffd@0 42 ];
wolffd@0 43 'psfontmap' = [
wolffd@0 44 'Times-Roman' = 'Times-Roman';
wolffd@0 45 'Times-Italic' = 'Times-Italic';
wolffd@0 46 'Times-Bold' = 'Times-Bold';
wolffd@0 47 'Courier' = 'Courier';
wolffd@0 48 'Courier-Bold' = 'Courier-Bold';
wolffd@0 49 'Helvetica' = 'Helvetica';
wolffd@0 50 'Helvetica-Bold' = 'Helvetica-Bold';
wolffd@0 51 ];
wolffd@0 52 ];
wolffd@0 53 'mswin' = [
wolffd@0 54 'fontmap' = [
wolffd@0 55 'Times-Roman' = 'Times New Roman';
wolffd@0 56 'Times-Italic' = 'Times New Roman Italic';
wolffd@0 57 'Times-Bold' = 'Times New Roman Bold';
wolffd@0 58 'Courier' = 'Courier New';
wolffd@0 59 'Courier-Bold' = 'Courier New Bold';
wolffd@0 60 'Helvetica' = 'Arial';
wolffd@0 61 'Helvetica-Bold' = 'Arial Bold';
wolffd@0 62 ];
wolffd@0 63 'psfontmap' = [
wolffd@0 64 'Times-Roman' = 'Times New Roman';
wolffd@0 65 'Times-Italic' = 'Times New Roman Italic';
wolffd@0 66 'Times-Bold' = 'Times New Roman Bold';
wolffd@0 67 'Courier' = 'Courier New';
wolffd@0 68 'Courier-Bold' = 'Courier New Bold';
wolffd@0 69 'Helvetica' = 'Arial';
wolffd@0 70 'Helvetica-Bold' = 'Arial Bold';
wolffd@0 71 ];
wolffd@0 72 ];
wolffd@0 73 ];
wolffd@0 74 'protogt' = [
wolffd@0 75 'graph' = [
wolffd@0 76 'graphattr' = [
wolffd@0 77 'fontsize' = '14';
wolffd@0 78 'fontname' = 'Times-Roman';
wolffd@0 79 'fontcolor' = 'black';
wolffd@0 80 ];
wolffd@0 81 'nodeattr' = [
wolffd@0 82 'shape' = 'ellipse';
wolffd@0 83 'fontsize' = '14';
wolffd@0 84 'fontname' = 'Times-Roman';
wolffd@0 85 'fontcolor' = 'black';
wolffd@0 86 'style' = 'solid';
wolffd@0 87 ];
wolffd@0 88 'edgeattr' = [
wolffd@0 89 'fontsize' = '14';
wolffd@0 90 'fontname' = 'Times-Roman';
wolffd@0 91 'fontcolor' = 'black';
wolffd@0 92 'style' = 'solid';
wolffd@0 93 ];
wolffd@0 94 'graphdict' = [];
wolffd@0 95 'nodedict' = [];
wolffd@0 96 'graphs' = [];
wolffd@0 97 'nodes' = [];
wolffd@0 98 'edges' = [];
wolffd@0 99 'maxgid' = 0;
wolffd@0 100 'maxnid' = 0;
wolffd@0 101 'maxeid' = 0;
wolffd@0 102 'type' = 'digraph';
wolffd@0 103 ];
wolffd@0 104 'layoutmode' = 'sync';
wolffd@0 105 'lserver' = 'dot';
wolffd@0 106 'edgehandles' = 1;
wolffd@0 107 'noundo' = 0;
wolffd@0 108 ];
wolffd@0 109 'lservers' = [];
wolffd@0 110 'mlevel' = 0;
wolffd@0 111 'graphs' = [];
wolffd@0 112 'views' = [];
wolffd@0 113 'protovt' = [
wolffd@0 114 'normal' = [
wolffd@0 115 'name' = 'DOTTY';
wolffd@0 116 'orig' = ['x' = 1; 'y' = 1;];
wolffd@0 117 'size' = ['x' = 420; 'y' = 520;];
wolffd@0 118 'wrect' = [
wolffd@0 119 0 = ['x' = 0; 'y' = 0;];
wolffd@0 120 1 = ['x' = 400; 'y' = 500;];
wolffd@0 121 ];
wolffd@0 122 'vsize' = ['x' = 400; 'y' = 500;];
wolffd@0 123 'w2v' = 1;
wolffd@0 124 ];
wolffd@0 125 'birdseye' = [
wolffd@0 126 'type' = 'birdseye';
wolffd@0 127 'name' = 'DOTTY birdseye view';
wolffd@0 128 'orig' = ['x' = 1; 'y' = 1;];
wolffd@0 129 'size' = ['x' = 220; 'y' = 260;];
wolffd@0 130 'wrect' = [
wolffd@0 131 0 = ['x' = 0; 'y' = 0;];
wolffd@0 132 1 = ['x' = 200; 'y' = 250;];
wolffd@0 133 ];
wolffd@0 134 'vsize' = ['x' = 200; 'y' = 250;];
wolffd@0 135 'w2v' = 1;
wolffd@0 136 ];
wolffd@0 137 ];
wolffd@0 138 'pagesizes' = [
wolffd@0 139 '8.5x11' = ['x' = 8; 'y' = 10.5;];
wolffd@0 140 '11x17' = ['x' = 10.5; 'y' = 16.5;];
wolffd@0 141 '36x50' = ['x' = 35.5; 'y' = 49.5;];
wolffd@0 142 ];
wolffd@0 143 ];
wolffd@0 144 load ('dotty_draw.lefty');
wolffd@0 145 load ('dotty_edit.lefty');
wolffd@0 146 load ('dotty_layout.lefty');
wolffd@0 147 load ('dotty_ui.lefty');
wolffd@0 148 #
wolffd@0 149 # initialization functions
wolffd@0 150 #
wolffd@0 151 dotty.init = function () {
wolffd@0 152 dotty.fontmap = dotty.maps[getenv ('LEFTYWINSYS')].fontmap;
wolffd@0 153 dotty.clipgt = dotty.protogt.creategraph (['noundo' = 1;]);
wolffd@0 154 dotty.inited = 1;
wolffd@0 155 };
wolffd@0 156 dotty.simple = function (file) {
wolffd@0 157 if (dotty.inited ~= 1)
wolffd@0 158 dotty.init ();
wolffd@0 159 dotty.createviewandgraph (file, 'file', null, null);
wolffd@0 160 txtview ('off');
wolffd@0 161 };
wolffd@0 162 #
wolffd@0 163 # main operations
wolffd@0 164 #
wolffd@0 165 dotty.protogt.creategraph = function (protogt) {
wolffd@0 166 local gt, id, gtid;
wolffd@0 167
wolffd@0 168 if (~protogt)
wolffd@0 169 protogt = dotty.protogt;
wolffd@0 170 for (gtid = 0; dotty.graphs[gtid]; gtid = gtid + 1)
wolffd@0 171 ;
wolffd@0 172 gt = (dotty.graphs[gtid] = []);
wolffd@0 173 if (protogt.mode ~= 'replace') {
wolffd@0 174 for (id in dotty.protogt)
wolffd@0 175 gt[id] = copy (dotty.protogt[id]);
wolffd@0 176 }
wolffd@0 177 for (id in protogt)
wolffd@0 178 gt[id] = copy (protogt[id]);
wolffd@0 179 gt.gtid = gtid;
wolffd@0 180 gt.views = [];
wolffd@0 181 gt.undoarray = ['level' = 0; 'entries' = [];];
wolffd@0 182 gt.busy = 0;
wolffd@0 183 return gt;
wolffd@0 184 };
wolffd@0 185 dotty.protogt.copygraph = function (ogt) {
wolffd@0 186 local gt, gtid, id;
wolffd@0 187
wolffd@0 188 for (gtid = 0; dotty.graphs[gtid]; gtid = gtid + 1)
wolffd@0 189 ;
wolffd@0 190 gt = (dotty.graphs[gtid] = []);
wolffd@0 191 for (id in ogt)
wolffd@0 192 gt[id] = copy (ogt[id]);
wolffd@0 193 gt.gtid = gtid;
wolffd@0 194 gt.views = [];
wolffd@0 195 gt.undoarray = ['level' = 0; 'entries' = [];];
wolffd@0 196 gt.busy = 0;
wolffd@0 197 return gt;
wolffd@0 198 };
wolffd@0 199 dotty.protogt.destroygraph = function (gt) {
wolffd@0 200 local vid, vlist;
wolffd@0 201
wolffd@0 202 if (gt.layoutpending > 0)
wolffd@0 203 gt.cancellayout (gt);
wolffd@0 204 for (vid in gt.views)
wolffd@0 205 vlist[vid] = gt.views[vid];
wolffd@0 206 for (vid in gt.views)
wolffd@0 207 gt.destroyview (gt, vlist[vid]);
wolffd@0 208 remove (gt.gtid, dotty.graphs);
wolffd@0 209 };
wolffd@0 210 dotty.protogt.loadgraph = function (gt, name, type, protograph, layoutflag) {
wolffd@0 211 local fd, vid, vt, graph, nid, eid, gid;
wolffd@0 212
wolffd@0 213 if (gt.layoutpending > 0)
wolffd@0 214 gt.cancellayout (gt);
wolffd@0 215 if (~name)
wolffd@0 216 if (~(name = ask ('file name:', 'file', '')))
wolffd@0 217 return;
wolffd@0 218 dotty.pushbusy (gt, gt.views);
wolffd@0 219 dotty.message (1, 'loading');
wolffd@0 220 if (~protograph)
wolffd@0 221 protograph = dotty.protogt.graph;
wolffd@0 222 if (
wolffd@0 223 ~((fd = dotty.openio (name, type, 'r')) >= 0) |
wolffd@0 224 ~(graph = readgraph (fd, protograph))
wolffd@0 225 ) {
wolffd@0 226 dotty.message (0, 'cannot load graph');
wolffd@0 227 dotty.popbusy (gt, gt.views);
wolffd@0 228 return;
wolffd@0 229 }
wolffd@0 230 for (vid in gt.views) {
wolffd@0 231 vt = gt.views[vid];
wolffd@0 232 vt.colors = [];
wolffd@0 233 vt.colorn = 2;
wolffd@0 234 }
wolffd@0 235 gt.graph = graph;
wolffd@0 236 gt.name = name;
wolffd@0 237 gt.type = type;
wolffd@0 238 gt.undoarray = ['level' = 0; 'entries' = [];];
wolffd@0 239 if (~(type == 'file' & name == '-'))
wolffd@0 240 closeio (fd);
wolffd@0 241 graph.maxgid = tablesize (graph.graphs);
wolffd@0 242 graph.maxnid = tablesize (graph.nodes);
wolffd@0 243 graph.maxeid = tablesize (graph.edges);
wolffd@0 244 for (nid in graph.nodes)
wolffd@0 245 graph.nodes[nid][dotty.keys.nid] = nid;
wolffd@0 246 for (eid in graph.edges)
wolffd@0 247 graph.edges[eid][dotty.keys.eid] = eid;
wolffd@0 248 for (gid in graph.graphs)
wolffd@0 249 graph.graphs[gid][dotty.keys.gid] = gid;
wolffd@0 250 gt.unpackattr (gt);
wolffd@0 251 if (layoutflag) {
wolffd@0 252 dotty.message (1, 'generating layout');
wolffd@0 253 gt.layoutgraph (gt);
wolffd@0 254 }
wolffd@0 255 dotty.popbusy (gt, gt.views);
wolffd@0 256 return gt.graph;
wolffd@0 257 };
wolffd@0 258 dotty.protogt.savegraph = function (gt, name, type) {
wolffd@0 259 local fd;
wolffd@0 260
wolffd@0 261 if (~name)
wolffd@0 262 if (~(name = ask ('file name:', 'file', '')))
wolffd@0 263 return;
wolffd@0 264 if (
wolffd@0 265 ~((fd = dotty.openio (name, type, 'w')) >= 0) |
wolffd@0 266 ~writegraph (fd, gt.graph, 0)
wolffd@0 267 ) {
wolffd@0 268 dotty.message (0, 'cannot save graph');
wolffd@0 269 return;
wolffd@0 270 }
wolffd@0 271 if (~(type == 'file' & name == '-'))
wolffd@0 272 closeio (fd);
wolffd@0 273 };
wolffd@0 274 dotty.protogt.setgraph = function (gt, graph) {
wolffd@0 275 local vid, vt, nid, eid, gid;
wolffd@0 276
wolffd@0 277 if (gt.layoutpending > 0)
wolffd@0 278 gt.cancellayout (gt);
wolffd@0 279 for (vid in gt.views) {
wolffd@0 280 vt = gt.views[vid];
wolffd@0 281 vt.colors = [];
wolffd@0 282 vt.colorn = 2;
wolffd@0 283 }
wolffd@0 284 gt.graph = copy (graph);
wolffd@0 285 gt.undoarray = ['level' = 0; 'entries' = [];];
wolffd@0 286 gt.unpackattr (gt);
wolffd@0 287 gt.graph.maxgid = tablesize (graph.graphs);
wolffd@0 288 gt.graph.maxnid = tablesize (graph.nodes);
wolffd@0 289 gt.graph.maxeid = tablesize (graph.edges);
wolffd@0 290 for (nid in gt.graph.nodes)
wolffd@0 291 gt.graph.nodes[nid][dotty.keys.nid] = nid;
wolffd@0 292 for (eid in gt.graph.edges)
wolffd@0 293 gt.graph.edges[eid][dotty.keys.eid] = eid;
wolffd@0 294 for (gid in gt.graph.graphs)
wolffd@0 295 gt.graph.graphs[gid][dotty.keys.gid] = gid;
wolffd@0 296 gt.unpackattr (gt);
wolffd@0 297 dotty.message (1, 'generating layout');
wolffd@0 298 gt.layoutgraph (gt);
wolffd@0 299 return gt.graph;
wolffd@0 300 };
wolffd@0 301 dotty.protogt.erasegraph = function (gt, protogt, protovt) {
wolffd@0 302 local vid, vt;
wolffd@0 303
wolffd@0 304 if (gt.layoutpending > 0)
wolffd@0 305 gt.cancellayout (gt);
wolffd@0 306 for (vid in gt.views) {
wolffd@0 307 vt = gt.views[vid];
wolffd@0 308 vt.colors = [];
wolffd@0 309 vt.colorn = 2;
wolffd@0 310 clear (vt.canvas);
wolffd@0 311 }
wolffd@0 312 if (~protogt)
wolffd@0 313 protogt = dotty.protogt;
wolffd@0 314 gt.graph = copy (protogt.graph);
wolffd@0 315 gt.undoarray = ['level' = 0; 'entries' = [];];
wolffd@0 316 };
wolffd@0 317 dotty.protogt.layoutgraph = function (gt) {
wolffd@0 318 if (gt.graph.graphattr.xdotversion) {
wolffd@0 319 gt.unpacklayout (gt, gt.graph);
wolffd@0 320 gt.setviewsize (gt.views, gt.graph.rect);
wolffd@0 321 gt.redrawgraph (gt, gt.views);
wolffd@0 322 return;
wolffd@0 323 }
wolffd@0 324 if (gt.layoutmode == 'async') {
wolffd@0 325 if (~gt.haveinput) {
wolffd@0 326 gt.startlayout (gt);
wolffd@0 327 return;
wolffd@0 328 }
wolffd@0 329 if (~gt.finishlayout (gt))
wolffd@0 330 return;
wolffd@0 331 gt.setviewsize (gt.views, gt.graph.rect);
wolffd@0 332 gt.redrawgraph (gt, gt.views);
wolffd@0 333 } else {
wolffd@0 334 if (~gt.startlayout (gt))
wolffd@0 335 return;
wolffd@0 336 else
wolffd@0 337 while (~gt.finishlayout (gt))
wolffd@0 338 ;
wolffd@0 339 gt.setviewsize (gt.views, gt.graph.rect);
wolffd@0 340 gt.redrawgraph (gt, gt.views);
wolffd@0 341 }
wolffd@0 342 };
wolffd@0 343 dotty.protogt.createview = function (gt, protovt) {
wolffd@0 344 local vt, ovt, id, t;
wolffd@0 345
wolffd@0 346 vt = [];
wolffd@0 347 vt.colors = [];
wolffd@0 348 vt.colorn = 2;
wolffd@0 349 if (~protovt)
wolffd@0 350 protovt = dotty.protovt.normal;
wolffd@0 351 if (protovt.mode ~= 'replace') {
wolffd@0 352 for (id in dotty.protovt[protovt.type])
wolffd@0 353 vt[id] = copy (dotty.protovt[protovt.type][id]);
wolffd@0 354 }
wolffd@0 355 for (id in protovt)
wolffd@0 356 vt[id] = copy (protovt[id]);
wolffd@0 357 if (~(vt.parent >= 0)) {
wolffd@0 358 vt.view = createwidget (-1, [
wolffd@0 359 'type' = 'view';
wolffd@0 360 'name' = vt.name;
wolffd@0 361 'origin' = vt.orig;
wolffd@0 362 'size' = vt.size;
wolffd@0 363 ]);
wolffd@0 364 vt.scroll = createwidget (vt.view, ['type' = 'scroll';]);
wolffd@0 365 } else {
wolffd@0 366 vt.view = -1;
wolffd@0 367 vt.scroll = createwidget (vt.parent, [
wolffd@0 368 'type' = 'scroll';
wolffd@0 369 'size' = vt.size;
wolffd@0 370 ]);
wolffd@0 371 }
wolffd@0 372 vt.canvas = createwidget (vt.scroll, [
wolffd@0 373 'type' = 'canvas';
wolffd@0 374 'color' = [0 = protovt.bgcolor; 1 = protovt.fgcolor;];
wolffd@0 375 ]);
wolffd@0 376 setwidgetattr (vt.canvas, [
wolffd@0 377 'window' = vt.wrect;
wolffd@0 378 'viewport' = vt.vsize;
wolffd@0 379 ]);
wolffd@0 380 clear (vt.canvas);
wolffd@0 381 dotty.views[vt.canvas] = vt;
wolffd@0 382 vt.vtid = vt.canvas;
wolffd@0 383 vt.gtid = gt.gtid;
wolffd@0 384 gt.views[vt.vtid] = vt;
wolffd@0 385 dotty.views[vt.scroll] = vt;
wolffd@0 386 if (vt.view ~= -1)
wolffd@0 387 dotty.views[vt.view] = vt;
wolffd@0 388 if (protovt.colors & tablesize (protovt.colors) > 0) {
wolffd@0 389 for (id in protovt.colors)
wolffd@0 390 if (id == '_bgcolor_')
wolffd@0 391 setwidgetattr (vt.canvas, [
wolffd@0 392 'color' = [0 = protovt.colors[id];];
wolffd@0 393 ]);
wolffd@0 394 else if (setwidgetattr (vt.canvas, ['color' = [
wolffd@0 395 protovt.colors[id] = id;
wolffd@0 396 ];]) ~= 1) {
wolffd@0 397 t = split (id, ' ');
wolffd@0 398 if (tablesize (t) ~= 3 | setwidgetattr (vt.canvas, [
wolffd@0 399 'color' = [protovt.colors[id] = [
wolffd@0 400 'h' = ston (t[0]); 's' = ston (t[1]); 'v' = ston (t[2]);
wolffd@0 401 ];];
wolffd@0 402 ]) ~= 1) {
wolffd@0 403 dotty.message (
wolffd@0 404 0, concat ('unknown color ', id, ' using #1')
wolffd@0 405 );
wolffd@0 406 }
wolffd@0 407 }
wolffd@0 408 vt.colors = copy (protovt.colors);
wolffd@0 409 vt.colorn = protovt.colorn;
wolffd@0 410 } else if (tablesize (gt.views) > 1) {
wolffd@0 411 for (id in gt.views)
wolffd@0 412 if (gt.views[id] ~= vt)
wolffd@0 413 break;
wolffd@0 414 ovt = gt.views[id];
wolffd@0 415 for (id in ovt.colors)
wolffd@0 416 if (id == '_bgcolor_')
wolffd@0 417 setwidgetattr (vt.canvas, ['color' = [0 = ovt.colors[id];];]);
wolffd@0 418 else if (setwidgetattr (vt.canvas, ['color' = [
wolffd@0 419 ovt.colors[id] = id;
wolffd@0 420 ];]) ~= 1) {
wolffd@0 421 t = split (id, ' ');
wolffd@0 422 if (tablesize (t) ~= 3 | setwidgetattr (vt.canvas, [
wolffd@0 423 'color' = [ovt.colors[id] = [
wolffd@0 424 'h' = ston (t[0]); 's' = ston (t[1]); 'v' = ston (t[2]);
wolffd@0 425 ];];
wolffd@0 426 ]) ~= 1) {
wolffd@0 427 dotty.message (
wolffd@0 428 0, concat ('unknown color ', id, ' using #1')
wolffd@0 429 );
wolffd@0 430 }
wolffd@0 431 }
wolffd@0 432 vt.colors = copy (ovt.colors);
wolffd@0 433 vt.colorn = ovt.colorn;
wolffd@0 434 }
wolffd@0 435 if (gt.graph.rect)
wolffd@0 436 gt.setviewsize ([vt.vtid = vt;], gt.graph.rect);
wolffd@0 437 gt.drawgraph (gt, [vt.vtid = vt;]);
wolffd@0 438 for (id in vt.uifuncs)
wolffd@0 439 if (id == 'closeview')
wolffd@0 440 widgets[vt.view][id] = vt.uifuncs[id];
wolffd@0 441 else
wolffd@0 442 widgets[vt.canvas][id] = vt.uifuncs[id];
wolffd@0 443 return vt;
wolffd@0 444 };
wolffd@0 445 dotty.protogt.destroyview = function (gt, vt) {
wolffd@0 446 destroywidget (vt.canvas);
wolffd@0 447 destroywidget (vt.scroll);
wolffd@0 448 if (vt.view ~= -1) {
wolffd@0 449 destroywidget (vt.view);
wolffd@0 450 remove (vt.view, dotty.views);
wolffd@0 451 }
wolffd@0 452 remove (vt.scroll, dotty.views);
wolffd@0 453 remove (vt.canvas, dotty.views);
wolffd@0 454 if (vt.gtid >= 0)
wolffd@0 455 remove (vt.vtid, gt.views);
wolffd@0 456 if (tablesize (dotty.views) == 0)
wolffd@0 457 exit ();
wolffd@0 458 };
wolffd@0 459 dotty.protogt.zoom = function (gt, vt, factor, pos) {
wolffd@0 460 gt.setviewscale ([vt.vtid = vt;], factor);
wolffd@0 461 if (pos)
wolffd@0 462 gt.setviewcenter ([vt.vtid = vt;], pos);
wolffd@0 463 gt.redrawgraph (gt, [vt.vtid = vt;]);
wolffd@0 464 };
wolffd@0 465 dotty.protogt.findnode = function (gt, vt) {
wolffd@0 466 local key, node, node1, nid;
wolffd@0 467
wolffd@0 468 if (~(key = ask ('give node name or label')))
wolffd@0 469 return;
wolffd@0 470 if (gt.graph.nodedict[key] >= 0)
wolffd@0 471 node = gt.graph.nodes[gt.graph.nodedict[key]];
wolffd@0 472 else if (gt.graph.nodedict[ston (key)] >= 0)
wolffd@0 473 node = gt.graph.nodes[gt.graph.nodedict[ston (key)]];
wolffd@0 474 else {
wolffd@0 475 for (nid in gt.graph.nodes) {
wolffd@0 476 node1 = gt.graph.nodes[nid];
wolffd@0 477 if (node1.attr.label == key | node1.attr.label == ston (key)) {
wolffd@0 478 node = node1;
wolffd@0 479 break;
wolffd@0 480 }
wolffd@0 481 }
wolffd@0 482 }
wolffd@0 483 if (~node) {
wolffd@0 484 dotty.message (0, concat ('cannot find node: ', key));
wolffd@0 485 return;
wolffd@0 486 }
wolffd@0 487 gt.setviewcenter ([vt.vtid = vt;], node.pos);
wolffd@0 488 };
wolffd@0 489 dotty.protogt.setattr = function (gt, obj) {
wolffd@0 490 local kv, t, attr, value, n, i, s;
wolffd@0 491
wolffd@0 492 if (~(kv = ask ('give attr/value, eg. color=blue')))
wolffd@0 493 return;
wolffd@0 494 t = split (kv, '=');
wolffd@0 495 attr = t[0];
wolffd@0 496 value = t[1];
wolffd@0 497 if ((n = tablesize (t)) > 2)
wolffd@0 498 for (i = 2; i < n; i = i + 1)
wolffd@0 499 value = concat (value, '=', t[i]);
wolffd@0 500 # Check for HTML string and convert using lefty convention
wolffd@0 501 s = split (value, '');
wolffd@0 502 n = tablesize (s);
wolffd@0 503 if ((s[0] == '<') & (s[n-1] == '>')) {
wolffd@0 504 s[0] = '>';
wolffd@0 505 s[n-1] = '<';
wolffd@0 506 value = s[0];
wolffd@0 507 for (i = 1; i < n; i = i + 1)
wolffd@0 508 value = concat (value, s[i]);
wolffd@0 509 }
wolffd@0 510 if (
wolffd@0 511 obj.attr == gt.graph.graphattr |
wolffd@0 512 obj.attr == gt.graph.edgeattr |
wolffd@0 513 obj.attr == gt.graph.nodeattr
wolffd@0 514 ) {
wolffd@0 515 obj.attr[attr] = value;
wolffd@0 516 return;
wolffd@0 517 }
wolffd@0 518 if (obj.nid >= 0) {
wolffd@0 519 gt.undrawnode (gt, gt.views, obj);
wolffd@0 520 obj.attr[attr] = value;
wolffd@0 521 gt.unpacknodeattr (gt, obj);
wolffd@0 522 gt.drawnode (gt, gt.views, obj);
wolffd@0 523 } else if (obj.eid >= 0) {
wolffd@0 524 gt.undrawedge (gt, gt.views, obj);
wolffd@0 525 obj.attr[attr] = value;
wolffd@0 526 gt.unpackedgeattr (gt, obj);
wolffd@0 527 gt.drawedge (gt, gt.views, obj);
wolffd@0 528 }
wolffd@0 529 };
wolffd@0 530 dotty.protogt.getattr = function (gt, node) {
wolffd@0 531 local kv;
wolffd@0 532
wolffd@0 533 if (~(kv.key = ask ('give attr name')))
wolffd@0 534 return null;
wolffd@0 535 if ((kv.val = node.attr[kv.key]))
wolffd@0 536 return kv;
wolffd@0 537 return null;
wolffd@0 538 };
wolffd@0 539 #
wolffd@0 540 # utilities
wolffd@0 541 #
wolffd@0 542 dotty.createviewandgraph = function (name, type, protogt, protovt) {
wolffd@0 543 local vt, gt;
wolffd@0 544
wolffd@0 545 if (~protogt)
wolffd@0 546 protogt = dotty.protogt;
wolffd@0 547 if (protogt.creategraph)
wolffd@0 548 gt = protogt.creategraph (protogt);
wolffd@0 549 else
wolffd@0 550 gt = dotty.protogt.creategraph (protogt);
wolffd@0 551 vt = gt.createview (gt, protovt);
wolffd@0 552 if (~protogt.graph)
wolffd@0 553 protogt.graph = copy (dotty.protogt.graph);
wolffd@0 554 if (name)
wolffd@0 555 gt.loadgraph (gt, name, type, protogt.graph, 1);
wolffd@0 556 return ['gt' = gt; 'vt' = vt;];
wolffd@0 557 };
wolffd@0 558 dotty.openio = function (name, type, mode) {
wolffd@0 559 local fd;
wolffd@0 560
wolffd@0 561 if (~name)
wolffd@0 562 return null;
wolffd@0 563 if (type == 'file') {
wolffd@0 564 if (name == '-') {
wolffd@0 565 if (mode == 'r' | mode == 'r+')
wolffd@0 566 fd = 0;
wolffd@0 567 else
wolffd@0 568 fd = 1;
wolffd@0 569 } else if (~((fd = openio ('file', name, mode)) >= 0)) {
wolffd@0 570 dotty.message (0, concat ('cannot open file: ', name));
wolffd@0 571 return null;
wolffd@0 572 }
wolffd@0 573 } else if (type == 'pipe') {
wolffd@0 574 if (~((fd = openio (
wolffd@0 575 'pipe', 'ksh', mode, concat ("%e ", name)
wolffd@0 576 )) >= 0)) {
wolffd@0 577 dotty.message (0, concat ('cannot run command: ', name));
wolffd@0 578 return null;
wolffd@0 579 }
wolffd@0 580 } else
wolffd@0 581 return null;
wolffd@0 582 return fd;
wolffd@0 583 };
wolffd@0 584 dotty.pushbusy = function (gt, views) {
wolffd@0 585 local vid;
wolffd@0 586
wolffd@0 587 if (gt.busy == 0)
wolffd@0 588 for (vid in gt.views)
wolffd@0 589 setwidgetattr (vid, ['cursor' = 'watch';]);
wolffd@0 590 gt.busy = gt.busy + 1;
wolffd@0 591 };
wolffd@0 592 dotty.popbusy = function (gt, views) {
wolffd@0 593 local vid;
wolffd@0 594
wolffd@0 595 gt.busy = gt.busy - 1;
wolffd@0 596 if (gt.busy == 0)
wolffd@0 597 for (vid in gt.views)
wolffd@0 598 setwidgetattr (vid, ['cursor' = 'default';]);
wolffd@0 599 };
wolffd@0 600 dotty.message = function (level, text) {
wolffd@0 601 if (level <= dotty.mlevel)
wolffd@0 602 echo ('dotty.lefty: ', text);
wolffd@0 603 };
wolffd@0 604 #
wolffd@0 605 # printing or saving to file
wolffd@0 606 #
wolffd@0 607 dotty.protogt.printorsave = function (gt, vt, otype, name, mode, ptype) {
wolffd@0 608 local pr, wrect, vsize, xy, psize, canvas, pscanvas, cid, cname, t;
wolffd@0 609 local graph, edgehandles, fontmap, eid, edge, nid, node, gid, sgraph;
wolffd@0 610 local did, draw, i;
wolffd@0 611
wolffd@0 612 if (~otype)
wolffd@0 613 if (~(otype = ask ('print to', 'choice', 'file|printer')))
wolffd@0 614 return;
wolffd@0 615 if (otype == 'printer') {
wolffd@0 616 if (~getenv ('TMPDIR'))
wolffd@0 617 name = concat (getenv ('HOME'), '/.dottyout.ps');
wolffd@0 618 else
wolffd@0 619 name = concat (getenv ('TMPDIR'), '/.dottyout.ps', random (10000));
wolffd@0 620 if (getenv ('LEFTYWINSYS') ~= 'mswin' & ~pr)
wolffd@0 621 if (~(pr = ask ('printer command', 'string', 'lpr')))
wolffd@0 622 return;
wolffd@0 623 }
wolffd@0 624 if (~name)
wolffd@0 625 if (~(name = ask ('postscript file', 'file', 'out.ps')))
wolffd@0 626 return;
wolffd@0 627 if (~ptype)
wolffd@0 628 if (~(ptype = ask ('page size', 'choice', '8.5x11|11x17|36x50')))
wolffd@0 629 return;
wolffd@0 630 if (~mode)
wolffd@0 631 if (~(mode = ask ('mode', 'choice', 'portrait|landscape|best fit')))
wolffd@0 632 return;
wolffd@0 633 wrect = copy (vt.wrect);
wolffd@0 634 wrect[0].x = wrect[0].x - 1;
wolffd@0 635 wrect[1].x = wrect[1].x + 1;
wolffd@0 636 wrect[0].y = wrect[0].y - 1;
wolffd@0 637 wrect[1].y = wrect[1].y + 1;
wolffd@0 638 vsize = copy (vt.vsize);
wolffd@0 639 if (vsize.x == 0)
wolffd@0 640 vsize.x = 1;
wolffd@0 641 if (vsize.y == 0)
wolffd@0 642 vsize.y = 1;
wolffd@0 643 xy = vsize.x / vsize.y;
wolffd@0 644 if (mode == 'best fit') {
wolffd@0 645 if (xy < 1)
wolffd@0 646 mode = 'portrait';
wolffd@0 647 else
wolffd@0 648 mode = 'landscape';
wolffd@0 649 }
wolffd@0 650 psize = dotty.pagesizes[ptype];
wolffd@0 651 if (mode == 'portrait') {
wolffd@0 652 if (xy < psize.x / psize.y) {
wolffd@0 653 vsize.y = psize.y * 300;
wolffd@0 654 vsize.x = vsize.y * xy;
wolffd@0 655 } else {
wolffd@0 656 vsize.x = psize.x * 300;
wolffd@0 657 vsize.y = vsize.x / xy;
wolffd@0 658 }
wolffd@0 659 } else {
wolffd@0 660 if (xy < psize.y / psize.x) {
wolffd@0 661 vsize.y = psize.x * 300;
wolffd@0 662 vsize.x = vsize.y * xy;
wolffd@0 663 } else {
wolffd@0 664 vsize.x = psize.y * 300;
wolffd@0 665 vsize.y = vsize.x / xy;
wolffd@0 666 }
wolffd@0 667 }
wolffd@0 668 if (~((pscanvas = createwidget (-1, [
wolffd@0 669 'type' = 'ps';
wolffd@0 670 'origin' = ['x' = 0; 'y' = 0;];
wolffd@0 671 'size' = vsize;
wolffd@0 672 'mode' = mode;
wolffd@0 673 'name' = name;
wolffd@0 674 ])) >= 0)) {
wolffd@0 675 dotty.message (0, 'cannot open printer device');
wolffd@0 676 return;
wolffd@0 677 }
wolffd@0 678 for (cname in vt.colors) {
wolffd@0 679 cid = vt.colors[cname];
wolffd@0 680 if (cname == '_bgcolor_')
wolffd@0 681 setwidgetattr (pscanvas, ['color' = [0 = cid;];]);
wolffd@0 682 else if (setwidgetattr (pscanvas, ['color' = [cid = cname;];]) ~= 1) {
wolffd@0 683 t = split (cname, ' ');
wolffd@0 684 if (tablesize (t) ~= 3 | setwidgetattr (pscanvas, [
wolffd@0 685 'color' = [cid = [
wolffd@0 686 'h' = ston (t[0]); 's' = ston (t[1]); 'v' = ston (t[2]);
wolffd@0 687 ];];
wolffd@0 688 ]) ~= 1) {
wolffd@0 689 dotty.message (
wolffd@0 690 0, concat ('unknown color ', cname, ' using #1')
wolffd@0 691 );
wolffd@0 692 }
wolffd@0 693 }
wolffd@0 694 }
wolffd@0 695 setwidgetattr (pscanvas, ['window' = wrect;]);
wolffd@0 696 graph = copy (gt.graph);
wolffd@0 697 canvas = vt.canvas;
wolffd@0 698 vt.canvas = pscanvas;
wolffd@0 699 edgehandles = gt.edgehandles;
wolffd@0 700 gt.edgehandles = 0;
wolffd@0 701 fontmap = dotty.maps[getenv ('LEFTYWINSYS')].psfontmap;
wolffd@0 702 for (eid in graph.edges) {
wolffd@0 703 edge = graph.edges[eid];
wolffd@0 704 edge.fontname = fontmap[edge.attr.fontname];
wolffd@0 705 for (did in edge.draws) {
wolffd@0 706 if (did == 'ep')
wolffd@0 707 continue;
wolffd@0 708 draw = edge.draws[did];
wolffd@0 709 for (i = 0; draw[i]; i = i + 1)
wolffd@0 710 if (draw[i].type == 'F')
wolffd@0 711 draw[i].fn = fontmap[draw[i].ofn];
wolffd@0 712 }
wolffd@0 713 gt.drawedge (gt, [0 = vt;], edge);
wolffd@0 714 }
wolffd@0 715 for (nid in graph.nodes) {
wolffd@0 716 node = graph.nodes[nid];
wolffd@0 717 node.fontname = fontmap[node.attr.fontname];
wolffd@0 718 for (did in node.draws) {
wolffd@0 719 if (did == 'ep')
wolffd@0 720 continue;
wolffd@0 721 draw = node.draws[did];
wolffd@0 722 for (i = 0; draw[i]; i = i + 1)
wolffd@0 723 if (draw[i].type == 'F')
wolffd@0 724 draw[i].fn = fontmap[draw[i].ofn];
wolffd@0 725 }
wolffd@0 726 gt.drawnode (gt, [0 = vt;], node);
wolffd@0 727 }
wolffd@0 728 for (gid in graph.graphs) {
wolffd@0 729 sgraph = graph.graphs[gid];
wolffd@0 730 sgraph.fontname = fontmap[sgraph.graphattr.fontname];
wolffd@0 731 for (did in sgraph.draws) {
wolffd@0 732 if (did == 'ep')
wolffd@0 733 continue;
wolffd@0 734 draw = sgraph.draws[did];
wolffd@0 735 for (i = 0; draw[i]; i = i + 1)
wolffd@0 736 if (draw[i].type == 'F')
wolffd@0 737 draw[i].fn = fontmap[draw[i].ofn];
wolffd@0 738 }
wolffd@0 739 gt.drawsgraph (gt, [0 = vt;], sgraph);
wolffd@0 740 }
wolffd@0 741 graph.fontname = fontmap[graph.graphattr.fontname];
wolffd@0 742 gt.drawsgraph (gt, [0 = vt;], graph);
wolffd@0 743 gt.edgehandles = edgehandles;
wolffd@0 744 vt.canvas = canvas;
wolffd@0 745 destroywidget (pscanvas);
wolffd@0 746 if (otype == 'printer' & getenv ('LEFTYWINSYS') ~= 'mswin')
wolffd@0 747 system (concat (pr, ' ', name, '; rm ',name));
wolffd@0 748 };