sclang: ServerShmInterface - try to avoid multiple destructor calls
[supercollider.git] / HelpSource / Overviews / Classes.html
blob150a175c2b545aa5db8428bc0c4870eb54dc7481
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;
12 .result_item {
13 margin-left: 1.5em;
14 margin-top: 0.2em;
16 #search_checks {
17 font-size: 9pt;
18 color: #555;
19 border-bottom: 1px solid #ddd;
20 margin-top: 1em;
21 padding-bottom: 1em;
23 #total_count {
24 font-size: 9pt;
25 color: #777;
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;
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]);
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 });
55 showdocs();
58 function showdocs() {
59 while(node.hasChildNodes())
60 node.removeChild(node.lastChild);
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: ";
69 for(var i=0;i<docs.length;i++) {
70 var v = docs[i];
71 var x = v.title[0].toUpperCase();
73 if(v.path.split("/")[0].toLowerCase() != "classes")
74 continue;
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(" "));
85 docs2.push(v);
87 node.appendChild(div);
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();
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);
105 var div = document.createElement("div");
106 div.className = "result_item";
108 var n = document.createElement("a");
109 n.setAttribute("href","../"+v.path+".html");
110 n.innerHTML = v.title;
111 div.appendChild(n);
112 div.appendChild(document.createTextNode(" - "+v.summary+" "));
114 var res = "";
115 if(/Undocumented classes/.test(v.categories))
116 res += " undocumented";
117 if(v.installed=="extension")
118 res += " extension";
119 else if(v.installed=="missing")
120 res += " missing class!";
122 if(res) {
123 n = document.createElement("span");
124 n.className = "soft";
125 n.innerHTML = "("+res+" )";
126 div.appendChild(n);
128 node.appendChild(div);
129 count++;
131 document.getElementById("total_count").innerHTML = count + " classes";
133 </script>
134 </head>
136 <ul id="menubar"></ul>
138 <body onload="did_load()">
139 <div class='contents'>
140 <div class='header'>
141 <div id='label'>SuperCollider OVERVIEWS</div>
142 <h1>Classes</h1>
143 <div id='summary'>Alphabetical index of all classes</div>
144 </div>
145 <div id="total_count"></div>
146 <div id='doclist'></div>
147 </div>
148 </body>
149 </html>