1 function convertToId(search
)
4 for (i
=0;i
<search
.length
;i
++)
6 var c
= search
.charAt(i
);
7 var cn
= c
.charCodeAt(0);
8 if (c
.match(/[a-z0-9\u0080-\uFFFF]/))
14 result
+="_0"+cn
.toString(16);
18 result
+="_"+cn
.toString(16);
24 function getXPos(item
)
29 while (item
&& item
!=document
.body
)
32 item
= item
.offsetParent
;
38 function getYPos(item
)
43 while (item
&& item
!=document
.body
)
46 item
= item
.offsetParent
;
52 /* A class handling everything associated with the search panel.
55 name - The name of the global variable that will be
56 storing this instance. Is needed to be able to set timeouts.
57 resultPath - path to use for external files
59 function SearchBox(name
, resultsPath
, inFrame
, label
)
61 if (!name
|| !resultsPath
) { alert("Missing parameters to SearchBox."); }
63 // ---------- Instance variables
65 this.resultsPath
= resultsPath
;
67 this.keyTimeoutLength
= 500;
68 this.closeSelectionTimeout
= 300;
69 this.lastSearchValue
= "";
70 this.lastResultsPage
= "";
73 this.searchActive
= false;
74 this.insideFrame
= inFrame
;
75 this.searchLabel
= label
;
77 // ----------- DOM Elements
79 this.DOMSearchField = function()
80 { return document
.getElementById("MSearchField"); }
82 this.DOMSearchSelect = function()
83 { return document
.getElementById("MSearchSelect"); }
85 this.DOMSearchSelectWindow = function()
86 { return document
.getElementById("MSearchSelectWindow"); }
88 this.DOMPopupSearchResults = function()
89 { return document
.getElementById("MSearchResults"); }
91 this.DOMPopupSearchResultsWindow = function()
92 { return document
.getElementById("MSearchResultsWindow"); }
94 this.DOMSearchClose = function()
95 { return document
.getElementById("MSearchClose"); }
97 this.DOMSearchBox = function()
98 { return document
.getElementById("MSearchBox"); }
100 // ------------ Event Handlers
102 // Called when focus is added or removed from the search field.
103 this.OnSearchFieldFocus = function(isActive
)
105 this.Activate(isActive
);
108 this.OnSearchSelectShow = function()
110 var searchSelectWindow
= this.DOMSearchSelectWindow();
111 var searchField
= this.DOMSearchSelect();
113 if (this.insideFrame
)
115 var left
= getXPos(searchField
);
116 var top
= getYPos(searchField
);
117 left
+= searchField
.offsetWidth
+ 6;
118 top
+= searchField
.offsetHeight
;
120 // show search selection popup
121 searchSelectWindow
.style
.display
='block';
122 left
-= searchSelectWindow
.offsetWidth
;
123 searchSelectWindow
.style
.left
= left
+ 'px';
124 searchSelectWindow
.style
.top
= top
+ 'px';
128 var left
= getXPos(searchField
);
129 var top
= getYPos(searchField
);
130 top
+= searchField
.offsetHeight
;
132 // show search selection popup
133 searchSelectWindow
.style
.display
='block';
134 searchSelectWindow
.style
.left
= left
+ 'px';
135 searchSelectWindow
.style
.top
= top
+ 'px';
138 // stop selection hide timer
139 if (this.hideTimeout
)
141 clearTimeout(this.hideTimeout
);
144 return false; // to avoid "image drag" default event
147 this.OnSearchSelectHide = function()
149 this.hideTimeout
= setTimeout(this.name
+".CloseSelectionWindow()",
150 this.closeSelectionTimeout
);
153 // Called when the content of the search field is changed.
154 this.OnSearchFieldChange = function(evt
)
156 if (this.keyTimeout
) // kill running timer
158 clearTimeout(this.keyTimeout
);
162 var e
= (evt
) ? evt
: window
.event
; // for IE
163 if (e
.keyCode
==40 || e
.keyCode
==13)
167 this.OnSearchSelectShow();
168 var win
=this.DOMSearchSelectWindow();
169 for (i
=0;i
<win
.childNodes
.length
;i
++)
171 var child
= win
.childNodes
[i
]; // get span within a
172 if (child
.className
=='SelectItem')
180 else if (window
.frames
.MSearchResults
.searchResults
)
182 var elem
= window
.frames
.MSearchResults
.searchResults
.NavNext(0);
183 if (elem
) elem
.focus();
186 else if (e
.keyCode
==27) // Escape out of the search field
188 this.DOMSearchField().blur();
189 this.DOMPopupSearchResultsWindow().style
.display
= 'none';
190 this.DOMSearchClose().style
.display
= 'none';
191 this.lastSearchValue
= '';
192 this.Activate(false);
197 var searchValue
= this.DOMSearchField().value
.replace(/ +/g
, "");
199 if (searchValue
!= this.lastSearchValue
) // search value has changed
201 if (searchValue
!= "") // non-empty search
203 // set timer for search update
204 this.keyTimeout
= setTimeout(this.name
+ '.Search()',
205 this.keyTimeoutLength
);
207 else // empty search field
209 this.DOMPopupSearchResultsWindow().style
.display
= 'none';
210 this.DOMSearchClose().style
.display
= 'none';
211 this.lastSearchValue
= '';
216 this.SelectItemCount = function(id
)
219 var win
=this.DOMSearchSelectWindow();
220 for (i
=0;i
<win
.childNodes
.length
;i
++)
222 var child
= win
.childNodes
[i
]; // get span within a
223 if (child
.className
=='SelectItem')
231 this.SelectItemSet = function(id
)
234 var win
=this.DOMSearchSelectWindow();
235 for (i
=0;i
<win
.childNodes
.length
;i
++)
237 var child
= win
.childNodes
[i
]; // get span within a
238 if (child
.className
=='SelectItem')
240 var node
= child
.firstChild
;
243 node
.innerHTML
='•';
247 node
.innerHTML
=' ';
254 // Called when an search filter selection is made.
255 // set item with index id as the active item
256 this.OnSelectItem = function(id
)
258 this.searchIndex
= id
;
259 this.SelectItemSet(id
);
260 var searchValue
= this.DOMSearchField().value
.replace(/ +/g
, "");
261 if (searchValue
!="" && this.searchActive
) // something was found -> do a search
267 this.OnSearchSelectKey = function(evt
)
269 var e
= (evt
) ? evt
: window
.event
; // for IE
270 if (e
.keyCode
==40 && this.searchIndex
<this.SelectItemCount()) // Down
273 this.OnSelectItem(this.searchIndex
);
275 else if (e
.keyCode
==38 && this.searchIndex
>0) // Up
278 this.OnSelectItem(this.searchIndex
);
280 else if (e
.keyCode
==13 || e
.keyCode
==27)
282 this.OnSelectItem(this.searchIndex
);
283 this.CloseSelectionWindow();
284 this.DOMSearchField().focus();
291 // Closes the results window.
292 this.CloseResultsWindow = function()
294 this.DOMPopupSearchResultsWindow().style
.display
= 'none';
295 this.DOMSearchClose().style
.display
= 'none';
296 this.Activate(false);
299 this.CloseSelectionWindow = function()
301 this.DOMSearchSelectWindow().style
.display
= 'none';
304 // Performs a search.
305 this.Search = function()
309 // strip leading whitespace
310 var searchValue
= this.DOMSearchField().value
.replace(/^ +/, "");
312 var code
= searchValue
.toLowerCase().charCodeAt(0);
313 var idxChar
= searchValue
.substr(0, 1).toLowerCase();
314 if ( 0xD800 <= code
&& code
<= 0xDBFF && searchValue
> 1) // surrogate pair
316 idxChar
= searchValue
.substr(0, 2);
320 var resultsPageWithSearch
;
323 var idx
= indexSectionsWithContent
[this.searchIndex
].indexOf(idxChar
);
326 var hexCode
=idx
.toString(16);
327 resultsPage
= this.resultsPath
+ '/' + indexSectionNames
[this.searchIndex
] + '_' + hexCode
+ '.html';
328 resultsPageWithSearch
= resultsPage
+'?'+escape(searchValue
);
329 hasResultsPage
= true;
331 else // nothing available for this search term
333 resultsPage
= this.resultsPath
+ '/nomatches.html';
334 resultsPageWithSearch
= resultsPage
;
335 hasResultsPage
= false;
338 window
.frames
.MSearchResults
.location
= resultsPageWithSearch
;
339 var domPopupSearchResultsWindow
= this.DOMPopupSearchResultsWindow();
341 if (domPopupSearchResultsWindow
.style
.display
!='block')
343 var domSearchBox
= this.DOMSearchBox();
344 this.DOMSearchClose().style
.display
= 'inline';
345 if (this.insideFrame
)
347 var domPopupSearchResults
= this.DOMPopupSearchResults();
348 domPopupSearchResultsWindow
.style
.position
= 'relative';
349 domPopupSearchResultsWindow
.style
.display
= 'block';
350 var width
= document
.body
.clientWidth
- 8; // the -8 is for IE :-(
351 domPopupSearchResultsWindow
.style
.width
= width
+ 'px';
352 domPopupSearchResults
.style
.width
= width
+ 'px';
356 var domPopupSearchResults
= this.DOMPopupSearchResults();
357 var left
= getXPos(domSearchBox
) + 150; // domSearchBox.offsetWidth;
358 var top
= getYPos(domSearchBox
) + 20; // domSearchBox.offsetHeight + 1;
359 domPopupSearchResultsWindow
.style
.display
= 'block';
360 left
-= domPopupSearchResults
.offsetWidth
;
361 domPopupSearchResultsWindow
.style
.top
= top
+ 'px';
362 domPopupSearchResultsWindow
.style
.left
= left
+ 'px';
366 this.lastSearchValue
= searchValue
;
367 this.lastResultsPage
= resultsPage
;
370 // -------- Activation Functions
372 // Activates or deactivates the search panel, resetting things to
373 // their default values if necessary.
374 this.Activate = function(isActive
)
376 if (isActive
|| // open it
377 this.DOMPopupSearchResultsWindow().style
.display
== 'block'
380 this.DOMSearchBox().className
= 'MSearchBoxActive';
382 var searchField
= this.DOMSearchField();
384 if (searchField
.value
== this.searchLabel
) // clear "Search" term upon entry
386 searchField
.value
= '';
387 this.searchActive
= true;
390 else if (!isActive
) // directly remove the panel
392 this.DOMSearchBox().className
= 'MSearchBoxInactive';
393 this.DOMSearchField().value
= this.searchLabel
;
394 this.searchActive
= false;
395 this.lastSearchValue
= ''
396 this.lastResultsPage
= '';
401 // -----------------------------------------------------------------------
403 // The class that handles everything on the search results page.
404 function SearchResults(name
)
406 // The number of matches from the last run of <Search()>.
407 this.lastMatchCount
= 0;
409 this.repeatOn
= false;
411 // Toggles the visibility of the passed element ID.
412 this.FindChildElement = function(id
)
414 var parentElement
= document
.getElementById(id
);
415 var element
= parentElement
.firstChild
;
417 while (element
&& element
!=parentElement
)
419 if (element
.nodeName
== 'DIV' && element
.className
== 'SRChildren')
424 if (element
.nodeName
== 'DIV' && element
.hasChildNodes())
426 element
= element
.firstChild
;
428 else if (element
.nextSibling
)
430 element
= element
.nextSibling
;
436 element
= element
.parentNode
;
438 while (element
&& element
!=parentElement
&& !element
.nextSibling
);
440 if (element
&& element
!=parentElement
)
442 element
= element
.nextSibling
;
448 this.Toggle = function(id
)
450 var element
= this.FindChildElement(id
);
453 if (element
.style
.display
== 'block')
455 element
.style
.display
= 'none';
459 element
.style
.display
= 'block';
464 // Searches for the passed string. If there is no parameter,
465 // it takes it from the URL query.
467 // Always returns true, since other documents may try to call it
468 // and that may or may not be possible.
469 this.Search = function(search
)
471 if (!search
) // get search word from URL
473 search
= window
.location
.search
;
474 search
= search
.substring(1); // Remove the leading '?'
475 search
= unescape(search
);
478 search
= search
.replace(/^ +/, ""); // strip leading spaces
479 search
= search
.replace(/ +$/, ""); // strip trailing spaces
480 search
= search
.toLowerCase();
481 search
= convertToId(search
);
483 var resultRows
= document
.getElementsByTagName("div");
487 while (i
< resultRows
.length
)
489 var row
= resultRows
.item(i
);
490 if (row
.className
== "SRResult")
492 var rowMatchName
= row
.id
.toLowerCase();
493 rowMatchName
= rowMatchName
.replace(/^sr\d*_/, ''); // strip 'sr123_'
495 if (search
.length
<=rowMatchName
.length
&&
496 rowMatchName
.substr(0, search
.length
)==search
)
498 row
.style
.display
= 'block';
503 row
.style
.display
= 'none';
508 document
.getElementById("Searching").style
.display
='none';
509 if (matches
== 0) // no results
511 document
.getElementById("NoMatches").style
.display
='block';
513 else // at least one result
515 document
.getElementById("NoMatches").style
.display
='none';
517 this.lastMatchCount
= matches
;
521 // return the first item with index index or higher that is visible
522 this.NavNext = function(index
)
527 var focusName
= 'Item'+index
;
528 focusItem
= document
.getElementById(focusName
);
529 if (focusItem
&& focusItem
.parentNode
.parentNode
.style
.display
=='block')
533 else if (!focusItem
) // last element
543 this.NavPrev = function(index
)
548 var focusName
= 'Item'+index
;
549 focusItem
= document
.getElementById(focusName
);
550 if (focusItem
&& focusItem
.parentNode
.parentNode
.style
.display
=='block')
554 else if (!focusItem
) // last element
564 this.ProcessKeys = function(e
)
566 if (e
.type
== "keydown")
568 this.repeatOn
= false;
569 this.lastKey
= e
.keyCode
;
571 else if (e
.type
== "keypress")
575 if (this.lastKey
) this.repeatOn
= true;
576 return false; // ignore first keypress after keydown
579 else if (e
.type
== "keyup")
582 this.repeatOn
= false;
584 return this.lastKey
!=0;
587 this.Nav = function(evt
,itemIndex
)
589 var e
= (evt
) ? evt
: window
.event
; // for IE
590 if (e
.keyCode
==13) return true;
591 if (!this.ProcessKeys(e
)) return false;
593 if (this.lastKey
==38) // Up
595 var newIndex
= itemIndex
-1;
596 var focusItem
= this.NavPrev(newIndex
);
599 var child
= this.FindChildElement(focusItem
.parentNode
.parentNode
.id
);
600 if (child
&& child
.style
.display
== 'block') // children visible
604 while (1) // search for last child
606 tmpElem
= document
.getElementById('Item'+newIndex
+'_c'+n
);
623 else // return focus to search field
625 parent
.document
.getElementById("MSearchField").focus();
628 else if (this.lastKey
==40) // Down
630 var newIndex
= itemIndex
+1;
632 var item
= document
.getElementById('Item'+itemIndex
);
633 var elem
= this.FindChildElement(item
.parentNode
.parentNode
.id
);
634 if (elem
&& elem
.style
.display
== 'block') // children visible
636 focusItem
= document
.getElementById('Item'+itemIndex
+'_c0');
638 if (!focusItem
) focusItem
= this.NavNext(newIndex
);
639 if (focusItem
) focusItem
.focus();
641 else if (this.lastKey
==39) // Right
643 var item
= document
.getElementById('Item'+itemIndex
);
644 var elem
= this.FindChildElement(item
.parentNode
.parentNode
.id
);
645 if (elem
) elem
.style
.display
= 'block';
647 else if (this.lastKey
==37) // Left
649 var item
= document
.getElementById('Item'+itemIndex
);
650 var elem
= this.FindChildElement(item
.parentNode
.parentNode
.id
);
651 if (elem
) elem
.style
.display
= 'none';
653 else if (this.lastKey
==27) // Escape
655 parent
.searchBox
.CloseResultsWindow();
656 parent
.document
.getElementById("MSearchField").focus();
658 else if (this.lastKey
==13) // Enter
665 this.NavChild = function(evt
,itemIndex
,childIndex
)
667 var e
= (evt
) ? evt
: window
.event
; // for IE
668 if (e
.keyCode
==13) return true;
669 if (!this.ProcessKeys(e
)) return false;
671 if (this.lastKey
==38) // Up
675 var newIndex
= childIndex
-1;
676 document
.getElementById('Item'+itemIndex
+'_c'+newIndex
).focus();
678 else // already at first child, jump to parent
680 document
.getElementById('Item'+itemIndex
).focus();
683 else if (this.lastKey
==40) // Down
685 var newIndex
= childIndex
+1;
686 var elem
= document
.getElementById('Item'+itemIndex
+'_c'+newIndex
);
687 if (!elem
) // last child, jump to parent next parent
689 elem
= this.NavNext(itemIndex
+1);
696 else if (this.lastKey
==27) // Escape
698 parent
.searchBox
.CloseResultsWindow();
699 parent
.document
.getElementById("MSearchField").focus();
701 else if (this.lastKey
==13) // Enter
709 function setKeyActions(elem
,action
)
711 elem
.setAttribute('onkeydown',action
);
712 elem
.setAttribute('onkeypress',action
);
713 elem
.setAttribute('onkeyup',action
);
716 function setClassAttr(elem
,attr
)
718 elem
.setAttribute('class',attr
);
719 elem
.setAttribute('className',attr
);
722 function createResults()
724 var results
= document
.getElementById("SRResults");
725 for (var e
=0; e
<searchData
.length
; e
++)
727 var id
= searchData
[e
][0];
728 var srResult
= document
.createElement('div');
729 srResult
.setAttribute('id','SR_'+id
);
730 setClassAttr(srResult
,'SRResult');
731 var srEntry
= document
.createElement('div');
732 setClassAttr(srEntry
,'SREntry');
733 var srLink
= document
.createElement('a');
734 srLink
.setAttribute('id','Item'+e
);
735 setKeyActions(srLink
,'return searchResults.Nav(event,'+e
+')');
736 setClassAttr(srLink
,'SRSymbol');
737 srLink
.innerHTML
= searchData
[e
][1][0];
738 srEntry
.appendChild(srLink
);
739 if (searchData
[e
][1].length
==2) // single result
741 srLink
.setAttribute('href',searchData
[e
][1][1][0]);
742 if (searchData
[e
][1][1][1])
744 srLink
.setAttribute('target','_parent');
746 var srScope
= document
.createElement('span');
747 setClassAttr(srScope
,'SRScope');
748 srScope
.innerHTML
= searchData
[e
][1][1][2];
749 srEntry
.appendChild(srScope
);
751 else // multiple results
753 srLink
.setAttribute('href','javascript:searchResults.Toggle("SR_'+id
+'")');
754 var srChildren
= document
.createElement('div');
755 setClassAttr(srChildren
,'SRChildren');
756 for (var c
=0; c
<searchData
[e
][1].length
-1; c
++)
758 var srChild
= document
.createElement('a');
759 srChild
.setAttribute('id','Item'+e
+'_c'+c
);
760 setKeyActions(srChild
,'return searchResults.NavChild(event,'+e
+','+c
+')');
761 setClassAttr(srChild
,'SRScope');
762 srChild
.setAttribute('href',searchData
[e
][1][c
+1][0]);
763 if (searchData
[e
][1][c
+1][1])
765 srChild
.setAttribute('target','_parent');
767 srChild
.innerHTML
= searchData
[e
][1][c
+1][2];
768 srChildren
.appendChild(srChild
);
770 srEntry
.appendChild(srChildren
);
772 srResult
.appendChild(srEntry
);
773 results
.appendChild(srResult
);
777 function init_search()
779 var results
= document
.getElementById("MSearchSelectWindow");
780 for (var key
in indexSectionLabels
)
782 var link
= document
.createElement('a');
783 link
.setAttribute('class','SelectItem');
784 link
.setAttribute('onclick','searchBox.OnSelectItem('+key
+')');
785 link
.href
='javascript:void(0)';
786 link
.innerHTML
='<span class="SelectionMark"> </span>'+indexSectionLabels
[key
];
787 results
.appendChild(link
);
789 searchBox
.OnSelectItem(0);