manifold/js/manifold-queries.js

   1 function debug_dict (msg, o) {
   2     var keys=[];
   3     for (var k in o) keys.push(k);
   4     console.log ("debug_dict: " + msg + " Keys : " + keys);
   5 }
   6 function debug_value (msg, value) {
   7     console.log ("debug_value: " + msg + " " + value);
   8 }
   9
  10 /* manage a set of queries indexed by their id */
  11 /* next move will be to insert all the manifold functions in this namespace */
  12 /* xxx add error management */
  13 var manifold = {
  14     all_queries: {},
  15     insert_query : function (query) {
  16         manifold.all_queries[query.query_uuid]=query;
  17    },
  18     find_query : function (query_uuid) {
  19         return manifold.all_queries[query_uuid];
  20     },
  21     debug_all_queries : function (msg) {
  22         for (var query_uuid in manifold.all_queries) {
  23             console.log("manifold.debug " + msg + " " + query_uuid + " -> " + manifold.all_queries[query_uuid]);
  24         }
  25     },
  26 }
  27