web/res/js/tracemanager.js
author Raphael Velt <raph.velt@gmail.com>
Fri, 13 Apr 2012 19:19:53 +0200
changeset 583 f655dafb741e
parent 581 7607516bd9f1
child 623 5b7d7ab6baff
permissions -rw-r--r--
added www2012
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
581
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
     1
/*
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
     2
 * Modelled Trace API
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
     3
 */
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
     4
IriSP.TraceManager = function($) {
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
     5
     // If there are more than MAX_FAILURE_COUNT synchronisation
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
     6
     // failures, then disable synchronisation
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
     7
     MAX_FAILURE_COUNT = 20;
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
     8
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
     9
     // If there are more than MAX_BUFFER_SIZE obsels in the buffer,
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
    10
     // then "compress" them as a single "ktbsFullBuffer"
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
    11
     MAX_BUFFER_SIZE = 500;
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
    12
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
    13
     var BufferedService_prototype = {
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
    14
         /*
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
    15
          *  Buffered service for traces
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
    16
          */
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
    17
         // url: "",
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
    18
         // buffer: [],
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
    19
         // isReady: false,
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
    20
         // timer: null,
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
    21
         // failureCount: 0,
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
    22
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
    23
         /* Flush buffer */
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
    24
         flush: function() {
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
    25
             // FIXME: add mutex on this.buffer
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
    26
             if (! this.isReady)
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
    27
             {
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
    28
                 if (window.console) window.console.log("Sync service not ready");
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
    29
             } else if (this.failureCount > MAX_FAILURE_COUNT)
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
    30
             {
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
    31
                 // Disable synchronisation
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
    32
                 this.set_sync_mode('none');
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
    33
             } else if (this.buffer.length) {
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
    34
                 var temp = this.buffer;
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
    35
                 this.buffer = [];
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
    36
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
    37
                 if (this.mode == 'GET')
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
    38
                 {
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
    39
                     // GET mode: do some data mangline. We mark the
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
    40
                     // "compressed" nature of the generated JSON by
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
    41
                     // prefixing it with c
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
    42
                     var data = 'c' + JSON.stringify(temp.map(function (o) { return o.toCompactJSON(); }));
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
    43
                     // Swap " (very frequent, which will be
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
    44
                     // serialized into %22) and ; (rather rare), this
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
    45
                     // saves some bytes
583
f655dafb741e added www2012
Raphael Velt <raph.velt@gmail.com>
parents: 581
diff changeset
    46
                     data = data.replace(/[;"#]/g, function(s){ return s == ';' ? '"' : ( s == '"' ? ';' : '%23'); });
581
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
    47
                     // FIXME: check data length (< 2K is safe)
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
    48
                     var request=$('<img />').error( function() { this.failureCount += 1; })
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
    49
                         .load( function() { this.failureCount = 0; })
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
    50
                         .attr('src', this.url + 'trace/?data=' + data);
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
    51
                 }
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
    52
                 else
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
    53
                 {
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
    54
                     $.ajax({ url: this.url + 'trace/',
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
    55
                              type: 'POST',
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
    56
                              contentType: 'application/json',
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
    57
                              data: JSON.stringify(temp.map(function (o) { return o.toJSON(); })),
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
    58
                              processData: false,
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
    59
                              // Type of the returned data.
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
    60
                              dataType: "html",
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
    61
                              error: function(jqXHR, textStatus, errorThrown) {
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
    62
                                  if (window.console) window.console.log("Error when sending buffer:", textStatus);
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
    63
                                  this.failureCount += 1;
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
    64
                              },
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
    65
                              success: function(data, textStatus, jqXHR) {
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
    66
                                  // Reset failureCount to 0 as soon as there is 1 valid answer
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
    67
                                  this.failureCount = 0;
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
    68
                              }
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
    69
                            });
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
    70
                 }
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
    71
             }
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
    72
         },
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
    73
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
    74
         /* Sync mode: delayed, sync (immediate sync), none (no
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
    75
          * synchronisation with server, the trace has to be explicitly saved
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
    76
          * if needed */
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
    77
         set_sync_mode: function(mode) {
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
    78
             this.sync_mode = mode;
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
    79
             if (! this.isReady && mode !== "none")
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
    80
                 this.init();
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
    81
             if (mode == 'delayed') {
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
    82
                 this.start_timer();
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
    83
             } else {
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
    84
                 this.stop_timer();
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
    85
             }
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
    86
         },
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
    87
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
    88
         /* Enqueue an obsel */
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
    89
         enqueue: function(obsel) {
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
    90
             if (this.buffer.length > MAX_BUFFER_SIZE)
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
    91
             {
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
    92
                 obsel = new Obsel('ktbsFullBuffer', this.buffer[0].begin,
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
    93
                                   this.buffer[this.buffer.length - 1].end, this.buffer[0].subject);
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
    94
                 obsel.trace = this.buffer[0].trace;
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
    95
                 this.buffer = [];
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
    96
             }
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
    97
             this.buffer.push(obsel);
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
    98
             if (this.sync_mode === 'sync') {
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
    99
                 // Immediate sync of the obsel.
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   100
                 this.flush();
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   101
             }
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   102
         },
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   103
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   104
         start_timer: function() {
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   105
             var self = this;
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   106
             if (this.timer === null) {
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   107
                 this.timer = window.setInterval(function() {
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   108
                                                     self.flush();
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   109
                                                 }, this.timeOut);
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   110
             }
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   111
         },
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   112
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   113
         stop_timer: function() {
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   114
             if (this.timer !== null) {
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   115
                 window.clearInterval(this.timer);
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   116
                 this.timer = null;
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   117
             }
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   118
         },
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   119
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   120
         /*
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   121
          * Initialize the sync service
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   122
          */
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   123
         init: function() {
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   124
             var self = this;
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   125
             if (this.isReady)
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   126
                 /* Already initialized */
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   127
                 return;
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   128
             if (this.mode == 'GET')
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   129
             {
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   130
                 var request=$('<img/>').attr('src', this.url + 'login?userinfo={"name":"ktbs4js"}');
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   131
                 // Do not wait for the return, assume it is
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   132
                 // initialized. This assumption will not work anymore
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   133
                 // if login returns some necessary information
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   134
                 this.isReady = true;
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   135
             }
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   136
             else
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   137
             {
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   138
                 $.ajax({ url: this.url + 'login',
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   139
                          type: 'POST',
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   140
                          data: 'userinfo={"name":"ktbs4js"}',
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   141
                          success: function(data, textStatus, jqXHR) {
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   142
                              self.isReady = true;
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   143
                              if (self.buffer.length) {
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   144
                                  self.flush();
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   145
                              }
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   146
                          }
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   147
                        });
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   148
             }
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   149
         }
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   150
     };
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   151
     var BufferedService = function(url, mode) {
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   152
         this.url = url;
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   153
         this.buffer = [];
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   154
         this.isReady = false;
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   155
         this.timer = null;
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   156
         this.failureCount = 0;
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   157
         // sync_mode is either "none", "sync" or "buffered"
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   158
         this.sync_mode = "none";
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   159
         /* mode can be either POST or GET */
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   160
         if (mode == 'POST' || mode == 'GET')
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   161
             this.mode = mode;
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   162
         else
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   163
             this.mode = 'POST';
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   164
         /* Flush buffer every timeOut ms if the sync_mode is delayed */
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   165
         this.timeOut = 2000;
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   166
     };
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   167
     BufferedService.prototype = BufferedService_prototype;
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   168
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   169
     var Trace_prototype = {
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   170
         /* FIXME: We could/should use a sorted list such as
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   171
          http://closure-library.googlecode.com/svn/docs/class_goog_structs_AvlTree.html
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   172
          to speed up queries based on time */
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   173
         obsels: [],
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   174
         /* Trace URI */
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   175
         uri: "",
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   176
         default_subject: "",
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   177
         /* baseuri is used as the base URI to resolve relative
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   178
          * attribute-type names in obsels. Strictly speaking, this
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   179
          * should rather be expressed as a reference to model, or
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   180
          * more generically, as a qname/URI dict */
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   181
         baseuri: "",
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   182
         /* Mapping of obsel type or property name to a compact
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   183
          * representation (shorthands).
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   184
          */
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   185
         shorthands: null,
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   186
         syncservice: null,
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   187
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   188
         /* Define the trace URI */
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   189
         set_uri: function(uri) {
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   190
             this.uri = uri;
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   191
         },
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   192
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   193
         /* Sync mode: delayed, sync (immediate sync), none (no
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   194
          * synchronisation with server, the trace has to be explicitly saved
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   195
          * if needed */
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   196
         set_sync_mode: function(mode) {
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   197
             if (this.syncservice !== null) {
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   198
                 this.syncservice.set_sync_mode(mode);
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   199
             }
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   200
         },
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   201
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   202
         /*
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   203
          * Return a list of the obsels of this trace matching the parameters
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   204
          */
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   205
         list_obsels: function(_begin, _end, _reverse) {
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   206
             var res;
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   207
             if (typeof _begin !== 'undefined' || typeof _end !== 'undefined') {
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   208
                 /*
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   209
                  * Not optimized yet.
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   210
                  */
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   211
                 res = [];
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   212
                 var l = this.obsels.length;
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   213
                 for (var i = 0; i < l; i++) {
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   214
                     var o = this.obsels[i];
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   215
                     if ((typeof _begin !== 'undefined' && o.begin > _begin) && (typeof _end !== 'undefined' && o.end < _end)) {
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   216
                         res.push(o);
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   217
                     }
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   218
                 }
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   219
             }
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   220
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   221
             if (typeof _reverse !== 'undefined') {
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   222
                 if (res !== undefined) {
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   223
                     /* Should reverse the whole list. Make a copy. */
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   224
                     res = this.obsels.slice(0);
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   225
                 }
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   226
                 res.sort(function(a, b) { return b.begin - a.begin; });
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   227
                 return res;
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   228
             }
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   229
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   230
             if (res === undefined) {
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   231
                 res = this.obsels;
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   232
             }
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   233
             return res;
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   234
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   235
         },
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   236
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   237
         /*
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   238
          * Return the obsel of this trace identified by the URI, or undefined
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   239
          */
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   240
         get_obsel: function(id) {
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   241
             for (var i = 0; i < this.obsels.length; i++) {
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   242
                 /* FIXME: should check against variations of id/uri, take this.baseuri into account */
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   243
                 if (this.obsels[i].uri === id) {
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   244
                     return this.obsels[i];
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   245
                 }
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   246
             }
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   247
             return undefined;
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   248
         },
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   249
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   250
         set_default_subject: function(subject) {
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   251
             this.default_subject = subject;
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   252
         },
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   253
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   254
         get_default_subject: function() {
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   255
             return this.default_subject;
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   256
         },
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   257
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   258
         /* (type:ObselType, begin:int, end:int?, subject:str?, attributes:[AttributeType=>any]?) */
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   259
         /* Create a new obsel and add it to the trace */
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   260
         create_obsel: function(type, begin, end, subject, _attributes) {
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   261
             var o = new Obsel(type, begin, end, subject);
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   262
             if (typeof _attributes !== 'undefined') {
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   263
                 o.attributes = _attributes;
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   264
             }
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   265
             o.trace = this;
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   266
             this.obsels.push(o);
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   267
             if (this.syncservice !== null)
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   268
                 this.syncservice.enqueue(o);
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   269
         },
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   270
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   271
         /* Helper methods */
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   272
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   273
         /* Create a new obsel with the given attributes */
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   274
         trace: function(type, _attributes, _begin, _end, _subject) {
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   275
             var t = (new Date()).getTime();
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   276
             if (typeof begin === 'undefined') {
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   277
                 _begin = t;
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   278
             }
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   279
             if (typeof end === 'undefined') {
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   280
                 _end = _begin;
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   281
             }
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   282
             if (typeof subject === 'undefined') {
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   283
                 _subject = this.default_subject;
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   284
             }
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   285
             if (typeof _attributes === 'undefined') {
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   286
                 _attributes = {};
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   287
             }
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   288
             return this.create_obsel(type, _begin, _end, _subject, _attributes);
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   289
         }
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   290
     };
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   291
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   292
     var Trace = function(uri, requestmode) {
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   293
         /* FIXME: We could/should use a sorted list such as
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   294
          http://closure-library.googlecode.com/svn/docs/class_goog_structs_AvlTree.html
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   295
          to speed up queries based on time */
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   296
         this.obsels = [];
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   297
         /* Trace URI */
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   298
         if (uri === undefined)
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   299
             uri = "";
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   300
         this.uri = uri;
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   301
         this.sync_mode = "none";
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   302
         this.default_subject = "";
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   303
         this.shorthands = {};
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   304
         /* baseuri is used a the base URI to resolve relative attribute names in obsels */
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   305
         this.baseuri = "";
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   306
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   307
         this.syncservice = new BufferedService(uri, requestmode);
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   308
         $(window).unload( function () {
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   309
                               if (this.syncservice && this.sync_mode !== 'none') {
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   310
                                   this.syncservice.flush();
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   311
                                   this.syncservice.stop_timer();
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   312
                               }
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   313
                           });
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   314
     };
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   315
     Trace.prototype = Trace_prototype;
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   316
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   317
     var Obsel_prototype = {
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   318
         /* The following attributes are here for documentation
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   319
          * purposes. They MUST be defined in the constructor
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   320
          * function. */
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   321
         trace: undefined,
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   322
         type: undefined,
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   323
         begin: undefined,
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   324
         end: undefined,
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   325
         subject: undefined,
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   326
         /* Dictionary indexed by ObselType URIs */
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   327
         attributes: {},
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   328
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   329
         /* Method definitions */
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   330
         get_trace: function() {
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   331
             return this.trace;
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   332
         },
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   333
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   334
         get_obsel_type: function() {
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   335
             return this.type;
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   336
         },
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   337
         get_begin: function() {
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   338
             return this.begin;
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   339
         },
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   340
         get_end: function() {
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   341
             return this.end;
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   342
         },
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   343
         get_subject: function() {
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   344
             return this.subject;
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   345
         },
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   346
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   347
         list_attribute_types: function() {
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   348
             var result = [];
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   349
             for (var prop in this.attributes) {
583
f655dafb741e added www2012
Raphael Velt <raph.velt@gmail.com>
parents: 581
diff changeset
   350
                 if (this.attributes.hasOwnProperty(prop))
581
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   351
                     result.push(prop);
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   352
             }
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   353
             /* FIXME: we return URIs here instead of AttributeType elements */
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   354
             return result;
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   355
         },
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   356
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   357
         list_relation_types: function() {
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   358
             /* FIXME: not implemented yet */
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   359
         },
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   360
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   361
         list_related_obsels: function (rt) {
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   362
             /* FIXME: not implemented yet */
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   363
         },
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   364
         list_inverse_relation_types: function () {
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   365
             /* FIXME: not implemented yet */
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   366
         },
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   367
         list_relating_obsels: function (rt) {
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   368
             /* FIXME: not implemented yet */
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   369
         },
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   370
         /*
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   371
          * Return the value of the given attribute type for this obsel
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   372
          */
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   373
         get_attribute_value: function(at) {
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   374
             if (typeof at === "string")
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   375
                 /* It is a URI */
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   376
                 return this.attributes[at];
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   377
             else
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   378
                 /* FIXME: check that at is instance of AttributeType */
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   379
                 return this.attributes[at.uri];
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   380
         },
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   381
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   382
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   383
         /* obsel modification (trace amendment) */
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   384
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   385
         set_attribute_value: function(at, value) {
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   386
             if (typeof at === "string")
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   387
                 /* It is a URI */
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   388
                 this.attributes[at] = value;
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   389
             /* FIXME: check that at is instance of AttributeType */
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   390
             else
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   391
                 this.attributes[at.uri] = value;
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   392
         },
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   393
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   394
         del_attribute_value: function(at) {
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   395
             if (typeof at === "string")
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   396
                 /* It is a URI */
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   397
                 delete this.attributes[at];
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   398
             /* FIXME: check that at is instance of AttributeType */
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   399
             else
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   400
                 delete this.attributes[at.uri];
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   401
         },
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   402
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   403
         add_related_obsel: function(rt, value) {
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   404
             /* FIXME: not implemented yet */
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   405
         },
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   406
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   407
         del_related_obsel: function(rt, value) {
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   408
             /* FIXME: not implemented yet */
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   409
         },
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   410
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   411
         /*
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   412
          * Return a JSON representation of the obsel
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   413
          */
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   414
         toJSON: function() {
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   415
             var r = {
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   416
                 "@id": this.id,
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   417
                 "@type": this.type,
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   418
                 "begin": this.begin,
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   419
                 "end": this.end,
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   420
                 "subject": this.subject
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   421
             };
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   422
             for (var prop in this.attributes) {
583
f655dafb741e added www2012
Raphael Velt <raph.velt@gmail.com>
parents: 581
diff changeset
   423
                 if (this.attributes.hasOwnProperty(prop))
581
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   424
                     r[prop] = this.attributes[prop];
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   425
             }
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   426
             return r;
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   427
         },
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   428
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   429
         /*
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   430
          * Return a compact JSON representation of the obsel.
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   431
          * Use predefined + custom shorthands for types/properties
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   432
          */
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   433
         toCompactJSON: function() {
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   434
             var r = {
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   435
                 "@t": (this.trace.shorthands.hasOwnProperty(this.type) ? this.trace.shorthands[this.type] : this.type),
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   436
                 "@b": this.begin,
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   437
                 "@s": this.subject
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   438
             };
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   439
             // Store duration (to save some bytes) and only if it is non-null
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   440
             if (this.begin !== this.end)
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   441
                 r["@d"] = this.end - this.begin;
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   442
583
f655dafb741e added www2012
Raphael Velt <raph.velt@gmail.com>
parents: 581
diff changeset
   443
             // Store id only if != ""
f655dafb741e added www2012
Raphael Velt <raph.velt@gmail.com>
parents: 581
diff changeset
   444
             if (this.id !== "")
f655dafb741e added www2012
Raphael Velt <raph.velt@gmail.com>
parents: 581
diff changeset
   445
                 r["@i"] = this.id;
f655dafb741e added www2012
Raphael Velt <raph.velt@gmail.com>
parents: 581
diff changeset
   446
581
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   447
             for (var prop in this.attributes) {
583
f655dafb741e added www2012
Raphael Velt <raph.velt@gmail.com>
parents: 581
diff changeset
   448
                 if (this.attributes.hasOwnProperty(prop))
581
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   449
                 {
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   450
                     var v = this.attributes[prop];
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   451
                     r[prop] = this.trace.shorthands.hasOwnProperty(v) ? this.trace.shorthands[v] : v;
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   452
                 }
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   453
             }
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   454
             return r;
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   455
         },
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   456
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   457
         toJSONstring: function() {
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   458
             return JSON.stringify(this.toJSON());
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   459
         }
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   460
     };
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   461
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   462
     var Obsel = function(type, begin, end, subject, attributes) {
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   463
         this.trace = undefined;
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   464
         this.uri = "";
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   465
         this.id = "";
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   466
         this.type = type;
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   467
         this.begin = begin;
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   468
         this.end = end;
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   469
         this.subject = subject;
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   470
         /* Is the obsel synched with the server ? */
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   471
         this.sync_status = false;
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   472
         /* Dictionary indexed by ObselType URIs */
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   473
         this.attributes = {};
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   474
     };
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   475
     Obsel.prototype = Obsel_prototype;
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   476
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   477
     var TraceManager_prototype = {
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   478
         traces: [],
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   479
         /*
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   480
          * Return the trace with id name
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   481
          * If it was not registered, return undefined.
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   482
          */
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   483
         get_trace: function(name) {
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   484
             return this.traces[name];
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   485
         },
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   486
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   487
         /*
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   488
          * Explicitly create and initialize a new trace with the given name.
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   489
          * The optional uri parameter allows to initialize the trace URI.
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   490
          *
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   491
          * If another existed with the same name before, then it is replaced by a new one.
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   492
          */
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   493
         init_trace: function(name, params)
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   494
         {
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   495
             if (window.console) window.console.log("init_trace", params);
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   496
             url = params.url ? params.url : "";
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   497
             requestmode = params.requestmode ? params.requestmode : "POST";
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   498
             syncmode = params.syncmode ? params.syncmode : "none";
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   499
             default_subject = params.default_subject ? params.default_subject : "default";
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   500
             var t = new Trace(url, requestmode);
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   501
             t.set_sync_mode(syncmode);
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   502
             t.set_default_subject(default_subject);
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   503
             this.traces[name] = t;
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   504
             return t;
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   505
         }
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   506
     };
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   507
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   508
     var TraceManager = function() {
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   509
         this.traces = {};
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   510
     };
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   511
     TraceManager.prototype = TraceManager_prototype;
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   512
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   513
     var tracemanager  = new TraceManager();
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   514
     return tracemanager;
7607516bd9f1 Add Tracewidget
Raphael Velt <raph.velt@gmail.com>
parents:
diff changeset
   515
 };