#
# dotty_ui: user interface functions and data structures
#
dotty.protogt.doaction = function (data, s) {
local vt, gt;
vt = dotty.views[data.widget];
gt = dotty.graphs[vt.gtid];
if (data.obj.nid >= 0) {
if (gt.actions.node[s]) {
gt.actions.node[s] (gt, vt, data.obj, data);
return;
}
} else if (data.obj.eid >= 0) {
if (gt.actions.edge[s]) {
gt.actions.edge[s] (gt, vt, data.obj, data);
return;
}
}
if (gt.actions.general[s])
gt.actions.general[s] (gt, vt, data);
};
dotty.protogt.actions.general = [
"undo" = function (gt, vt, data) {
gt.undo (gt, 1);
};
"paste" = function (gt, vt, data) {
gt.paste (gt, data.pos, 1);
};
"do layout" = function (gt, vt, data) {
gt.layoutgraph (gt);
};
"cancel layout" = function (gt, vt, data) {
gt.cancellayout (gt);
};
"redraw" = function (gt, vt, data) {
gt.redrawgraph (gt, [vt.vtid = vt;]);
};
"new graph" = function (gt, vt, data) {
gt.erasegraph (gt, null, null);
};
"load graph" = function (gt, vt, data) {
if ( gt.name ~= '') {
gt.unfoldall (gt);
gt.savegraph (gt, gt.name, 'file', 1);
}
gt.loadgraph (gt, null, 'file', dotty.protogt.graph, 1);
};
"load parent" = function (gt, vt, data) {
local pname;
pname = gt.graph['parent'];
if ( ~pname | pname == '' )
return;
if ( gt.name ~= '') {
gt.unfoldall (gt);
gt.savegraph (gt, gt.name, gt.type, 1);
}
gt.loadgraph (gt, pname, 'file', dotty.protogt.graph, 1);
};
"reload graph" = function (gt, vt, data) {
gt.loadgraph (gt, gt.name, gt.type, gt.graph, 1);
};
"save graph" = function (gt, vt, data) {
gt.unfoldall (gt);
gt.savegraph (gt, gt.name, gt.type, 1);
};
"save graph as" = function (gt, vt, data) {
gt.unfoldall (gt);
gt.savegraph (gt, null, 'file', 1);
};
"open view" = function (gt, vt, data) {
gt = dotty.protogt.creategraph (null);
gt.createview (gt, null);
};
"copy view" = function (gt, vt, data) {
gt = gt.copygraph (gt);
gt.createview (gt, vt);
};
"birdseye view" = function (gt, vt, data) {
gt.createview (gt, dotty.protovt.birdseye);
};
"clone view" = function (gt, vt, data) {
gt.createview (gt, vt);
};
"close view" = function (gt, vt, data) {
gt.destroyview (gt, vt);
if (tablesize (gt.views) == 0)
gt.destroygraph (gt);
};
"set graph attr" = function (gt, vt, data) {
gt.setattr (gt, ['attr' = gt.graph.graphattr;]);
};
"set node attr" = function (gt, vt, data) {
gt.setattr (gt, ['attr' = gt.graph.nodeattr;]);
};
"set edge attr" = function (gt, vt, data) {
gt.setattr (gt, ['attr' = gt.graph.edgeattr;]);
};
"zoom in" = function (gt, vt, data) {
gt.zoom (gt, vt, 0.5, data.pos);
};
"zoom out" = function (gt, vt, data) {
gt.zoom (gt, vt, 2, data.pos);
};
"zoom in slowly" = function (gt, vt, data) {
gt.zoom (gt, vt, 0.9, data.pos);
};
"zoom out slowly" = function (gt, vt, data) {
gt.zoom (gt, vt, 1.1, data.pos);
};
"move interactively" = function (gt, vt, data) {
gt.setviewcenter ([vt.vtid = vt;], data.pos);
# gt.redrawgraph (gt, [vt.vtid = vt;]);
};
"fold subgraph" = function (gt, vt, data) {
local grph;
grph = ask( 'Name of subgraph to fold');
if ( ~grph | grph == '' | grph == ' ' | ~gt.graph.graphdict[grph] ) {
echo('No subgraph found');
return;
}
gt.foldsgraph(gt, gt.views, grph );
};
"add node" = function( gt, vt, data) {
local newname;
newname = ask('Give new node name');
if (newname == '' | newname == ' ')
newname=0;
gt.insertnode (gt, data.pos, null, newname, null, 1);
};
"add subgraph" = function (gt, vt, data) {
local newname;
newname = ask('Give new subgraph name');
if (newname == '' | newname == ' ')
newname=0;
gt.insertsgraph (gt, newname, null, 1);
};
"find node" = function (gt, vt, data) {
gt.findnode (gt, vt);
};
"print graph" = function (gt, vt, data) {
gt.printorsave (gt, vt, null, null, null, null);
};
"text view" = function (gt, vt, data) {
if (dotty.txtview == 'on')
dotty.txtview = 'off';
else
dotty.txtview = 'on';
txtview (dotty.txtview);
};
"quit" = function (gt, vt, data) {
local reply;
reply = ask ('Save graph', 'choice', 'Yes|No|Cancel');
if (reply == "Cancel")
return;
else if ( reply == "Yes") {
gt.unfoldall (gt);
gt.savegraph (gt, gt.name, gt.type, 1);
}
exit ();
};
];
dotty.protogt.actions.node = [
"cut" = function (gt, vt, obj, data) {
gt.cut (gt, obj, 'one', 'support', 'cut');
dotty.clipgt.layoutgraph (dotty.clipgt);
};
"Cut" = function (gt, vt, obj, data) {
gt.cut (gt, obj, 'reachable', 'support', 'cut');
dotty.clipgt.layoutgraph (dotty.clipgt);
};
"copy" = function (gt, vt, obj, data) {
gt.cut (gt, obj, 'one', 'support', 'copy');
dotty.clipgt.layoutgraph (dotty.clipgt);
};
"Copy" = function (gt, vt, obj, data) {
gt.cut (gt, obj, 'reachable', 'support', 'copy');
dotty.clipgt.layoutgraph (dotty.clipgt);
};
"group" = function (gt, vt, obj, data) {
local kv;
if ((kv = gt.getattr (gt, obj)))
gt.groupnodesbyattr (gt, kv.key, kv.val, [
'label' = kv.val; kv.key = kv.val;
], 1, 1);
};
"Group" = function (gt, vt, obj, data) {
local kv;
if ((kv = gt.getattr (gt, obj)))
gt.groupnodesbyattr (gt, kv.key, kv.val, [
'label' = kv.val; kv.key = kv.val;
], 0, 1);
};
"delete" = function (gt, vt, obj, data) {
if (obj.eid >= 0)
gt.removeedge (gt, obj);
else
gt.removenode (gt, obj);
};
"Delete" = function (gt, vt, obj, data) {
gt.removesubtree (gt, obj);
};
"remove" = function (gt, vt, obj, data) {
if (obj.nid >= 0)
if ((kv = gt.getattr (gt, obj)))
gt.removenodesbyattr (gt, kv.key, kv.val);
};
"Remove" = function (gt, vt, obj, data) {
if (obj.nid >= 0)
if ((kv = gt.getattr (gt, obj)))
gt.removesubtreesbyattr (gt, kv.key, kv.val);
};
"fold/unfold subtree" = function (gt, vt, obj, data) {
if ( obj.nid >= 0 ) {
if ( obj.attr.folded == '0' ) {
if ( gt.foldsubtree( gt, obj )) {
# gt.layoutgraph (gt);
# gt.setviewcenter ([vt.vtid = vt;], obj.pos);
gt.drawgraph (gt, [vt.vtid = vt;]);
}
}
else if ( obj.attr.folded == '1' ) {
gt.unfoldsubtree( gt, obj );
gt.layoutgraph (gt);
# Recentering on base node doesn't seem to work in every case...
# gt.setviewcenter ([vt.vtid = vt;], obj.pos);
# gt.redrawgraph (gt, [vt.vtid = vt;]);
}
}
else
echo('Not on a node');
};
"unfold subtree" = function (gt, vt, obj, data) {
if ( obj.nid >= 0 ) {
gt.unfoldsubtree( gt, obj );
gt.drawgraph (gt, [vt.vtid = vt;]);
}
else
echo('Not on a node', obj.nid);
};
"set attr" = function (gt, vt, obj, data) {
gt.setattr (gt, obj);
};
"print attr" = function (gt, vt, obj, data) {
local attname;
if (obj.nid >= 0) {
attname = ask('What attribute?');
echo (obj.attr[attname]);
}
dump (obj.attr);
};
"change label" = function (gt, vt, obj, data) {
local newname;
newname = ask('Enter new label name');
if ( newname == 1 )
return;
if (newname == '' | newname == ' ')
newname=0;
if ( obj.nid >= 0 ) {
gt.undrawnode (gt, gt.views, obj);
obj.attr['label'] = newname;
gt.unpacknodeattr (gt, obj);
gt.drawnode (gt, gt.views, obj);
}
else if (obj.eid >= 0) {
gt.undrawedge (gt, gt.views, obj);
obj.attr['label'] = newname;
gt.unpackedgeattr (gt, obj);
gt.drawedge (gt, gt.views, obj);
}
gt.layoutgraph (gt);
};
"load subgraph" = function (gt, vt, obj, data) {
local node, fname, pname, ngt, rtn, fd, graph;
if ( obj.nid < 0) {
echo('Invalid node');
return;
}
gt.unfoldall (gt);
gt.savegraph (gt, gt.name, gt.type, 1);
pname = gt.name;
fname = concat (obj.name, '.dot');
ngt = dotty.protogt.creategraph (null);
ngt.graphattr.parent = pname;
if (~((fd = dotty.openio (fname, 'file', 'r')) >= 0)) {
gt.erasegraph (gt, null, null);
ngt.createview (ngt, null);
gt.destroyview (gt, vt);
ngt.redrawgraph (ngt, ngt.views);
ngt.insertnode (ngt, ['x' = 30; 'y' = 0;], null, obj.name, null, 1);
ngt.savegraph (ngt, fname, 'file', 1);
}
else
gt.loadgraph (gt, fname, 'file', ngt, 1);
};
];
dotty.protogt.actions.edge = dotty.protogt.actions.node;
dotty.protovt.normal.menus = [
'general' = [
0 = "undo";
1 = "paste";
2 = "do layout";
3 = "cancel layout";
4 = "redraw";
5 = "new graph";
6 = "load graph";
7 = "reload graph";
8 = "load parent";
9 = "save graph";
10 = "save graph as";
11 = "open view";
12 = "copy view";
13 = "clone view";
14 = "birdseye view";
15 = "close view";
16 = "set graph attr";
17 = "set node attr";
18 = "set edge attr";
19 = "zoom in";
20 = "zoom out";
21 = "find node";
22 = "print graph";
23 = "text view";
24 = "quit";
];
'node' = [
0 = "cut";
1 = "Cut";
2 = "copy";
3 = "Copy";
4 = "group";
5 = "Group";
6 = "delete";
7 = "Delete";
8 = "remove";
9 = "Remove";
10 = "set attr";
11 = "print attr";
12 = "change label";
13 = "load subgraph";
];
'edge' = [
0 = "cut";
1 = "Cut";
2 = "copy";
3 = "Copy";
4 = "delete";
5 = "Delete";
6 = "set attr";
7 = "print attr";
8 = "change label";
];
];
dotty.protovt.normal.keys = [
'general' = [
'u' = "undo";
'p' = "paste";
'l' = "do layout";
'k' = "cancel layout";
' ' = "redraw";
'R' = "reload graph";
'L' = "load graph";
'+' = "load parent";
's' = "save graph";
'Z' = "zoom in";
'z' = "zoom out";
'.' = "zoom in slowly";
',' = "zoom out slowly";
' ' = "move interactively";
'n' = "add node";
'Q' = "quit";
];
'node' = [
'c' = "copy";
'C' = "Copy";
'g' = "group";
'G' = "Group";
'd' = "delete";
'D' = "Delete";
'r' = "remove";
'R' = "Remove";
'f' = "fold/unfold subtree";
'a' = "set attr";
'/' = "change label";
'-' = "load subgraph";
];
'edge' = [
'c' = "copy";
'C' = "Copy";
'd' = "delete";
'D' = "Delete";
'a' = "set attr";
'/' = "change label";
];
];
dotty.protovt.birdseye.menus = dotty.protovt.normal.menus;
dotty.protovt.birdseye.keys = dotty.protovt.normal.keys;
dotty.protovt.normal.uifuncs = [
'leftdown' = function (data) {
local gt;
gt = dotty.graphs[vt.gtid];
vt = dotty.views[data.widget];
if (dotty.node2move) {
# & (dotty.rp2.x ~= data.pos.x | dotty.rp2.y ~= data.pos.y)) {
gt.movenode (gt, dotty.node2move, data.pos);
gt.redrawgraph (gt, [vt.vtid = vt;]);
# gt.redrawgraph (gt, gt.views);
dotty.rp2 = data.pos;
}
else if (data.obj.nid >= 0) {
dotty.node2move = data.obj;
dotty.movewidget = data.widget;
dotty.rp2 = data.pos;
}
};
'leftmove' = function (data) {
local vt,gt;
gt = dotty.graphs[vt.gtid];
vt = dotty.views[data.widget];
dotty.node2move = data.obj;
dotty.movewidget = data.widget;
dotty.rp2 = data.pos;
if (dotty.node2move ) {
# & (dotty.rp2.x ~= data.pos.x | dotty.rp2.y ~= data.pos.y)) {
gt.movenode (gt, dotty.node2move, dotty.rp2);
gt.setviewscale ([vt.vtid = vt;], 1);
gt.redrawgraph (gt, [vt.vtid = vt;]);
# gt.redrawgraph (gt, gt.views);
dotty.rp2 = data.pos;
}
};
'leftup' = function (data) {
local gt;
gt = dotty.graphs[dotty.views[data.widget].gtid];
if (dotty.node2move) {
if (dotty.movewidget == data.widget)
gt.movenode (gt, dotty.node2move, data.pos);
dotty.node2move = 0;
}
# Use 'n' key to create new node
# else if (~data.obj)
# gt.insertnode (gt, data.pos, null, null, null, 1);
};
'middledown' = function (data) {
if (~(data.obj.nid >= 0))
return;
dotty.rubberband = 1;
dotty.movewidget = data.widget;
setgfxattr (data.widget, ['mode' = 'xor';]);
# setgfxattr (data.widget, ['mode' = 'src';]);
dotty.rp1 = data.pos;
dotty.rp2 = data.pos;
line (data.widget, null, dotty.rp1, dotty.rp2, ['color' = 1;]);
};
'middlemove' = function (data) {
if (dotty.rubberband ~= 1 |
(dotty.rp2.x == data.pos.x & dotty.rp2.y == data.pos.y))
return;
line (data.widget, null, dotty.rp1, dotty.rp2, ['color' = 1;]);
dotty.rp2 = data.pos;
line (data.widget, null, dotty.rp1, dotty.rp2, ['color' = 1;]);
};
'middleup' = function (data) {
local gt;
gt = dotty.graphs[dotty.views[data.widget].gtid];
if (dotty.rubberband ~= 1)
return;
dotty.rubberband = 0;
line (dotty.movewidget, null, dotty.rp1, dotty.rp2, ['color' = 1;]);
setgfxattr (dotty.movewidget, ['mode' = 'src';]);
if (dotty.movewidget ~= data.widget |
~(data.pobj.nid >= 0) | ~(data.obj.nid >= 0))
return;
if (data.pobj.attr.support)
gt.groupnodes (gt, [
data.obj.nid = data.obj;
data.pobj.nid = data.pobj;
], data.obj, null, null, null, 1, 1);
else if (data.obj.attr.support)
gt.groupnodes (gt, [
data.obj.nid = data.obj;
data.pobj.nid = data.pobj;
], data.pobj, null, null, null, 1, 1);
else
gt.insertedge (gt, data.pobj, null, data.obj, null, null, 1);
};
'rightdown' = function (data) {
local vt, gt, menu, i;
vt = dotty.views[data.widget];
gt = dotty.graphs[vt.gtid];
if (~data.obj)
menu = vt.menus.general;
else if (data.obj.nid >= 0)
menu = vt.menus.node;
else if (data.obj.eid >= 0)
menu = vt.menus.edge;
if ((i = displaymenu (data.widget, menu)) >= 0)
gt.doaction (data, menu[i]);
};
'keyup' = function (data) {
local vt, gt, action;
vt = dotty.views[data.widget];
gt = dotty.graphs[vt.gtid];
if (data.obj.nid >= 0) {
if (vt.keys.node[data.key])
action = vt.keys.node[data.key];
} else if (data.obj.eid >= 0) {
if (vt.keys.edge[data.key])
action = vt.keys.edge[data.key];
}
if (~action)
if (vt.keys.general[data.key])
action = vt.keys.general[data.key];
if (action)
gt.doaction (data, action);
};
'redraw' = function (data) {
local vt, gt;
vt = dotty.views[data.widget];
gt = dotty.graphs[vt.gtid];
gt.drawgraph (gt, [vt.vtid = vt;]);
};
'closeview' = function (data) {
local vt, gt;
vt = dotty.views[data.widget];
gt = dotty.graphs[vt.gtid];
gt.destroyview (gt, vt);
if (tablesize (gt.views) == 0)
gt.destroygraph (gt);
};
];
dotty.protovt.birdseye.uifuncs = [
'leftdown' = function (data) {
local gt, vid;
gt = dotty.graphs[dotty.views[data.widget].gtid];
for (vid in gt.views) {
vt = gt.views[vid];
if (vt.type ~= 'birdseye')
gt.setviewcenter ([vid = vt;], data.pos);
}
};
'leftmove' = function (data) {
local gt, vid;
gt = dotty.graphs[dotty.views[data.widget].gtid];
for (vid in gt.views) {
vt = gt.views[vid];
if (vt.type ~= 'birdseye')
gt.setviewcenter ([vid = vt;], data.pos);
}
};
'leftup' = function (data) {
local gt, vid;
gt = dotty.graphs[dotty.views[data.widget].gtid];
for (vid in gt.views) {
vt = gt.views[vid];
if (vt.type ~= 'birdseye')
gt.setviewcenter ([vid = vt;], data.pos);
}
};
'middledown' = dotty.protovt.normal.uifuncs.middledown;
'middlemove' = dotty.protovt.normal.uifuncs.middlemove;
'middleup' = dotty.protovt.normal.uifuncs.middleup;
'rightdown' = dotty.protovt.normal.uifuncs.rightdown;
'keyup' = dotty.protovt.normal.uifuncs.keyup;
'redraw' = dotty.protovt.normal.uifuncs.redraw;
'closeview' = dotty.protovt.normal.uifuncs.closeview;
];
dotty.monitorfile = function (data) {
local gtid, gt, lpt;
for (gtid in dotty.layoutpending) {
lpt = dotty.layoutpending[gtid];
if (lpt.fd == data.fd) {
gt = dotty.graphs[lpt.gtid];
gt.haveinput = 1;
gt.layoutgraph (gt);
return 1;
}
}
return 0;
};