/*
 * $Id: adacore.js 140856 2009-03-05 11:35:52Z quinot $
 * AdaCore corporate web site utility functions
 */

/*
 * GNAT Pro utilities (called from page contents)
 */

function trailName (n) {
  var na = n.split ('/');
  var index = na.length - 1;

  if (na[index] == '')
    index = index - 1;

  if (index > 0)
    return na[index]
  return '';
}

function hide_current_tech_link (href) {
  document.write (
    '<style> '
  + 'ul#tech_links li#tech_link_' + trailName (href) + ' {\n'
  + '  visibility: hidden;\n'
  + '  display: none;\n'
  + ' }</style>');
}

/*
 * Developer center roll-over buttons
 */

function MM_preloadImages() { //v3.0
  var d=document; if(d.images){ if(!d.MM_p) d.MM_p=new Array();
    var i,j=d.MM_p.length,a=MM_preloadImages.arguments; for(i=0; i<a.length; i++)
    if (a[i].indexOf("#")!=0){ d.MM_p[j]=new Image; d.MM_p[j++].src=a[i];}}
}

function MM_swapImgRestore() { //v3.0
  var i,x,a=document.MM_sr; for(i=0;a&&i<a.length&&(x=a[i])&&x.oSrc;i++) x.src=x.oSrc;
}

function MM_findObj(n, d) { //v4.01
  var p,i,x;  if(!d) d=document; if((p=n.indexOf("?"))>0&&parent.frames.length) {
    d=parent.frames[n.substring(p+1)].document; n=n.substring(0,p);}
  if(!(x=d[n])&&d.all) x=d.all[n]; for (i=0;!x&&i<d.forms.length;i++) x=d.forms[i][n];
  for(i=0;!x&&d.layers&&i<d.layers.length;i++) x=MM_findObj(n,d.layers[i].document);
  if(!x && d.getElementById) x=d.getElementById(n); return x;
}

function MM_swapImage() { //v3.0
  var i,j=0,x,a=MM_swapImage.arguments; document.MM_sr=new Array; for(i=0;i<(a.length-2);i+=3)
   if ((x=MM_findObj(a[i]))!=null){document.MM_sr[j++]=x; if(!x.oSrc) x.oSrc=x.src; x.src=a[i+2];}
}

/*
 * GNAT Tracker alternative layout utilities
 */

function MM_jumpMenu(targ,selObj,restore){ //v3.0
  eval(targ+".location='"+selObj.options[selObj.selectedIndex].value+"'");
  if (restore) selObj.selectedIndex=0;
}

/*
 * Development log collapsible archives
 */

var expanded_year_head_elem;
/* Currently expanded year head element, if any */

var year_items = new Array ();
/* Array indexed by years, listing corresponding items */

function set_visibility (year_head_elem, visibility) {
  var year = year_head_elem.id.match (/([0-9]+)$/)[1];
  var img = year_head_elem.childNodes[0];

  if (visibility) {
    img.src = "/images/folder_16px_open.gif";
    img.alt = "[-]";

  } else {
    img.src = "/images/folder_16px.gif";
    img.alt = "[+]";
  }

  for (var j = 0; j < year_items[year].length; j++) {
    year_items[year][j].style.display = visibility ? "list-item" : "none";
  }
}

function clicked_year_head (year_head_elem) {
  if (expanded_year_head_elem == year_head_elem) {
    set_visibility (year_head_elem, 0);
    expanded_year_head_elem = null;

  } else {
    if (expanded_year_head_elem)
      set_visibility (expanded_year_head_elem, 0);
    set_visibility (year_head_elem, 1);
    expanded_year_head_elem = year_head_elem;
  }
}

function decorate_archives_menu () {
  var menu_elem = document.getElementById ("archives-menu");
  var current_year = 0;
  var year_heads = new Array ();

  if (!menu_elem)
    return;

  for (var j = 0; j < menu_elem.childNodes.length; j++) {
    var item = menu_elem.childNodes[j];
    if (item.tagName != "LI")
      continue;

    item_year = item.childNodes[0].title.match (/([0-9]+)$/)[1];

    if (item_year != current_year) {
      current_year = item_year;
      var head = document.createElement ('A');
      head.id = "year_head_" + item_year;
      head.appendChild (document.createElement ('IMG'));
      head.appendChild (document.createTextNode (item_year));
      head.onclick = function() { clicked_year_head (this) };

      /*
       * Record all heads in year_heads array so that we can make them
       * initially invisible after all their corresponding monthly items
       * have been seen.
       */

      year_heads.push (head);

      var head_li = document.createElement ('LI');
      head_li.className = "year_head";
      head_li.appendChild (head);
      menu_elem.insertBefore (head_li, item);

      year_items[item_year] = new Array ();
    }
    year_items[item_year].push (item);
    item.className = "month_link";

    /*
     * If current page is one of the monthly archives, expand enclosing year,
     * and highlight corresponding item.
     */

    var item_a = item.childNodes[0];
    if (item_a.getAttribute ("href") == location.href) {
       expanded_year_head_elem = year_heads[year_heads.length - 1];
       item_a.className = "current_month";
    }
  }
  for (var j = 0; j < year_heads.length; j++) {
    set_visibility (year_heads[j], (year_heads[j] == expanded_year_head_elem));
  }
}