plugins/scheduler/static/js/scheduler.js

   1 /**
   2  * Description: display a query result in a Google map
   3  * Copyright (c) 2012-2013 UPMC Sorbonne Universite - INRIA
   4  * License: GPLv3
   5  */
   6
   7 /* based on the leases.js code in PLE WWW interface for MyPLC by Thierry Parmentelat -- INRIA */
   8
   9 /* XXX Those declarations should not be part of the js file... */
  10
  11 /* decorations / headers */
  12 /* note: looks like the 'font' attr is not effective... */
  13
  14 // vertical rules
  15 var attr_rules={'fill':"#888", 'stroke-dasharray':'- ', 'stroke-width':0.5};
  16 // set font-size separately in here rather than depend on the height
  17 var txt_timelabel = {"font": 'Times, "Trebuchet MS", Verdana, Arial, Helvetica, sans-serif',
  18              stroke: "none", fill: "#008", 'font-size': 9};
  19 var txt_allnodes = {"font": '"Trebuchet MS", Verdana, Arial, Helvetica, sans-serif', stroke: "none", fill: "#404"};
  20 var txt_nodelabel = {"font": '"Trebuchet MS", Verdana, Arial, Helvetica, sans-serif', stroke: "none", fill: "#008"};
  21
  22 var attr_timebutton = {'fill':'#bbf', 'stroke': '#338','stroke-width':1,
  23                'stroke-linecap':'round', 'stroke-linejoin':'miter', 'stroke-miterlimit':3};
  24 var attr_daymarker = {'stroke':'#000','stroke-width':2};
  25 var attr_half_daymarker = {'stroke':'#444','stroke-width':2};
  26
  27 /* lease dimensions and colors */
  28 /* refrain from using gradient color, seems to not be animated properly */
  29 /* lease was originally free and is still free */
  30 var attr_lease_free_free={'fill':"#def", 'stroke-width':0.5, 'stroke-dasharray':''};
  31 /* lease was originally free and is now set for our usage */
  32 var attr_lease_free_mine={'fill':"green", 'stroke-width':1, 'stroke-dasharray':'-..'};
  33 /* was mine and is still mine */
  34 var attr_lease_mine_mine={'fill':"#beb", 'stroke-width':0.5, 'stroke-dasharray':''};
  35 /* was mine and is about to be released */
  36 var attr_lease_mine_free={'fill':"white", 'stroke-width':1, 'stroke-dasharray':'-..'};
  37 var attr_lease_other={'fill':"#f88"};
  38
  39 /* other slices name */
  40 var txt_otherslice = {"font": '"Trebuchet MS", Verdana, Arial, Helvetica, sans-serif', stroke: "none", fill: "#444", "font-size": "12px"};
  41
  42 (function($){
  43
  44     var Scheduler = Plugin.extend({
  45
  46         init: function(options, element)
  47         {
  48             this._super(options, element);
  49
  50             /* Member variables */
  51             this._canvas_id = this.id('leases_area');
  52
  53             this.query_uuid = options.query_uuid;
  54             this.rows = null;
  55             // XXX TODEL
  56             //this.current_resources = Array();
  57             //this.current_leases = Array();
  58
  59             /* Managing asynchronous reception of resources and leases */
  60             this._resources          = Array();
  61             this._leases             = Array();
  62             this._received_resources = false;
  63             this._received_leases    = false;
  64
  65             this._axisx              = Array();
  66             this._nodelabels         = Array();
  67             this._lease_elements     = Array();
  68             //this.myLeases = Array();
  69             //this.allLeases = Array();
  70
  71             /* The time axis is an array of tuple (time, printable time) representing timeslots */
  72
  73             this.data = Array();
  74             this.default_granularity = 1800; /* 30 min */
  75             this._initial_timestamp = null;
  76
  77             /* This should be updated to be the ppcm of all granularities */
  78             this.min_granularity = this.default_granularity;
  79
  80             // the data contains slice names, and lease_id, we need this to find our own leases (mine)
  81             this.paper=null;
  82
  83
  84             /* XXX Events */
  85
  86             /* XXX Keys */
  87
  88             /* Listening to queries */
  89             this.listen_query(options.query_uuid);
  90             this.listen_query(options.query_all_resources_uuid, 'all_resources');
  91             this.listen_query(options.query_lease_uuid, 'lease');
  92
  93             /* XXX GUI setup and event binding */
  94             jQuery("#datepicker").datetimepicker({
  95                 //Timezone wise selection option
  96                 //timeFormat: 'hh:mm tt z',
  97                 //showTimezone: true,
  98
  99                 onSelect: function(value) {
 100                     //console.log(value);
 101                     //converting time to timestamp
 102                     currentDate= Math.round(Date.parse(value)/ 1000);
 103                     // TODO -- DONE
 104                     // convert value to timestamp --done
 105                     // Get jQuery("#timepicker").val(); - no need anymore
 106                     // convert timepicker into seconds - no need
 107                     // Add time to date - done
 108                     // pass the result to init_axisx - done
 109                     //console.log(currentDate);
 110                     s.clear();
 111                     s._init_axisx(currentDate);
 112                     s._draw();
 113                     // Do we need to populate the timeslots with existing leases?
 114                     // Look how to populate with initial_leases [we have to show the leases]
 115
 116                 }
 117             });
 118
 119             this._init_axisx('');
 120             this._draw();
 121
 122         }, /* init */
 123
 124         /* Default settings */
 125         default_options: {
 126             leases_offset:       0,
 127             leases_slots:        36,
 128             leases_w:            180,
 129             leases_granularity:  3600,
 130
 131             x_nodelabel:         200,   /* space for the nodenames */
 132             x_sep:               20,    /* right space after the nodename - removed from the above */
 133             y_header:            12,    /* height for the (two) rows of timelabels */
 134             y_sep:               10,    /* space between nodes */
 135             leases_w:            20,    /* 1-grain leases attributes */
 136             y_node:              15,
 137             radius:              6,
 138             anim_delay:          350,
 139             checkboxes:          false,
 140         },
 141
 142         /* PLUGIN EVENTS */
 143
 144         /* GUI EVENTS */
 145
 146         /************************** GUI MANIPULATION **************************/
 147
 148         /* NOTE: All Raphael-dependent code should go here. Performance issues
 149          * are suspected, it might be improved by a move to d3.js. The more
 150          * general problem to solve is how to manipulate lots of svg objects.
 151          */
 152
 153         /*************************** RECORD HANDLER ***************************/
 154
 155         /* ------------------------------------------------------------------
 156          * Resources
 157          * ------------------------------------------------------------------ */
 158
 159         on_query_in_progress: function() {
 160             this.spin();
 161         },
 162
 163         on_query_done: function() {
 164             /* We have received all leases */
 165             if (this._received_resources) {
 166                 this._draw(this._canvas_id);
 167                 this.unspin();
 168             }
 169             this._received_leases = true;
 170         },
 171
 172         /* ------------------------------------------------------------------
 173          * All resources
 174          * ------------------------------------------------------------------ */
 175
 176         on_all_resources_new_record: function(record)
 177         {
 178             if ((typeof record.exclusive != 'undefined') && (record.exclusive)) {
 179                 this._resources.push(Array(record.urn, record.hrn, record.type));
 180             }
 181             // ... if we do not have information about slivers (first update), update it
 182             if (typeof record.sliver != 'undefined') {
 183                 // XXX
 184             }
 185         },
 186
 187         /* ------------------------------------------------------------------
 188          * Leases
 189          * ------------------------------------------------------------------ */
 190
 191         on_lease_new_record: function(record)
 192         {
 193             this._leases.push(record);
 194             // this.initial_leases=leases;
 195         },
 196
 197         on_lease_field_state_changed: function(data)
 198         {
 199             switch(data.request) {
 200                 case FIELD_REQUEST_ADD:
 201                 case FIELD_REQUEST_ADD_RESET:
 202                     this._leases.push(data.value);
 203                     /* XXX Not optimal, we could only redraw the right cell */
 204                     /* We need a mapping between the lease and the cell */
 205                     /* How is it done in d3 ? based on key */
 206                     this._draw();
 207                     break;
 208                 case FIELD_REQUEST_REMOVE:
 209                 case FIELD_REQUEST_REMOVE_RESET:
 210                     // We remove data.value (aka keep those leases different from data.value
 211                     this._leases = $.grep(this._leases, function(x) { return x != data.value; });
 212                     this._draw();
 213                     break;
 214                 default:
 215                     break;
 216
 217             }
 218         },
 219
 220         on_lease_query_done: function(record)
 221         {
 222             /* We have received all resources */
 223             if (this._received_leases) {
 224                 this._draw(this._canvas_id);
 225                 this.unspin();
 226             }
 227             this._received_resources = true;
 228         },
 229
 230         /************************** PRIVATE METHODS ***************************/
 231
 232         /**
 233          * @brief Return the number of time slots
 234          */
 235         nb_grains: function ()
 236         {
 237             return this._axisx.length;
 238         },
 239
 240         /**
 241          * @brief Returns whether there is a pending lease at this timestamp
 242          */
 243         _lease_find: function(urn, timestamp)
 244         {
 245             var scheduler = this;
 246             var result = null;
 247
 248             $.each(scheduler._leases, function(i, lease) {
 249                     if ((lease[0] == urn) &&
 250                         ((timestamp >= lease[1]) && (timestamp < (lease[1] + lease[2] * 1800)))) {
 251                             result = lease;
 252                             return false; // stop each
 253                     }
 254             });
 255
 256 /*
 257             $.each(Array(scheduler.myLeases, scheduler.allLeases), function(i, array) {
 258                 $.each(array, function(i, lease) {
 259                     if (lease[0] == urn) {
 260                         if ((timestamp >= lease[1]) && (timestamp < (lease[1] + lease[2] * 1800))) {
 261                             result = lease;
 262
 263                             return false;
 264                         }
 265                     }
 266                 });
 267                 if (result)
 268                     return false;
 269             });
 270 */
 271             return result;
 272         },
 273
 274         /**
 275          * @brief Draw
 276          */
 277         _draw: function()
 278         {
 279             var canvas_id = this._canvas_id;
 280             var o = this.options;
 281
 282             var total_width = o.x_nodelabel + this.nb_grains() * this.options.leases_w;
 283             var total_height = 2 * o.y_header /* the timelabels */
 284                              + 2 * o.y_sep    /* extra space */
 285                              + o.y_node          /* all-nodes & timebuttons row */
 286                              + (this._resources.length) * (o.y_node + o.y_sep);  /* the regular nodes and preceding space */
 287
 288             /* reuse for paper if exists with same size, or (re-)create otherwise */
 289             var paper;
 290             if (this.paper == null) {
 291                 paper = Raphael (canvas_id, total_width + o.x_sep, total_height);
 292             } else if (this.paper.width==total_width && this.paper.height==total_height) {
 293                 paper=this.paper;
 294                 paper.clear();
 295             } else {
 296                 $("#"+canvas_id)[0].innerHTML="";
 297                 //this.elmt().html();
 298                 paper = Raphael (canvas_id, total_width + o.x_sep, total_height);
 299             }
 300             this.paper = paper;
 301
 302             /* the path for the triangle-shaped buttons */
 303             var timebutton_path = "M1,0L"+(this.options.leases_w-1)+",0L"+(this.options.leases_w/2)+","+o.y_header+"L1,0";
 304
 305             var axisx = this._axisx;
 306             var axisy = this._resources;
 307
 308             /* maintain the list of nodelabels for the 'all nodes' button */
 309             this._nodelabels = [];
 310
 311
 312             /* create the time slots legend */
 313             var top = 0;
 314             var left = o.x_nodelabel;
 315
 316             var daymarker_height = 2*o.y_header + 2*o.y_sep + (axisy.length + 1) * (o.y_node + o.y_sep);
 317             var daymarker_path = "M0,0L0," + daymarker_height;
 318
 319             var half_daymarker_off= 2*o.y_header + o.y_sep;
 320             var half_daymarker_path="M0," + half_daymarker_off + "L0," + daymarker_height;
 321
 322             var col=0;
 323             for (var i=0, len = axisx.length; i < len; ++i) {
 324                 /* pick the printable part */
 325                 var timelabel = axisx[i][1];
 326                 var y = top + o.y_header;
 327                 if (col % 2 == 0)
 328                     y += o.y_header;
 329                 col +=1;
 330                 /* display time label */
 331                 var timelabel = paper.text(left, y, timelabel).attr(txt_timelabel).attr({"text-anchor": "middle"});
 332                 /* draw vertical line */
 333                 var path_spec = "M" + left + " " + (y+o.y_header / 2) + "L" + left + " " + this.total_height;
 334                 var rule = paper.path(path_spec).attr(attr_rules);
 335                 /* show a day marker when relevant */
 336                 var timestamp = parseInt(axisx[i][0]);
 337                 if ((timestamp % (24 * 3600)) == 0) {
 338                     paper.path(daymarker_path).attr({'translation': left + ',' + top}).attr(attr_daymarker);
 339                 } else if ( (timestamp%(12*3600))==0) {
 340                     paper.path(half_daymarker_path).attr({'translation': left + ',' + top}).attr(attr_daymarker);
 341                 }
 342                 left += o.leases_w;
 343             }
 344
 345             ////////// the row with the timeslot buttons (the one labeled 'All nodes')
 346             this.granularity = this.min_granularity; // XXX axisx[1][0]-axisx[0][0];
 347
 348             // move two lines down
 349             top += 2 * o.y_header + 2 * o.y_sep;
 350             left = o.x_nodelabel;
 351             // all nodes buttons
 352             var allnodes = paper.text(o.x_nodelabel - o.x_sep, top + o.y_node / 2, "All nodes").attr(txt_allnodes)
 353                 .attr({"font-size": o.y_node, "text-anchor": "end", "baseline": "bottom"});
 354             //allnodes.scheduler = this;
 355             allnodes.click(this._allnodes_click); // XXX click
 356
 357             // timeslot buttons [it's the triangles above the slots]
 358             for (var i = 0, len = axisx.length; i < len; ++i) {
 359                 var timebutton = paper.path(timebutton_path).attr({'translation':left + ',' + top}).attr(attr_timebutton);
 360                 timebutton.from_time = axisx[i][0];
 361                 timebutton.scheduler = this;
 362                 timebutton.click(this._timebutton_click);
 363                 left += (o.leases_w);
 364             }
 365
 366             //////// the body of the scheduler : loop on nodes
 367             top += o.y_node + o.y_sep;
 368
 369             var data_index = 0;
 370             this.leases = []; /* XXX ??? XXX */
 371
 372             for (var i = 0, len = axisy.length; i < len; ++i) {
 373                 var urn = axisy[i][0];
 374                 var nodename = axisy[i][1];
 375                 var type = axisy[i][2];
 376                 left = 0;
 377                 /*
 378                  *  MODIFIED font-size
 379                 var nodelabel = paper.text(o.x_nodelabel-x_sep,top+y_node/2,nodename).attr(txt_nodelabel)
 380                 .attr ({"font-size":y_node, "text-anchor":"end","baseline":"bottom"});
 381                 */
 382                 var nodelabel = paper.text(o.x_nodelabel - o.x_sep, top + o.y_node / 3, nodename).attr(txt_nodelabel)
 383                     .attr({"font-size": "12px", "text-anchor": "end","baseline": "bottom"});
 384
 385                 this._nodelabel_select(nodelabel, 1); // By default we select all nodes
 386                 nodelabel.scheduler = this;
 387                 nodelabel.click(this._nodelabel_click); //click action works here
 388                 this._nodelabels.push(nodelabel);
 389
 390                // lease_methods.init_free(nodelabel.click, lease_methods.click_mine);
 391                //lease_methods.init_free(nodelabel.lease);
 392
 393                 left += o.x_nodelabel;
 394
 395                 // data index contains the full array of leases
 396                 // not the same amount of grains per node
 397
 398                 // NOTE: remembering the previous lease might help for long leases.
 399                 var grain=0;
 400                 while (grain < this.nb_grains()) {
 401
 402                     if (l = this._lease_find(urn, this._initial_timestamp + grain * 1800)) {
 403                         slicename = l.slice_id;
 404                     } else {
 405                         slicename = "";
 406                     }
 407
 408                     //lease_id  = this.data[data_index][0];
 409                     //slicename = this.data[data_index][1];
 410                     /* Duration should not be the lease duration, but the grain */
 411                     var duration = 1; // this.data[data_index][2];
 412
 413                     var lease = paper.rect(left, top, o.leases_w * duration, o.y_node, o.radius);
 414                     lease.scheduler = this; // we record a pointer to the scheduler in the lease element
 415                     //lease.lease_id=lease_id;
 416                     lease.nodename  = nodename;
 417                     lease.urn       = urn;
 418                     lease.nodelabel = nodelabel;
 419                     lease.id        = 0; /* XXX how to use CSS selector to find a given lease... */
 420
 421                     if (slicename == "") {
 422                         lease.initial = "free";
 423                         this._lease_init_free(lease);
 424                     } else if (slicename == o.slicename) {
 425                         lease.initial = "mine";
 426                         this._lease_init_mine(lease);
 427                     } else {
 428                         lease.initial = "other";
 429                         this._lease_init_other(lease, slicename);
 430                     }
 431                     lease.from_time = axisx[grain % this.nb_grains()][0];
 432                     grain += duration;
 433                     lease.until_time = axisx[grain % this.nb_grains()][0];
 434                     // and vice versa
 435                     this._lease_elements.push(lease);
 436                     // move on with the loop
 437                     left += o.leases_w * duration;
 438                     data_index += 1;
 439                 }
 440                 top += o.y_node + o.y_sep;
 441             };
 442         }, /* _draw */
 443
 444         _init_axisx: function(currentDate)
 445         {
 446             this._axisx = Array();
 447
 448             if(currentDate == "") {
 449                 // creating timestamp of the current time
 450                 currentDate = new Date().getTime() / 1000;
 451             }
 452             this._initial_timestamp = currentDate;
 453             //console.log(currentDate);
 454
 455             // round it by granularity (becomes an Int)
 456             var rounded = Math.round(currentDate / this.min_granularity) * this.min_granularity;
 457             // Convert Int to Date
 458             rounded = new Date(rounded * 1000);
 459             // get hours and minutes in a 24h format 00:00
 460             var roundedHours   = (rounded.getHours()   < 10 ? '0' : '') + rounded.getHours();
 461             var roundedMinutes = (rounded.getMinutes() < 10 ? '0' : '') + rounded.getMinutes();
 462
 463             this._axisx.push(Array(rounded, roundedHours + ":" + roundedMinutes));
 464
 465             // Generate as many slots as we need
 466             for(i = 0; i < this.options.leases_slots; i++) {
 467                 rounded = this.min_granularity + (rounded.getTime() / 1000);
 468                 rounded = new Date(rounded * 1000);
 469                 roundedHours   = (rounded.getHours()   < 10 ? '0' : '') + rounded.getHours();
 470                 roundedMinutes = (rounded.getMinutes() < 10 ? '0' : '') + rounded.getMinutes();
 471
 472                 this._axisx.push(Array(rounded, roundedHours + ":" + roundedMinutes));
 473             }
 474         },
 475
 476         clear: function ()
 477         {
 478             for (var i=0, len = this.leases.length; i<len; ++i) {
 479                 var lease = this.leases[i];
 480                 if (lease.current != lease.initial) {
 481                     if (lease.initial == 'free')
 482                         this._lease_init_free(lease, this._lease_click_mine);
 483                     else
 484                         this._lease_init_mine(lease, this._lease_methods.click_free);
 485                 }
 486             }
 487         },
 488
 489         // XXX Couldn't find how to inhererit from the raphael objects...
 490
 491         /* ---------------------------------------------------------------------
 492          * The 'all nodes' button
 493          */
 494         _allnodes_click: function (event) {
 495             var scheduler=this.scheduler;
 496
 497             /* decide what to do */
 498             var unselected = 0;
 499             for (var i = 0, len = this._nodelabels.length; i < len; ++i)
 500                 if (!this._nodelabels[i].selected)
 501                     unselected++;
 502
 503             /* if at least one is not selected : select all */
 504             var new_state = (unselected >0) ? 1 : 0;
 505             for (var i=0, len=this._nodelabels.length; i<len; ++i)
 506                 this._nodelabel_select(this._nodelabels[i], new_state);
 507         },
 508
 509         /* ---------------------------------------------------------------------
 510          * The buttons for managing the whole timeslot
 511          */
 512
 513         /* clicking */
 514         _timebutton_click: function (event)
 515         {
 516             var scheduler  = this.scheduler;
 517             var from_time  = this.from_time;
 518             var until_time = new Date(from_time.getTime() + scheduler.granularity);
 519             /* scan leases on selected nodes, store in two arrays */
 520             var relevant_free = [], relevant_mine = [];
 521             for (var i = 0, len = scheduler._lease_elements.length; i < len; ++i) {
 522                 var scan = scheduler._lease_elements[i];
 523                 if (!scan.nodelabel.selected)
 524                     continue;
 525                 // overlap ?
 526                 if (scan.from_time <= from_time && scan.until_time >= until_time) {
 527                     if (scan.current == "free")
 528                         relevant_free.push(scan);
 529                     else if (scan.current == "mine")
 530                         relevant_mine.push(scan);
 531                 }
 532             }
 533             // window.console.log("Found " + relevant_free.length + " free and " + relevant_mine.length + " mine");
 534             /* decide what to do, whether book or release */
 535             if (relevant_mine.length == 0 && relevant_free.length == 0) {
 536                 alert ("Nothing to do in this timeslot on the selected nodes");
 537                 return;
 538             }
 539             // if at least one is free, let's book
 540             if (relevant_free.length > 0) {
 541                 for (var i = 0, len = relevant_free.length; i < len; ++i) {
 542                     var lease = relevant_free[i];
 543                     scheduler._lease_init_mine(lease, scheduler._lease_click_free);
 544                 }
 545             // otherwise we unselect
 546             } else {
 547                 for (var i = 0, len = relevant_mine.length; i < len; ++i) {
 548                     var lease = relevant_mine[i];
 549                     scheduler._lease_init_free(lease, scheduler._lease_click_mine);
 550                 }
 551             }
 552         }, /* _timebutton_click */
 553
 554         /* ---------------------------------------------------------------------
 555          * The nodelabel buttons
 556          */
 557
 558         // set selected mode and render visually
 559         _nodelabel_select: function (nodelabel, flag)
 560         {
 561             nodelabel.selected = flag;
 562             nodelabel.attr({'font-weight': (flag ? 'bold' : 'normal')});
 563             // TODO
 564             //
 565             // loop on axis x and select each timebutton
 566             // for (var i=0, len=axisx.length; i < len; ++i)
 567             // figure out how to use timebutton_methods.click();
 568
 569         },
 570
 571         // toggle selected
 572         _nodelabel_click: function (event)
 573         {
 574             this.scheduler._nodelabel_select( this, ! this.selected );
 575         },
 576
 577
 578         /* ---------------------------------------------------------------------
 579          * The lease buttons
 580          */
 581         _lease_init_free: function (lease, unclick)
 582         {
 583             var o = lease.scheduler.options;
 584             lease.current = "free";
 585             // set color
 586             lease.animate((lease.initial == "free") ? attr_lease_free_free : attr_lease_mine_free, o.anim_delay);
 587             // keep track of the current status
 588             // record action
 589             lease.click(this._lease_click_free);
 590             if (unclick) lease.unclick(unclick);
 591         },
 592
 593         // find out all the currently free leases that overlap this one
 594         _lease_click_free: function (event)
 595         {
 596             var scheduler = this.scheduler;
 597
 598             scheduler._lease_init_mine(this, scheduler._lease_click_free);
 599             //publish
 600             //this.from_time
 601             //this.urn
 602             //this.until_time
 603             var urn        = this.urn
 604             var start_time = new Date(this.from_time).getTime() / 1000;
 605             var end_time   = new Date(this.until_time).getTime() / 1000;
 606             var duration   = (end_time - start_time) / 1800; // XXX HARDCODED LEASE GRAIN
 607
 608             /* Add a new lease : XXX should be replaced by a dictionary */
 609             // Do we have a lease with the same urn  just before or just after ?
 610             //var removeIdBefore = null;
 611             //var removeIdAfter  = null;
 612             var remove_lease_before = null;
 613             var remove_lease_after  = null;
 614             // It is important to group leases,  while this is technically
 615             // equivalent, some testbeds such as IotLab limit the number of
 616             // leases a user can have.
 617             // XXX we might have several leases before or after if they have
 618             // XXX not been grouped like this tool does
 619             $.each(scheduler._leases, function(i, lease) {
 620                 if (lease[0] == urn) {
 621                     if (lease[1] + lease[2] * 1800 == start_time) { // XXX HARDCODED LEASE GRAIN
 622                         // Merge with previous lease
 623                         // removeIdBefore = i;
 624                         remove_lease_before = lease;
 625                         start_time          = lease[1];
 626                         duration           += lease[2];
 627                     }
 628                     if (lease[1] == end_time) {
 629                         // Merge with following lease
 630                         // removeIdAfter = i;
 631                         remove_lease_after  = lease;
 632                         duration           += lease[2];
 633                     }
 634                 }
 635             });
 636             //if (removeIdBefore != null) {
 637             //    scheduler._leases.splice(removeIdBefore , 1);
 638             //    if (removeIdAfter != null)
 639             //        removeIdAfter -= 1;
 640             //}
 641             //if (removeIdAfter != null) {
 642             //    scheduler._leases.splice(removeIdAfter , 1);
 643             //}
 644
 645             // We add the new lease, no need to push
 646             var new_lease = [this.urn, start_time, duration];
 647
 648             // We send events, manifold will inform us about the change and we will react accordingly
 649             if (remove_lease_before != null)
 650                 manifold.raise_event(scheduler.options.query_lease_uuid, SET_REMOVED, remove_lease_before);
 651             if (remove_lease_after != null)
 652                 manifold.raise_event(scheduler.options.query_lease_uuid, SET_REMOVED, remove_lease_after);
 653             manifold.raise_event(scheduler.options.query_lease_uuid, SET_ADD,     new_lease);
 654             //scheduler._leases.push([this.urn, start_time, duration]);
 655
 656             //console.log(scheduler._leases);
 657             //jQuery.publish('/update-set/' + scheduler.options.query_uuid, [scheduler._leases]);
 658
 659             /* We need to inform manifold about the whole diff, in addition to maintaining our own structure */
 660         },
 661
 662         _lease_init_mine: function (lease, unclick)
 663         {
 664             var o = lease.scheduler.options;
 665             lease.current = "mine";
 666             lease.animate((lease.initial == "mine") ? attr_lease_mine_mine : attr_lease_free_mine, o.anim_delay);
 667             lease.click(this._lease_click_mine);
 668             if (unclick)
 669                 lease.unclick(unclick);
 670         },
 671
 672         /* TODO: remove selected lease from array _leases and publish change */
 673         _lease_click_mine: function (event)
 674         {
 675             var scheduler = this.scheduler;
 676             // this lease was originally free but is now marked for booking
 677             // we free just this lease
 678             //console.log('this is mine');
 679             scheduler._lease_init_free(this, scheduler._lease_click_mine);
 680         },
 681
 682
 683         lease_init_other: function (lease, slicename)
 684         {
 685             lease.animate (attr_lease_other,anim_delay);
 686             /* a text obj to display the name of the slice that owns that lease */
 687             var otherslicelabel = lease.scheduler.paper.text (lease.attr("x")+lease.attr("width")/2,
 688                                       // xxx
 689                                       lease.attr("y")+lease.attr("height")/2,slicename).attr(txt_otherslice);
 690             /* hide it right away */
 691             otherslicelabel.hide();
 692             /* record it */
 693             lease.label=otherslicelabel;
 694             lease.hover ( function (e) {this.label.toFront();this.label.show();},
 695                       function (e) {this.label.hide();} );
 696         }
 697
 698     });
 699
 700     $.plugin('Scheduler', Scheduler);
 701
 702 })(jQuery);