• Home
  • Line#
  • Scopes#
  • Navigate#
  • Raw
  • Download
1
2// generate a table of contents in the side-nav based on the h1/h2 tags of the current page.
3function generate_autotoc() {
4  var headers = $("h1, h2");
5  if(headers.length > 1) {
6    var toc = $("#side-nav").append('<div id="nav-toc" class="toc"><h3>Table of contents</h3></div>');
7    toc = $("#nav-toc");
8    var footerHeight = footer.height();
9    toc = toc.append('<ul></ul>');
10    toc = toc.find('ul');
11    var indices = new Array();
12    indices[0] = 0;
13    indices[1] = 0;
14
15    var h1counts = $("h1").length;
16    headers.each(function(i) {
17      var current = $(this);
18      var levelTag = current[0].tagName.charAt(1);
19      if(h1counts==0)
20        levelTag--;
21      var cur_id = current.attr("id");
22
23      indices[levelTag-1]+=1;
24      var prefix = indices[0];
25      if (levelTag >1) {
26        prefix+="."+indices[1];
27      }
28
29      // Uncomment to add number prefixes
30      // current.html(prefix + "   " + current.html());
31      for(var l = levelTag; l < 2; ++l){
32          indices[l] = 0;
33      }
34
35      if(cur_id == undefined) {
36        current.attr('id', 'title' + i);
37        current.addClass('anchor');
38        toc.append("<li class='level" + levelTag + "'><a id='link" + i + "' href='#title" +
39                    i + "' title='" + current.prop("tagName") + "'>" + current.text() + "</a></li>");
40      } else {
41        toc.append("<li class='level" + levelTag + "'><a id='" + cur_id + "' href='#title" +
42                    i + "' title='" + current.prop("tagName") + "'>" + current.text() + "</a></li>");
43      }
44    });
45    resizeHeight();
46  }
47}
48
49
50var global_navtree_object;
51
52// Overloaded to remove links to sections/subsections
53function getNode(o, po)
54{
55  po.childrenVisited = true;
56  var l = po.childrenData.length-1;
57  for (var i in po.childrenData) {
58    var nodeData = po.childrenData[i];
59    if((!nodeData[1]) ||  (nodeData[1].indexOf('#')==-1)) // <- we added this line
60      po.children[i] = newNode(o, po, nodeData[0], nodeData[1], nodeData[2], i==l);
61  }
62}
63
64// Overloaded to adjust the size of the navtree wrt the toc
65function resizeHeight()
66{
67  var toc = $("#nav-toc");
68  var tocHeight = toc.height();  // <- we added this line
69  var headerHeight = header.height();
70  var footerHeight = footer.height();
71  var windowHeight = $(window).height() - headerHeight - footerHeight;
72  content.css({height:windowHeight + "px"});
73  navtree.css({height:(windowHeight-tocHeight) + "px"}); // <- we modified this line
74  sidenav.css({height:(windowHeight) + "px",top: headerHeight+"px"});
75}
76
77// Overloaded to save the root node into global_navtree_object
78function initNavTree(toroot,relpath)
79{
80  var o = new Object();
81  global_navtree_object = o; // <- we added this line
82  o.toroot = toroot;
83  o.node = new Object();
84  o.node.li = document.getElementById("nav-tree-contents");
85  o.node.childrenData = NAVTREE;
86  o.node.children = new Array();
87  o.node.childrenUL = document.createElement("ul");
88  o.node.getChildrenUL = function() { return o.node.childrenUL; };
89  o.node.li.appendChild(o.node.childrenUL);
90  o.node.depth = 0;
91  o.node.relpath = relpath;
92  o.node.expanded = false;
93  o.node.isLast = true;
94  o.node.plus_img = document.createElement("img");
95  o.node.plus_img.src = relpath+"ftv2pnode.png";
96  o.node.plus_img.width = 16;
97  o.node.plus_img.height = 22;
98
99  if (localStorageSupported()) {
100    var navSync = $('#nav-sync');
101    if (cachedLink()) {
102      showSyncOff(navSync,relpath);
103      navSync.removeClass('sync');
104    } else {
105      showSyncOn(navSync,relpath);
106    }
107    navSync.click(function(){ toggleSyncButton(relpath); });
108  }
109
110  navTo(o,toroot,window.location.hash,relpath);
111
112  $(window).bind('hashchange', function(){
113     if (window.location.hash && window.location.hash.length>1){
114       var a;
115       if ($(location).attr('hash')){
116         var clslink=stripPath($(location).attr('pathname'))+':'+
117                               $(location).attr('hash').substring(1);
118         a=$('.item a[class$="'+clslink+'"]');
119       }
120       if (a==null || !$(a).parent().parent().hasClass('selected')){
121         $('.item').removeClass('selected');
122         $('.item').removeAttr('id');
123       }
124       var link=stripPath2($(location).attr('pathname'));
125       navTo(o,link,$(location).attr('hash'),relpath);
126     } else if (!animationInProgress) {
127       $('#doc-content').scrollTop(0);
128       $('.item').removeClass('selected');
129       $('.item').removeAttr('id');
130       navTo(o,toroot,window.location.hash,relpath);
131     }
132  })
133
134  $(window).load(showRoot);
135}
136
137// return false if the the node has no children at all, or has only section/subsection children
138function checkChildrenData(node) {
139  if (!(typeof(node.childrenData)==='string')) {
140    for (var i in node.childrenData) {
141      var url = node.childrenData[i][1];
142      if(url.indexOf("#")==-1)
143        return true;
144    }
145    return false;
146  }
147  return (node.childrenData);
148}
149
150// Modified to:
151// 1 - remove the root node
152// 2 - remove the section/subsection children
153function createIndent(o,domNode,node,level)
154{
155  var level=-2; // <- we replaced level=-1 by level=-2
156  var n = node;
157  while (n.parentNode) { level++; n=n.parentNode; }
158  var imgNode = document.createElement("img");
159  imgNode.style.paddingLeft=(16*(level)).toString()+'px';
160  imgNode.width  = 16;
161  imgNode.height = 22;
162  imgNode.border = 0;
163  if (checkChildrenData(node)) { // <- we modified this line to use checkChildrenData(node) instead of node.childrenData
164    node.plus_img = imgNode;
165    node.expandToggle = document.createElement("a");
166    node.expandToggle.href = "javascript:void(0)";
167    node.expandToggle.onclick = function() {
168      if (node.expanded) {
169        $(node.getChildrenUL()).slideUp("fast");
170        node.plus_img.src = node.relpath+"ftv2pnode.png";
171        node.expanded = false;
172      } else {
173        expandNode(o, node, false, false);
174      }
175    }
176    node.expandToggle.appendChild(imgNode);
177    domNode.appendChild(node.expandToggle);
178    imgNode.src = node.relpath+"ftv2pnode.png";
179  } else {
180    imgNode.src = node.relpath+"ftv2node.png";
181    domNode.appendChild(imgNode);
182  }
183}
184
185// Overloaded to automatically expand the selected node
186function selectAndHighlight(hash,n)
187{
188  var a;
189  if (hash) {
190    var link=stripPath($(location).attr('pathname'))+':'+hash.substring(1);
191    a=$('.item a[class$="'+link+'"]');
192  }
193  if (a && a.length) {
194    a.parent().parent().addClass('selected');
195    a.parent().parent().attr('id','selected');
196    highlightAnchor();
197  } else if (n) {
198    $(n.itemDiv).addClass('selected');
199    $(n.itemDiv).attr('id','selected');
200  }
201  if ($('#nav-tree-contents .item:first').hasClass('selected')) {
202    $('#nav-sync').css('top','30px');
203  } else {
204    $('#nav-sync').css('top','5px');
205  }
206  expandNode(global_navtree_object, n, true, true); // <- we added this line
207  showRoot();
208}
209
210
211$(document).ready(function() {
212
213  generate_autotoc();
214
215  (function (){ // wait until the first "selected" element has been created
216    try {
217
218      // this line will triger an exception if there is no #selected element, i.e., before the tree structure is complete.
219      document.getElementById("selected").className = "item selected";
220
221      // ok, the default tree has been created, we can keep going...
222
223      // expand the "Chapters" node
224      if(window.location.href.indexOf('unsupported')==-1)
225        expandNode(global_navtree_object, global_navtree_object.node.children[0].children[2], true, true);
226      else
227        expandNode(global_navtree_object, global_navtree_object.node.children[0].children[1], true, true);
228
229      // Hide the root node "Eigen"
230      $(document.getElementsByClassName('index.html')[0]).parent().parent().css({display:"none"});
231
232    } catch (err) {
233      setTimeout(arguments.callee, 10);
234    }
235  })();
236});
237
238$(window).load(function() {
239  resizeHeight();
240});
241