1 function toggle_private() { 2 // Search for any private/public links on this page. Store 3 // their old text in "cmd," so we will know what action to 4 // take; and change their text to the opposite action. 5 var cmd = "?"; 6 var elts = document.getElementsByTagName("a"); 7 for(var i=0; i<elts.length; i++) { 8 if (elts[i].className == "privatelink") { 9 cmd = elts[i].innerHTML; 10 elts[i].innerHTML = ((cmd && cmd.substr(0,4)=="show")? 11 "hide private":"show private"); 12 } 13 } 14 // Update all DIVs containing private objects. 15 var elts = document.getElementsByTagName("div"); 16 for(var i=0; i<elts.length; i++) { 17 if (elts[i].className == "private") { 18 elts[i].style.display = ((cmd && cmd.substr(0,4)=="hide")?"none":"block"); 19 } 20 else if (elts[i].className == "public") { 21 elts[i].style.display = ((cmd && cmd.substr(0,4)=="hide")?"block":"none"); 22 } 23 } 24 // Update all table rows containing private objects. Note, we 25 // use "" instead of "block" becaue IE & firefox disagree on what 26 // this should be (block vs table-row), and "" just gives the 27 // default for both browsers. 28 var elts = document.getElementsByTagName("tr"); 29 for(var i=0; i<elts.length; i++) { 30 if (elts[i].className == "private") { 31 elts[i].style.display = ((cmd && cmd.substr(0,4)=="hide")?"none":""); 32 } 33 } 34 // Update all list items containing private objects. 35 var elts = document.getElementsByTagName("li"); 36 for(var i=0; i<elts.length; i++) { 37 if (elts[i].className == "private") { 38 elts[i].style.display = ((cmd && cmd.substr(0,4)=="hide")? 39 "none":""); 40 } 41 } 42 // Update all list items containing private objects. 43 var elts = document.getElementsByTagName("ul"); 44 for(var i=0; i<elts.length; i++) { 45 if (elts[i].className == "private") { 46 elts[i].style.display = ((cmd && cmd.substr(0,4)=="hide")?"none":"block"); 47 } 48 } 49 // Set a cookie to remember the current option. 50 document.cookie = "EpydocPrivate="+cmd; 51 } 52 function show_private() { 53 var elts = document.getElementsByTagName("a"); 54 for(var i=0; i<elts.length; i++) { 55 if (elts[i].className == "privatelink") { 56 cmd = elts[i].innerHTML; 57 if (cmd && cmd.substr(0,4)=="show") 58 toggle_private(); 59 } 60 } 61 } 62 function getCookie(name) { 63 var dc = document.cookie; 64 var prefix = name + "="; 65 var begin = dc.indexOf("; " + prefix); 66 if (begin == -1) { 67 begin = dc.indexOf(prefix); 68 if (begin != 0) return null; 69 } else 70 { begin += 2; } 71 var end = document.cookie.indexOf(";", begin); 72 if (end == -1) 73 { end = dc.length; } 74 return unescape(dc.substring(begin + prefix.length, end)); 75 } 76 function setFrame(url1, url2) { 77 parent.frames[1].location.href = url1; 78 parent.frames[2].location.href = url2; 79 } 80 function checkCookie() { 81 var cmd=getCookie("EpydocPrivate"); 82 if (cmd && cmd.substr(0,4)!="show" && location.href.indexOf("#_") < 0) 83 toggle_private(); 84 } 85 function toggleCallGraph(id) { 86 var elt = document.getElementById(id); 87 if (elt.style.display == "none") 88 elt.style.display = "block"; 89 else 90 elt.style.display = "none"; 91 } 92 function expand(id) { 93 var elt = document.getElementById(id+"-expanded"); 94 if (elt) elt.style.display = "block"; 95 var elt = document.getElementById(id+"-expanded-linenums"); 96 if (elt) elt.style.display = "block"; 97 var elt = document.getElementById(id+"-collapsed"); 98 if (elt) { elt.innerHTML = ""; elt.style.display = "none"; } 99 var elt = document.getElementById(id+"-collapsed-linenums"); 100 if (elt) { elt.innerHTML = ""; elt.style.display = "none"; } 101 var elt = document.getElementById(id+"-toggle"); 102 if (elt) { elt.innerHTML = "-"; } 103 } 104 105 function collapse(id) { 106 var elt = document.getElementById(id+"-expanded"); 107 if (elt) elt.style.display = "none"; 108 var elt = document.getElementById(id+"-expanded-linenums"); 109 if (elt) elt.style.display = "none"; 110 var elt = document.getElementById(id+"-collapsed-linenums"); 111 if (elt) { elt.innerHTML = "<br />"; elt.style.display="block"; } 112 var elt = document.getElementById(id+"-toggle"); 113 if (elt) { elt.innerHTML = "+"; } 114 var elt = document.getElementById(id+"-collapsed"); 115 if (elt) { 116 elt.style.display = "block"; 117 118 var indent = elt.getAttribute("indent"); 119 var pad = elt.getAttribute("pad"); 120 var s = "<tt class='py-lineno'>"; 121 for (var i=0; i<pad.length; i++) { s += " " } 122 s += "</tt>"; 123 s += " <tt class='py-line'>"; 124 for (var i=0; i<indent.length; i++) { s += " " } 125 s += "<a href='#' onclick='expand(\"" + id; 126 s += "\");return false'>...</a></tt><br />"; 127 elt.innerHTML = s; 128 } 129 } 130 131 function toggle(id) { 132 elt = document.getElementById(id+"-toggle"); 133 if (elt.innerHTML == "-") 134 collapse(id); 135 else 136 expand(id); 137 return false; 138 } 139 140 function highlight(id) { 141 var elt = document.getElementById(id+"-def"); 142 if (elt) elt.className = "py-highlight-hdr"; 143 var elt = document.getElementById(id+"-expanded"); 144 if (elt) elt.className = "py-highlight"; 145 var elt = document.getElementById(id+"-collapsed"); 146 if (elt) elt.className = "py-highlight"; 147 } 148 149 function num_lines(s) { 150 var n = 1; 151 var pos = s.indexOf("\n"); 152 while ( pos > 0) { 153 n += 1; 154 pos = s.indexOf("\n", pos+1); 155 } 156 return n; 157 } 158 159 // Collapse all blocks that mave more than `min_lines` lines. 160 function collapse_all(min_lines) { 161 var elts = document.getElementsByTagName("div"); 162 for (var i=0; i<elts.length; i++) { 163 var elt = elts[i]; 164 var split = elt.id.indexOf("-"); 165 if (split > 0) 166 if (elt.id.substring(split, elt.id.length) == "-expanded") 167 if (num_lines(elt.innerHTML) > min_lines) 168 collapse(elt.id.substring(0, split)); 169 } 170 } 171 172 function expandto(href) { 173 var start = href.indexOf("#")+1; 174 if (start != 0 && start != href.length) { 175 if (href.substring(start, href.length) != "-") { 176 collapse_all(4); 177 pos = href.indexOf(".", start); 178 while (pos != -1) { 179 var id = href.substring(start, pos); 180 expand(id); 181 pos = href.indexOf(".", pos+1); 182 } 183 var id = href.substring(start, href.length); 184 expand(id); 185 highlight(id); 186 } 187 } 188 } 189 190 function kill_doclink(id) { 191 var parent = document.getElementById(id); 192 parent.removeChild(parent.childNodes.item(0)); 193 } 194 function auto_kill_doclink(ev) { 195 if (!ev) var ev = window.event; 196 if (!this.contains(ev.toElement)) { 197 var parent = document.getElementById(this.parentID); 198 parent.removeChild(parent.childNodes.item(0)); 199 } 200 } 201 202 function doclink(id, name, targets_id) { 203 var elt = document.getElementById(id); 204 205 // If we already opened the box, then destroy it. 206 // (This case should never occur, but leave it in just in case.) 207 if (elt.childNodes.length > 1) { 208 elt.removeChild(elt.childNodes.item(0)); 209 } 210 else { 211 // The outer box: relative + inline positioning. 212 var box1 = document.createElement("div"); 213 box1.style.position = "relative"; 214 box1.style.display = "inline"; 215 box1.style.top = 0; 216 box1.style.left = 0; 217 218 // A shadow for fun 219 var shadow = document.createElement("div"); 220 shadow.style.position = "absolute"; 221 shadow.style.left = "-1.3em"; 222 shadow.style.top = "-1.3em"; 223 shadow.style.background = "#404040"; 224 225 // The inner box: absolute positioning. 226 var box2 = document.createElement("div"); 227 box2.style.position = "relative"; 228 box2.style.border = "1px solid #a0a0a0"; 229 box2.style.left = "-.2em"; 230 box2.style.top = "-.2em"; 231 box2.style.background = "white"; 232 box2.style.padding = ".3em .4em .3em .4em"; 233 box2.style.fontStyle = "normal"; 234 box2.onmouseout=auto_kill_doclink; 235 box2.parentID = id; 236 237 // Get the targets 238 var targets_elt = document.getElementById(targets_id); 239 var targets = targets_elt.getAttribute("targets"); 240 var links = ""; 241 target_list = targets.split(","); 242 for (var i=0; i<target_list.length; i++) { 243 var target = target_list[i].split("="); 244 links += "<li><a href='" + target[1] + 245 "' style='text-decoration:none'>" + 246 target[0] + "</a></li>"; 247 } 248 249 // Put it all together. 250 elt.insertBefore(box1, elt.childNodes.item(0)); 251 //box1.appendChild(box2); 252 box1.appendChild(shadow); 253 shadow.appendChild(box2); 254 box2.innerHTML = 255 "Which <b>"+name+"</b> do you want to see documentation for?" + 256 "<ul style='margin-bottom: 0;'>" + 257 links + 258 "<li><a href='#' style='text-decoration:none' " + 259 "onclick='kill_doclink(\""+id+"\");return false;'>"+ 260 "<i>None of the above</i></a></li></ul>"; 261 } 262 return false; 263 } 264 265 function get_anchor() { 266 var href = location.href; 267 var start = href.indexOf("#")+1; 268 if ((start != 0) && (start != href.length)) 269 return href.substring(start, href.length); 270 } 271 function redirect_url(dottedName) { 272 // Scan through each element of the "pages" list, and check 273 // if "name" matches with any of them. 274 for (var i=0; i<pages.length; i++) { 275 276 // Each page has the form "<pagename>-m" or "<pagename>-c"; 277 // extract the <pagename> portion & compare it to dottedName. 278 var pagename = pages[i].substring(0, pages[i].length-2); 279 if (pagename == dottedName.substring(0,pagename.length)) { 280 281 // We've found a page that matches `dottedName`; 282 // construct its URL, using leftover `dottedName` 283 // content to form an anchor. 284 var pagetype = pages[i].charAt(pages[i].length-1); 285 var url = pagename + ((pagetype=="m")?"-module.html": 286 "-class.html"); 287 if (dottedName.length > pagename.length) 288 url += "#" + dottedName.substring(pagename.length+1, 289 dottedName.length); 290 return url; 291 } 292 } 293 } 294