leftmenu.js

at91sam9261-ek开发板资料 at91sam9261-ek.zip

function WriteLeftMenu(divID, aID, divClassName, aClassName)
{
document.write("<div id=\"divID7351\" class=\"headerLeftMenuInActive\"><a id=\"aID7351\" href=\"#\" OnMouseOver=\"link('_dir','utility0',this)\" class=\"leftMenuLinkHeadInActive\">utility</a></div>\n");
document.write("<div class=\"paragraphLeftMenu\">Pages</div>\n");
document.write("<div id=\"divID7303\" class=\"leftMenuInActive\"><a id=\"aID7303\" href=\"#\" OnMouseOver=\"link('_page','HammingCodeErrors0',this)\" class=\"leftMenuLinkInActive\">Hamming Code Errors</a></div>\n");
document.write("<div class=\"paragraphLeftMenu\">Units</div>\n");
document.write("<div id=\"divID7476\" class=\"leftMenuInActive\"><a id=\"aID7476\" href=\"#\" OnMouseOver=\"link('_unit','assert_h0',this)\" class=\"leftMenuLinkInActive\">assert.h</a></div>\n");
document.write("<div id=\"divID7477\" class=\"leftMenuInActive\"><a id=\"aID7477\" href=\"#\" OnMouseOver=\"link('_unit','bmp_h0',this)\" class=\"leftMenuLinkInActive\">bmp.h</a></div>\n");
document.write("<div id=\"divID7478\" class=\"leftMenuInActive\"><a id=\"aID7478\" href=\"#\" OnMouseOver=\"link('_unit','led_h0',this)\" class=\"leftMenuLinkInActive\">led.h</a></div>\n");
document.write("<div id=\"divID7479\" class=\"leftMenuInActive\"><a id=\"aID7479\" href=\"#\" OnMouseOver=\"link('_unit','retarget_c0',this)\" class=\"leftMenuLinkInActive\">retarget.c</a></div>\n");
document.write("<div id=\"divID7480\" class=\"leftMenuInActive\"><a id=\"aID7480\" href=\"#\" OnMouseOver=\"link('_unit','stdio_c0',this)\" class=\"leftMenuLinkInActive\">stdio.c</a></div>\n");
document.write("<div id=\"divID7481\" class=\"leftMenuInActive\"><a id=\"aID7481\" href=\"#\" OnMouseOver=\"link('_unit','string_c0',this)\" class=\"leftMenuLinkInActive\">string.c</a></div>\n");
document.write("<div id=\"divID7482\" class=\"leftMenuInActive\"><a id=\"aID7482\" href=\"#\" OnMouseOver=\"link('_unit','trace_h0',this)\" class=\"leftMenuLinkInActive\">trace.h</a></div>\n");
if(divID != "" && aID != "")
{
document.getElementById(divID).className = divClassName;
document.getElementById(aID).className = aClassName;
}
}