2024-05-29 17:40:11 +00:00
|
|
|
/*
|
|
|
|
@licstart The following is the entire license notice for the JavaScript code in this file.
|
|
|
|
|
|
|
|
The MIT License (MIT)
|
|
|
|
|
|
|
|
Copyright (C) 1997-2020 by Dimitri van Heesch
|
|
|
|
|
|
|
|
Permission is hereby granted, free of charge, to any person obtaining a copy of this software
|
|
|
|
and associated documentation files (the "Software"), to deal in the Software without restriction,
|
|
|
|
including without limitation the rights to use, copy, modify, merge, publish, distribute,
|
|
|
|
sublicense, and/or sell copies of the Software, and to permit persons to whom the Software is
|
|
|
|
furnished to do so, subject to the following conditions:
|
|
|
|
|
|
|
|
The above copyright notice and this permission notice shall be included in all copies or
|
|
|
|
substantial portions of the Software.
|
|
|
|
|
|
|
|
THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR IMPLIED, INCLUDING
|
|
|
|
BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND
|
|
|
|
NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM,
|
|
|
|
DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
|
|
|
|
OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.
|
|
|
|
|
|
|
|
@licend The above is the entire license notice for the JavaScript code in this file
|
|
|
|
*/
|
|
|
|
function SearchBox(name, resultsPath, extension)
|
|
|
|
{
|
|
|
|
this.DOMSearchField = function()
|
|
|
|
{ return document.getElementById("MSearchField"); }
|
|
|
|
this.DOMSearchBox = function()
|
|
|
|
{ return document.getElementById("MSearchBox"); }
|
|
|
|
this.OnSearchFieldFocus = function(isActive)
|
|
|
|
{
|
2024-05-30 15:18:28 +00:00
|
|
|
if (isActive)
|
2024-05-29 17:40:11 +00:00
|
|
|
{
|
|
|
|
this.DOMSearchBox().className = 'MSearchBoxActive';
|
|
|
|
}
|
2024-05-30 15:18:28 +00:00
|
|
|
else
|
2024-05-29 17:40:11 +00:00
|
|
|
{
|
|
|
|
this.DOMSearchBox().className = 'MSearchBoxInactive';
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2024-05-30 15:18:28 +00:00
|
|
|
function trim(s) {
|
|
|
|
return s?s.replace(/^\s\s*/, '').replace(/\s\s*$/, ''):'';
|
|
|
|
}
|
2024-05-29 17:40:11 +00:00
|
|
|
|
2024-05-30 15:18:28 +00:00
|
|
|
function getURLParameter(name) {
|
|
|
|
return decodeURIComponent((new RegExp('[?|&]'+name+
|
|
|
|
'='+'([^&;]+?)(&|#|;|$)').exec(location.search)
|
|
|
|
||[,""])[1].replace(/\+/g, '%20'))||null;
|
|
|
|
}
|
2024-05-29 17:40:11 +00:00
|
|
|
|
2024-05-30 15:18:28 +00:00
|
|
|
var entityMap = {
|
|
|
|
"&": "&",
|
|
|
|
"<": "<",
|
|
|
|
">": ">",
|
|
|
|
'"': '"',
|
|
|
|
"'": ''',
|
|
|
|
"/": '/'
|
|
|
|
};
|
|
|
|
|
|
|
|
function escapeHtml(s) {
|
|
|
|
return String(s).replace(/[&<>"'\/]/g, function (s) {
|
|
|
|
return entityMap[s];
|
|
|
|
});
|
|
|
|
}
|
2024-05-29 17:40:11 +00:00
|
|
|
|
2024-05-30 15:18:28 +00:00
|
|
|
function searchFor(query,page,count) {
|
|
|
|
$.getJSON(serverUrl+"?cb=?",
|
|
|
|
{
|
|
|
|
n:count,
|
|
|
|
p:page,
|
|
|
|
q:query
|
|
|
|
},
|
|
|
|
function(data) {
|
|
|
|
var results = $('#searchresults');
|
|
|
|
$('#MSearchField').val(query);
|
|
|
|
if (data.hits>0) {
|
|
|
|
if (data.hits==1) {
|
|
|
|
results.html('<p>'+searchResultsText[1]+'</p>');
|
|
|
|
} else {
|
|
|
|
results.html('<p>'+searchResultsText[2].replace(/\$num/,data.hits)+'</p>');
|
|
|
|
}
|
|
|
|
var r='<table>';
|
|
|
|
$.each(data.items, function(i,item){
|
|
|
|
var prefix = tagMap[item.tag];
|
|
|
|
if (prefix) prefix+='/'; else prefix='';
|
|
|
|
r+='<tr class="searchresult">'+
|
|
|
|
'<td align="right">'+(data.first+i+1)+'.</td>'+
|
|
|
|
'<td>'+escapeHtml(item.type)+' '+
|
|
|
|
'<a href="'+escapeHtml(prefix+item.url)+
|
|
|
|
'">'+escapeHtml(item.name)+'</a>';
|
|
|
|
if (item.type=="source") {
|
|
|
|
var l=item.url.match(/[1-9][0-9]*$/);
|
|
|
|
if (l) r+=' at line '+parseInt(l[0]);
|
2024-05-29 17:40:11 +00:00
|
|
|
}
|
2024-05-30 15:18:28 +00:00
|
|
|
r+='</td>';
|
|
|
|
for (var i=0;i<item.fragments.length;i++)
|
2024-05-29 17:40:11 +00:00
|
|
|
{
|
2024-05-30 15:18:28 +00:00
|
|
|
r+='<tr><td></td><td>'+item.fragments[i]+'</td></tr>';
|
2024-05-29 17:40:11 +00:00
|
|
|
}
|
2024-05-30 15:18:28 +00:00
|
|
|
r+='</tr>';
|
|
|
|
});
|
|
|
|
r+='</table>';
|
|
|
|
if (data.pages>1) // write multi page navigation bar
|
|
|
|
{
|
|
|
|
r+='<div class="searchpages">';
|
|
|
|
if (data.page>0)
|
2024-05-29 17:40:11 +00:00
|
|
|
{
|
2024-05-30 15:18:28 +00:00
|
|
|
r+='<span class="pages"><a href="javascript:searchFor(\''+escapeHtml(query)+'\','+(page-1).toString()+','+count.toString()+')">«</a></span> ';
|
2024-05-29 17:40:11 +00:00
|
|
|
}
|
2024-05-30 15:18:28 +00:00
|
|
|
var firstPage = data.page-5;
|
|
|
|
var lastPage = data.page+5;
|
|
|
|
if (firstPage<0)
|
2024-05-29 17:40:11 +00:00
|
|
|
{
|
2024-05-30 15:18:28 +00:00
|
|
|
lastPage-=firstPage;
|
|
|
|
firstPage=0;
|
2024-05-29 17:40:11 +00:00
|
|
|
}
|
2024-05-30 15:18:28 +00:00
|
|
|
if (lastPage>data.pages)
|
2024-05-29 17:40:11 +00:00
|
|
|
{
|
2024-05-30 15:18:28 +00:00
|
|
|
lastPage=data.pages;
|
2024-05-29 17:40:11 +00:00
|
|
|
}
|
2024-05-30 15:18:28 +00:00
|
|
|
for(var i=firstPage;i<lastPage;i++)
|
2024-05-29 17:40:11 +00:00
|
|
|
{
|
2024-05-30 15:18:28 +00:00
|
|
|
if (i==data.page)
|
2024-05-29 17:40:11 +00:00
|
|
|
{
|
2024-05-30 15:18:28 +00:00
|
|
|
r+='<span class="pages"><b>'+(i+1).toString()+'</b></span> ';
|
2024-05-29 17:40:11 +00:00
|
|
|
}
|
|
|
|
else
|
|
|
|
{
|
2024-05-30 15:18:28 +00:00
|
|
|
r+='<span class="pages"><a href="javascript:searchFor(\''+escapeHtml(query)+'\','+i.toString()+','+count.toString()+')">'+(i+1).toString()+'</a></span> ';
|
2024-05-29 17:40:11 +00:00
|
|
|
}
|
|
|
|
}
|
2024-05-30 15:18:28 +00:00
|
|
|
if (data.page+1<data.pages)
|
2024-05-29 17:40:11 +00:00
|
|
|
{
|
2024-05-30 15:18:28 +00:00
|
|
|
r+='<span class="pages"><a href="javascript:searchFor(\''+escapeHtml(query)+'\','+(page+1).toString()+','+count.toString()+')">»</a></span>';
|
2024-05-29 17:40:11 +00:00
|
|
|
}
|
2024-05-30 15:18:28 +00:00
|
|
|
r+='</div>';
|
2024-05-29 17:40:11 +00:00
|
|
|
}
|
2024-05-30 15:18:28 +00:00
|
|
|
results.append(r);
|
|
|
|
} else {
|
|
|
|
results.html('<p>'+searchResultsText[0]+'</p>');
|
2024-05-29 17:40:11 +00:00
|
|
|
}
|
2024-05-30 15:18:28 +00:00
|
|
|
});
|
2024-05-29 17:40:11 +00:00
|
|
|
}
|
|
|
|
/* @license-end */
|