Quelle  toc.js   Sprache: JAVA

/* This Source Code Form is subject to the terms of the Mozilla Public
 * License, v. 2.0. If a copy of the MPL was not distributed with this
 * file, You can obtain one at http://mozilla.org/MPL/2.0/. */

// Event handler for display togglers in Table of Contents
function toggleDisplay(event) {
  if (event.target.localName != "img") {
    return;
  }
  var img = event.target;
  var div = img.nextSibling.nextSibling;

  // Change the display: property of the container to
  // hide and show the container.
  if (div.style.display == "none") {
    div.style.display = "block";
    img.src = "minus.gif";
  } else {
    div.style.display = "none";
    img.src = "plus.gif";
  }
}

// Function that recurses down the tree, looking for
// structural elements. For each structural element,
// a corresponding element is created in the table of
// contents.
var searchTags = ["book", "chapter", "section"];
var tocTags = ["level1", "level2", "level3"];
function addToToc(root, tocFrame) {
  var i;
  var newTocFrame = tocFrame;
  var newTocElement = null;
  var newTocLink = null;

  for (i = 0; i < searchTags.length; i++) {
    if (root.tagName == searchTags[i]) {
      // If we've found a structural element, create the
      // equivalent TOC element.
      newTocElement = document.createElement(tocTags[i]);
      // Create the toclink element that is a link to the
      // corresponding structural element.
      newTocLink = document.createElement("toclink");
      newTocLink.setAttributeNS(
        "http://www.w3.org/1999/xlink",
        "xlink:type",
        "simple"
      );
      newTocLink.setAttributeNS(
        "http://www.w3.org/1999/xlink",
        "xlink:href",
        "#" + root.getAttribute("id")
      );
      newTocLink.setAttributeNS(
        "http://www.w3.org/1999/xlink",
        "xlink:show",
        "replace"
      );
      newTocElement.appendChild(newTocLink);

      // Create the image and toggling container in the table of contents
      if (i < searchTags.length - 1) {
        var img = document.createElementNS(
          "http://www.w3.org/1999/xhtml",
          "img"
        );
        img.src = "minus.gif";
        newTocElement.insertBefore(img, newTocLink);

        newTocFrame = document.createElementNS(
          "http://www.w3.org/1999/xhtml",
          "div"
        );
        newTocElement.appendChild(newTocFrame);
      } else {
        newTocFrame = null;
      }

      tocFrame.appendChild(newTocElement);

      break;
    }
  }

  // Recurse down through the childNodes list
  for (i = 0; i < root.childNodes.length; i++) {
    var child = root.childNodes[i];
    if (child.nodeType == Node.ELEMENT_NODE) {
      if (newTocLink != null && child.tagName == "title") {
        var text = child.firstChild.cloneNode(true);
        newTocLink.appendChild(text);
      } else {
        addToToc(child, newTocFrame);
      }
    }
  }
}

// Create the root table of contents element (a fixed element)
// and its contents.
function createToc() {
  if (!document.getElementsByTagName("toc").length) {
    var toc = document.createElement("toc");
    var title = document.createElement("title");
    title.appendChild(document.createTextNode("Table of Contents"));
    toc.appendChild(title);

    // Recurse down and build up the document element
    addToToc(document.documentElement, toc);

    // Since we've created the toc element as a fixed element,
    // insert a rule that shifts over the document element by
    // the width of the toc element.
    document.styleSheets[0].cssRules[0].style.marginLeft = "12em";
    document.documentElement.appendChild(toc);

    // Attach the event handler for table of contents buttons.
    // This will only work for content that is already a part
    // of a document, which is why we had to wait until here
    // to do this.
    toc.addEventListener("mouseup", toggleDisplay, 1);
  } else {
    // Hide the table of contents.
    // This is not very intelligent if we have a static document, we should
    // just hide/show the toc via stylesheet mungling
    document.documentElement.removeChild(
      document.getElementsByTagName("toc")[0]
    );
    document.styleSheets[0].cssRules[0].style.marginLeft = "0em";
  }
}