HelpSource/Overviews/Classes.html

   1 <html>
   2 <head>
   3     <title>Classes</title>
   4     <link rel='stylesheet' href='../scdoc.css' type='text/css' />
   5     <meta http-equiv='Content-Type' content='text/html; charset=UTF-8' />
   6     <script src="../docmap.js" type="text/javascript"></script>
   7     <script src="../scdoc.js" type="text/javascript"></script>
   8 <style>
   9 #doclist {
  10     margin-top: 1em;
  11 }
  12 .result_item {
  13     margin-left: 1.5em;
  14     margin-top: 0.2em;
  15 }
  16 #search_checks {
  17     font-size: 9pt;
  18     color: #555;
  19     border-bottom: 1px solid #ddd;
  20     margin-top: 1em;
  21     padding-bottom: 1em;
  22 }
  23 #total_count {
  24     font-size: 9pt;
  25     color: #777;
  26 }
  27 </style>
  28 <noscript>
  29 <p>The class index needs JavaScript.
  30 </noscript>
  31 <script type="text/javascript">
  32 var checkboxes;
  33 var node;
  34 var docs;
  35
  36 function did_load() {
  37 //    restoreMenu();
  38     helpRoot=".."; fixTOC();
  39     node = document.getElementById("doclist");
  40     docs = [];
  41     for(var k in docmap) {
  42         if(docmap.hasOwnProperty(k))
  43             docs.push(docmap[k]);
  44     }
  45     docs = docs.sort(function(a,b) {
  46         a = a.title.toUpperCase();
  47         b = b.title.toUpperCase();
  48         if(a<b) return -1;
  49         else
  50         if(a>b) return +1;
  51         else
  52         return 0;
  53     });
  54
  55     showdocs();
  56 }
  57
  58 function showdocs() {
  59     while(node.hasChildNodes())
  60         node.removeChild(node.lastChild);
  61
  62     var count = 0;
  63     var cap = undefined;
  64     var div = document.createElement("p");
  65     var docs2 = [];
  66     div.className = "jump";
  67     div.innerHTML = "Jump to: ";
  68
  69     for(var i=0;i<docs.length;i++) {
  70         var v = docs[i];
  71         var x = v.title[0].toUpperCase();
  72
  73         if(v.path.split("/")[0].toLowerCase() != "classes")
  74             continue;
  75
  76         if(cap != x) {
  77             cap = x;
  78             var a = document.createElement("a");
  79             a.setAttribute("href","#section_"+cap);
  80             a.innerHTML=cap;
  81             div.appendChild(a);
  82             div.appendChild(document.createTextNode(" "));
  83         }
  84
  85         docs2.push(v);
  86     }
  87     node.appendChild(div);
  88
  89     cap = undefined;
  90     for(var i=0;i<docs2.length;i++) {
  91         var v = docs2[i];
  92         var x = v.path.split("/");
  93         var c = v.title[0].toUpperCase();
  94
  95         if(cap != c) {
  96             var y = document.createElement("h2");
  97             var a = document.createElement("a");
  98             a.className = "anchor";
  99             a.setAttribute("name","section_"+c);
 100             a.innerHTML = cap = c;
 101             y.appendChild(a);
 102             node.appendChild(y);
 103         }
 104
 105         var div = document.createElement("div");
 106         div.className = "result_item";
 107
 108         var n = document.createElement("a");
 109         n.setAttribute("href","../"+v.path+".html");
 110         n.innerHTML = v.title;
 111         div.appendChild(n);
 112         var undoc = /Undocumented classes/.test(v.categories);
 113         if(undoc) {
 114             n.className = "undoc";
 115             div.appendChild(document.createTextNode(" -  "));
 116         } else {
 117             div.appendChild(document.createTextNode(" - "+v.summary+" "));
 118         }
 119
 120         var res = "";
 121         if(undoc)
 122             res += " undocumented";
 123         if(v.installed=="extension")
 124             res += " extension";
 125         else if(v.installed=="missing")
 126             res += " missing class!";
 127
 128         if(res) {
 129             n = document.createElement("span");
 130             n.className = "soft";
 131             n.innerHTML = "("+res+" )";
 132             div.appendChild(n);
 133         }
 134         node.appendChild(div);
 135         count++;
 136     }
 137     document.getElementById("total_count").innerHTML = count + " classes";
 138 }
 139 </script>
 140 </head>
 141
 142 <ul id="menubar"></ul>
 143
 144 <body onload="did_load()">
 145 <div class='contents'>
 146 <div class='header'>
 147     <div id='label'>SuperCollider OVERVIEWS</div>
 148     <h1>Classes</h1>
 149     <div id='summary'>Alphabetical index of all classes</div>
 150 </div>
 151 <div id="total_count"></div>
 152 <div id='doclist'></div>
 153 </div>
 154 </body>
 155 </html>
 156