| Server IP : 127.0.0.2 / Your IP : 3.137.159.67 Web Server : Apache/2.4.18 (Ubuntu) System : User : www-data ( ) PHP Version : 7.0.33-0ubuntu0.16.04.16 Disable Function : disk_free_space,disk_total_space,diskfreespace,dl,exec,fpaththru,getmyuid,getmypid,highlight_file,ignore_user_abord,leak,listen,link,opcache_get_configuration,opcache_get_status,passthru,pcntl_alarm,pcntl_fork,pcntl_waitpid,pcntl_wait,pcntl_wifexited,pcntl_wifstopped,pcntl_wifsignaled,pcntl_wexitstatus,pcntl_wtermsig,pcntl_wstopsig,pcntl_signal,pcntl_signal_dispatch,pcntl_get_last_error,pcntl_strerror,pcntl_sigprocmask,pcntl_sigwaitinfo,pcntl_sigtimedwait,pcntl_exec,pcntl_getpriority,pcntl_setpriority,php_uname,phpinfo,posix_ctermid,posix_getcwd,posix_getegid,posix_geteuid,posix_getgid,posix_getgrgid,posix_getgrnam,posix_getgroups,posix_getlogin,posix_getpgid,posix_getpgrp,posix_getpid,posix,_getppid,posix_getpwnam,posix_getpwuid,posix_getrlimit,posix_getsid,posix_getuid,posix_isatty,posix_kill,posix_mkfifo,posix_setegid,posix_seteuid,posix_setgid,posix_setpgid,posix_setsid,posix_setuid,posix_times,posix_ttyname,posix_uname,pclose,popen,proc_open,proc_close,proc_get_status,proc_nice,proc_terminate,shell_exec,source,show_source,system,virtual MySQL : OFF | cURL : ON | WGET : ON | Perl : ON | Python : ON | Sudo : ON | Pkexec : ON Directory : /usr/share/graphviz/lefty/ |
Upload File : |
load ('def.lefty');
definit ();
#
# initialize window data
#
canvas = defcanvas;
wrect = [0 = ['x' = 0; 'y' = 0;]; 1 = ['x' = 400; 'y' = 500;];];
setwidgetattr (canvas, ['window' = wrect;]);
#
# data structures
#
objarray = [];
objnum = 0;
#
# misc functions
#
min = function (a, b) {
if (a <= b)
return a;
return b;
};
max = function (a, b) {
if (b <= a)
return a;
return b;
};
rectof = function (p1, p2) {
return [
0 = ['x' = min (p1.x, p2.x); 'y' = min (p1.y, p2.y);];
1 = ['x' = max (p1.x, p2.x); 'y' = max (p1.y, p2.y);];
];
};
pointadd = function (p1, p2) {
return ['x' = p2.x + p1.x; 'y' = p2.y + p1.y;];
};
pointsub = function (p1, p2) {
return ['x' = p2.x - p1.x; 'y' = p2.y - p1.y;];
};
#
# rendering functions
#
drawbox = function (obj, color) {
box (canvas, obj, obj.rect, ['color' = color;]);
};
redrawboxes = function () {
local i;
clear (canvas);
for (i = 0; i < objnum; i = i + 1)
drawbox (objarray[i], 1);
};
redraw = function (canvas) {
redrawboxes ();
};
#
# editing functions
#
new = function (rect) {
objarray[objnum] = [
'rect' = rect;
'id' = objnum;
];
objnum = objnum + 1;
return objarray[objnum - 1];
};
reshape = function (obj, rect) {
obj.rect = rect;
return obj;
};
move = function (obj, p) {
obj.rect[0] = pointadd (obj.rect[0], p);
obj.rect[1] = pointadd (obj.rect[1], p);
return obj;
};
delete = function (obj) {
if (obj.id ~= objnum - 1) {
objarray[obj.id] = objarray[objnum - 1];
objarray[obj.id].id = obj.id;
}
remove (objnum - 1, objarray);
objnum = objnum - 1;
};
#
# user interface functions
#
# left mouse button creates new box
# middle button moves a box
# right button deletes a box
#
leftdown = function (data) {
if (data.obj ~= null)
return;
leftbox = new (rectof (data.pos, data.pos));
drawbox (leftbox, 1);
setgfxattr (canvas, ['mode' = 'xor';]);
};
leftmove = function (data) {
if (~leftbox)
return;
drawbox (leftbox, 1);
clearpick (canvas, leftbox);
reshape (leftbox, rectof (data.ppos, data.pos));
drawbox (leftbox, 1);
};
leftup = function (data) {
if (~leftbox)
return;
drawbox (leftbox, 1);
clearpick (canvas, leftbox);
reshape (leftbox, rectof (data.ppos, data.pos));
setgfxattr (canvas, ['mode' = 'src';]);
drawbox (leftbox, 1);
remove ('leftbox');
};
middledown = function (data) {
if (data.obj == null)
return;
middlebox = data.obj;
middlepos = data.pos;
setgfxattr (canvas, ['mode' = 'xor';]);
};
middlemove = function (data) {
if (~middlebox)
return;
drawbox (middlebox, 1);
clearpick (canvas, middlebox);
move (middlebox, pointsub (middlepos, data.pos));
middlepos = data.pos;
drawbox (middlebox, 1);
};
middleup = function (data) {
if (~middlebox)
return;
drawbox (middlebox, 1);
clearpick (canvas, middlebox);
move (middlebox, pointsub (middlepos, data.pos));
setgfxattr (canvas, ['mode' = 'src';]);
drawbox (middlebox, 1);
remove ('middlepos');
remove ('middlebox');
};
rightup = function (data) {
if (data.pobj == null)
return;
drawbox (data.obj, 0);
clearpick (canvas, data.obj);
delete (data.obj);
};
dops = function () {
local s;
s = ['x' = 8 * 300; 'y' = 10.5 * 300;];
canvas = createwidget (-1, ['type' = 'ps'; 'size' = s;]);
setwidgetattr (canvas, ['window' = wrect;]);
redraw (canvas);
destroywidget (canvas);
canvas=defcanvas;
};