var isShowingPrivateMembers = 0; var privateElements = null; var view_btn = null; var hide_btn = null; /* Adds a id 'framed' to the body node if the page is framed. This is equivalent to: This way the css style 'framed' can give a different appearance to the page. */ window.onload = function(e) { if (parent.location.href != self.location.href) { // page is framed // set body id to 'framed': // to address css style 'framed' // so that the margins can be defined differently var bodyNode = document.getElementsByTagName('body')[0]; bodyNode.setAttribute("id", "framed"); } var cookie = readCookie("privateMembers"); var showPrivateMembers = cookie; if (showPrivateMembers == "1") { showPrivate(); } else { setButtonsToHidePrivateState(); } /* Init the highlight script */ fragHLload(); fragHLlink(); } window.onunload = function(e) { setCookie("privateMembers", isShowingPrivateMembers, 365); } /* Loads the frameset, passing the current page url as parameter so this page can be loaded into the frame classFrame. */ function showTOC() { parent.location = "index.html?" + self.location.href; } /* Replaces the frameset by the current page. */ function hideTOC() { parent.location = self.location; } function getElementsByClassName(class_name) { var all_obj, ret_obj = new Array(); if (document.all) all_obj=document.all; else if (document.getElementsByTagName && !document.all) all_obj=document.getElementsByTagName("*"); var len = all_obj.length; for (i=0;i 0 && document.getElementById(fragHLed)) { KillClass(document.getElementById(fragHLed),'highlight'); } if (frag.length > 0 && document.getElementById(frag)) { fragHLed = frag; AddClass (document.getElementById(frag),'highlight'); } } /* Add onclick events to all with hrefs that include a "#" */ function fragHLlink() { if (document.getElementsByTagName) { var an = document.getElementsByTagName('a'); for (i=0; i= 0) { var fragment = an.item(i).getAttribute('href').substring(an.item(i).getAttribute('href').indexOf('#') + 1); if (fragExclude.search(fragment)) { var evn = "fragHL('" + fragment + "')"; var fun = new Function('e',evn); an.item(i).onclick = fun; } } } } }