swat2/scripting/client/js_scripts.js

   1 /*
   2    Beginnnigs of a script manager for SWAT.
   3
   4    Copyright (C) Deryck Hodge 2005
   5    released under the GNU GPL Version 3 or later
   6 */
   7
   8 var head = document.getElementsByTagName('head')[0];
   9 var scripts = document.getElementsByTagName('script');
  10
  11 function __has_js_script(file)
  12 {
  13         var i;
  14         for (i=0; i<scripts.length; i++) {
  15                 if (scripts[i].src.indexOf(file) > -1) {
  16                         return true;
  17                 } else {
  18                         return false;
  19                 }
  20         }
  21 }
  22
  23 function __get_js_script(file)
  24 {
  25         var i;
  26         for (i=0; i<scripts.length; i++) {
  27                 if (scripts[i].src.indexOf(file) > -1) {
  28                         return scripts[i];
  29                 }
  30         }
  31 }
  32
  33 function __add_js_script(path)
  34 {
  35         // Create a unique ID for this script
  36         var srcID = new Date().getTime();
  37
  38         var script = document.createElement('script');
  39         script.type = 'text/javascript';
  40         script.id = srcID;
  41
  42         head.appendChild(script);
  43
  44         // IE works only with the path set after appending to the document
  45         document.getElementById(srcID).src = path;
  46 }
  47
  48 function __remove_js_script(path)
  49 {
  50         var script = __get_js_script(path);
  51         script.parentNode.removeChild(script);
  52 }
  53
  54 document.js = new Object();
  55 document.js.scripts = scripts;
  56 document.js.hasScript = __has_js_script;
  57 document.js.getScript = __get_js_script;
  58 document.js.add = __add_js_script;
  59 document.js.remove = __remove_js_script;
  60