2015-11-17 23:38:25 +01:00
/ *
2019-12-30 18:31:17 +01:00
* searchtools . js
2015-11-17 23:38:25 +01:00
* ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~
*
2016-07-09 21:55:17 +02:00
* Sphinx JavaScript utilities for the full - text search .
2015-11-17 23:38:25 +01:00
*
2021-02-24 13:55:43 +01:00
* : copyright : Copyright 2007 - 2021 by the Sphinx team , see AUTHORS .
2015-11-17 23:38:25 +01:00
* : license : BSD , see LICENSE for details .
*
* /
2019-12-30 18:31:17 +01:00
if ( ! Scorer ) {
/ * *
* Simple result scoring code .
* /
var Scorer = {
// Implement the following function to further tweak the score for each result
// The function takes a result array [filename, title, anchor, descr, score]
// and returns the new score.
/ *
score : function ( result ) {
return result [ 4 ] ;
} ,
* /
// query matches the full name of an object
objNameMatch : 11 ,
// or matches in the last dotted part of the object name
objPartialMatch : 6 ,
// Additive scores depending on the priority of the object
objPrio : { 0 : 15 , // used to be importantResults
1 : 5 , // used to be objectResults
2 : - 5 } , // used to be unimportantResults
// Used when the priority is not in the mapping.
objPrioDefault : 0 ,
// query found in title
title : 15 ,
partialTitle : 7 ,
// query found in terms
term : 5 ,
partialTerm : 2
2015-11-17 23:38:25 +01:00
} ;
}
2019-12-30 18:31:17 +01:00
if ( ! splitQuery ) {
function splitQuery ( query ) {
return query . split ( /\s+/ ) ;
}
2017-06-12 12:34:30 +02:00
}
2015-11-17 23:38:25 +01:00
/ * *
* Search Module
* /
var Search = {
_index : null ,
_queued _query : null ,
_pulse _status : - 1 ,
2019-12-30 18:31:17 +01:00
htmlToText : function ( htmlString ) {
2021-01-05 16:45:49 +01:00
var virtualDocument = document . implementation . createHTMLDocument ( 'virtual' ) ;
var htmlElement = $ ( htmlString , virtualDocument ) ;
htmlElement . find ( '.headerlink' ) . remove ( ) ;
docContent = htmlElement . find ( '[role=main]' ) [ 0 ] ;
2020-03-05 22:30:31 +01:00
if ( docContent === undefined ) {
console . warn ( "Content block not found. Sphinx search tries to obtain it " +
"via '[role=main]'. Could you check your theme or template." ) ;
return "" ;
}
2019-12-30 18:31:17 +01:00
return docContent . textContent || docContent . innerText ;
} ,
2015-11-17 23:38:25 +01:00
init : function ( ) {
var params = $ . getQueryParameters ( ) ;
if ( params . q ) {
var query = params . q [ 0 ] ;
$ ( 'input[name="q"]' ) [ 0 ] . value = query ;
this . performSearch ( query ) ;
}
} ,
loadIndex : function ( url ) {
$ . ajax ( { type : "GET" , url : url , data : null ,
dataType : "script" , cache : true ,
complete : function ( jqxhr , textstatus ) {
if ( textstatus != "success" ) {
document . getElementById ( "searchindexloader" ) . src = url ;
}
} } ) ;
} ,
setIndex : function ( index ) {
var q ;
this . _index = index ;
if ( ( q = this . _queued _query ) !== null ) {
this . _queued _query = null ;
Search . query ( q ) ;
}
} ,
hasIndex : function ( ) {
return this . _index !== null ;
} ,
deferQuery : function ( query ) {
this . _queued _query = query ;
} ,
stopPulse : function ( ) {
this . _pulse _status = 0 ;
} ,
startPulse : function ( ) {
if ( this . _pulse _status >= 0 )
return ;
function pulse ( ) {
var i ;
Search . _pulse _status = ( Search . _pulse _status + 1 ) % 4 ;
var dotString = '' ;
for ( i = 0 ; i < Search . _pulse _status ; i ++ )
dotString += '.' ;
Search . dots . text ( dotString ) ;
if ( Search . _pulse _status > - 1 )
window . setTimeout ( pulse , 500 ) ;
}
pulse ( ) ;
} ,
/ * *
* perform a search for something ( or wait until index is loaded )
* /
performSearch : function ( query ) {
// create the required interface elements
this . out = $ ( '#search-results' ) ;
this . title = $ ( '<h2>' + _ ( 'Searching' ) + '</h2>' ) . appendTo ( this . out ) ;
this . dots = $ ( '<span></span>' ) . appendTo ( this . title ) ;
2019-12-30 18:31:17 +01:00
this . status = $ ( '<p class="search-summary"> </p>' ) . appendTo ( this . out ) ;
2015-11-17 23:38:25 +01:00
this . output = $ ( '<ul class="search"/>' ) . appendTo ( this . out ) ;
$ ( '#search-progress' ) . text ( _ ( 'Preparing search...' ) ) ;
this . startPulse ( ) ;
// index already loaded, the browser was quick!
if ( this . hasIndex ( ) )
this . query ( query ) ;
else
this . deferQuery ( query ) ;
} ,
/ * *
* execute search ( requires search index to be loaded )
* /
query : function ( query ) {
var i ;
// stem the searchterms and add them to the correct list
var stemmer = new Stemmer ( ) ;
var searchterms = [ ] ;
var excluded = [ ] ;
var hlterms = [ ] ;
2017-06-12 12:34:30 +02:00
var tmp = splitQuery ( query ) ;
2015-11-17 23:38:25 +01:00
var objectterms = [ ] ;
for ( i = 0 ; i < tmp . length ; i ++ ) {
if ( tmp [ i ] !== "" ) {
objectterms . push ( tmp [ i ] . toLowerCase ( ) ) ;
}
2020-09-30 10:35:05 +02:00
if ( $u . indexOf ( stopwords , tmp [ i ] . toLowerCase ( ) ) != - 1 || tmp [ i ] === "" ) {
2015-11-17 23:38:25 +01:00
// skip this "word"
continue ;
}
// stem the word
var word = stemmer . stemWord ( tmp [ i ] . toLowerCase ( ) ) ;
2017-06-12 12:34:30 +02:00
// prevent stemmer from cutting word smaller than two chars
if ( word . length < 3 && tmp [ i ] . length >= 3 ) {
word = tmp [ i ] ;
}
2015-11-17 23:38:25 +01:00
var toAppend ;
// select the correct list
if ( word [ 0 ] == '-' ) {
toAppend = excluded ;
word = word . substr ( 1 ) ;
}
else {
toAppend = searchterms ;
hlterms . push ( tmp [ i ] . toLowerCase ( ) ) ;
}
// only add if not already in the list
if ( ! $u . contains ( toAppend , word ) )
toAppend . push ( word ) ;
}
var highlightstring = '?highlight=' + $ . urlencode ( hlterms . join ( " " ) ) ;
// console.debug('SEARCH: searching for:');
// console.info('required: ', searchterms);
// console.info('excluded: ', excluded);
// prepare search
var terms = this . _index . terms ;
var titleterms = this . _index . titleterms ;
// array of [filename, title, anchor, descr, score]
var results = [ ] ;
$ ( '#search-progress' ) . empty ( ) ;
// lookup as object
for ( i = 0 ; i < objectterms . length ; i ++ ) {
var others = [ ] . concat ( objectterms . slice ( 0 , i ) ,
objectterms . slice ( i + 1 , objectterms . length ) ) ;
results = results . concat ( this . performObjectSearch ( objectterms [ i ] , others ) ) ;
}
// lookup as search terms in fulltext
2016-01-21 16:25:40 +01:00
results = results . concat ( this . performTermsSearch ( searchterms , excluded , terms , titleterms ) ) ;
2015-11-17 23:38:25 +01:00
// let the scorer override scores with a custom scoring function
if ( Scorer . score ) {
for ( i = 0 ; i < results . length ; i ++ )
results [ i ] [ 4 ] = Scorer . score ( results [ i ] ) ;
}
// now sort the results by score (in opposite order of appearance, since the
// display function below uses pop() to retrieve items) and then
// alphabetically
results . sort ( function ( a , b ) {
var left = a [ 4 ] ;
var right = b [ 4 ] ;
if ( left > right ) {
return 1 ;
} else if ( left < right ) {
return - 1 ;
} else {
// same score: sort alphabetically
left = a [ 1 ] . toLowerCase ( ) ;
right = b [ 1 ] . toLowerCase ( ) ;
return ( left > right ) ? - 1 : ( ( left < right ) ? 1 : 0 ) ;
}
} ) ;
// for debugging
//Search.lastresults = results.slice(); // a copy
//console.info('search results:', Search.lastresults);
// print the results
var resultCount = results . length ;
function displayNextItem ( ) {
// results left, load the summary and display it
if ( results . length ) {
var item = results . pop ( ) ;
2021-02-24 13:55:43 +01:00
var listItem = $ ( '<li></li>' ) ;
2020-03-05 22:30:31 +01:00
var requestUrl = "" ;
2020-06-19 11:15:15 +02:00
var linkUrl = "" ;
2019-12-30 18:31:17 +01:00
if ( DOCUMENTATION _OPTIONS . BUILDER === 'dirhtml' ) {
2015-11-17 23:38:25 +01:00
// dirhtml builder
var dirname = item [ 0 ] + '/' ;
if ( dirname . match ( /\/index\/$/ ) ) {
dirname = dirname . substring ( 0 , dirname . length - 6 ) ;
} else if ( dirname == 'index/' ) {
dirname = '' ;
}
2020-03-05 22:30:31 +01:00
requestUrl = DOCUMENTATION _OPTIONS . URL _ROOT + dirname ;
2020-06-19 11:15:15 +02:00
linkUrl = requestUrl ;
2020-03-05 22:30:31 +01:00
2015-11-17 23:38:25 +01:00
} else {
// normal html builders
2020-03-05 22:30:31 +01:00
requestUrl = DOCUMENTATION _OPTIONS . URL _ROOT + item [ 0 ] + DOCUMENTATION _OPTIONS . FILE _SUFFIX ;
2020-06-19 11:15:15 +02:00
linkUrl = item [ 0 ] + DOCUMENTATION _OPTIONS . LINK _SUFFIX ;
2015-11-17 23:38:25 +01:00
}
2020-03-05 22:30:31 +01:00
listItem . append ( $ ( '<a/>' ) . attr ( 'href' ,
2020-06-19 11:15:15 +02:00
linkUrl +
2020-03-05 22:30:31 +01:00
highlightstring + item [ 2 ] ) . html ( item [ 1 ] ) ) ;
2015-11-17 23:38:25 +01:00
if ( item [ 3 ] ) {
listItem . append ( $ ( '<span> (' + item [ 3 ] + ')</span>' ) ) ;
Search . output . append ( listItem ) ;
2021-02-24 13:55:43 +01:00
setTimeout ( function ( ) {
2015-11-17 23:38:25 +01:00
displayNextItem ( ) ;
2021-02-24 13:55:43 +01:00
} , 5 ) ;
2015-11-17 23:38:25 +01:00
} else if ( DOCUMENTATION _OPTIONS . HAS _SOURCE ) {
2020-03-05 22:30:31 +01:00
$ . ajax ( { url : requestUrl ,
2015-11-17 23:38:25 +01:00
dataType : "text" ,
complete : function ( jqxhr , textstatus ) {
var data = jqxhr . responseText ;
if ( data !== '' && data !== undefined ) {
listItem . append ( Search . makeSearchSummary ( data , searchterms , hlterms ) ) ;
}
Search . output . append ( listItem ) ;
2021-02-24 13:55:43 +01:00
setTimeout ( function ( ) {
2015-11-17 23:38:25 +01:00
displayNextItem ( ) ;
2021-02-24 13:55:43 +01:00
} , 5 ) ;
2015-11-17 23:38:25 +01:00
} } ) ;
} else {
// no source available, just display title
Search . output . append ( listItem ) ;
2021-02-24 13:55:43 +01:00
setTimeout ( function ( ) {
2015-11-17 23:38:25 +01:00
displayNextItem ( ) ;
2021-02-24 13:55:43 +01:00
} , 5 ) ;
2015-11-17 23:38:25 +01:00
}
}
// search finished, update title and status message
else {
Search . stopPulse ( ) ;
Search . title . text ( _ ( 'Search Results' ) ) ;
if ( ! resultCount )
Search . status . text ( _ ( 'Your search did not match any documents. Please make sure that all words are spelled correctly and that you\'ve selected enough categories.' ) ) ;
else
Search . status . text ( _ ( 'Search finished, found %s page(s) matching the search query.' ) . replace ( '%s' , resultCount ) ) ;
Search . status . fadeIn ( 500 ) ;
}
}
displayNextItem ( ) ;
} ,
/ * *
* search for object names
* /
performObjectSearch : function ( object , otherterms ) {
var filenames = this . _index . filenames ;
2017-06-12 12:34:30 +02:00
var docnames = this . _index . docnames ;
2015-11-17 23:38:25 +01:00
var objects = this . _index . objects ;
var objnames = this . _index . objnames ;
var titles = this . _index . titles ;
var i ;
var results = [ ] ;
for ( var prefix in objects ) {
for ( var name in objects [ prefix ] ) {
var fullname = ( prefix ? prefix + '.' : '' ) + name ;
2019-12-30 18:31:17 +01:00
var fullnameLower = fullname . toLowerCase ( )
if ( fullnameLower . indexOf ( object ) > - 1 ) {
2015-11-17 23:38:25 +01:00
var score = 0 ;
2019-12-30 18:31:17 +01:00
var parts = fullnameLower . split ( '.' ) ;
2015-11-17 23:38:25 +01:00
// check for different match types: exact matches of full name or
// "last name" (i.e. last dotted part)
2019-12-30 18:31:17 +01:00
if ( fullnameLower == object || parts [ parts . length - 1 ] == object ) {
2015-11-17 23:38:25 +01:00
score += Scorer . objNameMatch ;
// matches in last name
} else if ( parts [ parts . length - 1 ] . indexOf ( object ) > - 1 ) {
score += Scorer . objPartialMatch ;
}
var match = objects [ prefix ] [ name ] ;
var objname = objnames [ match [ 1 ] ] [ 2 ] ;
var title = titles [ match [ 0 ] ] ;
// If more than one term searched for, we require other words to be
// found in the name/title/description
if ( otherterms . length > 0 ) {
var haystack = ( prefix + ' ' + name + ' ' +
objname + ' ' + title ) . toLowerCase ( ) ;
var allfound = true ;
for ( i = 0 ; i < otherterms . length ; i ++ ) {
if ( haystack . indexOf ( otherterms [ i ] ) == - 1 ) {
allfound = false ;
break ;
}
}
if ( ! allfound ) {
continue ;
}
}
var descr = objname + _ ( ', in ' ) + title ;
var anchor = match [ 3 ] ;
if ( anchor === '' )
anchor = fullname ;
else if ( anchor == '-' )
anchor = objnames [ match [ 1 ] ] [ 1 ] + '-' + fullname ;
// add custom score for some objects according to scorer
if ( Scorer . objPrio . hasOwnProperty ( match [ 2 ] ) ) {
score += Scorer . objPrio [ match [ 2 ] ] ;
} else {
score += Scorer . objPrioDefault ;
}
2017-06-12 12:34:30 +02:00
results . push ( [ docnames [ match [ 0 ] ] , fullname , '#' + anchor , descr , score , filenames [ match [ 0 ] ] ] ) ;
2015-11-17 23:38:25 +01:00
}
}
}
return results ;
} ,
2021-02-24 13:55:43 +01:00
/ * *
* See https : //developer.mozilla.org/en-US/docs/Web/JavaScript/Guide/Regular_Expressions
* /
escapeRegExp : function ( string ) {
return string . replace ( /[.*+\-?^${}()|[\]\\]/g , '\\$&' ) ; // $& means the whole matched string
} ,
2015-11-17 23:38:25 +01:00
/ * *
* search for full - text terms in the index
* /
2016-01-21 16:25:40 +01:00
performTermsSearch : function ( searchterms , excluded , terms , titleterms ) {
2017-06-12 12:34:30 +02:00
var docnames = this . _index . docnames ;
2015-11-17 23:38:25 +01:00
var filenames = this . _index . filenames ;
var titles = this . _index . titles ;
2016-01-21 16:25:40 +01:00
var i , j , file ;
2015-11-17 23:38:25 +01:00
var fileMap = { } ;
2016-01-21 16:25:40 +01:00
var scoreMap = { } ;
2015-11-17 23:38:25 +01:00
var results = [ ] ;
// perform the search on the required terms
for ( i = 0 ; i < searchterms . length ; i ++ ) {
var word = searchterms [ i ] ;
2016-01-21 16:25:40 +01:00
var files = [ ] ;
var _o = [
{ files : terms [ word ] , score : Scorer . term } ,
{ files : titleterms [ word ] , score : Scorer . title }
] ;
2019-12-30 18:31:17 +01:00
// add support for partial matches
if ( word . length > 2 ) {
2021-02-24 13:55:43 +01:00
var word _regex = this . escapeRegExp ( word ) ;
2019-12-30 18:31:17 +01:00
for ( var w in terms ) {
2021-02-24 13:55:43 +01:00
if ( w . match ( word _regex ) && ! terms [ word ] ) {
2019-12-30 18:31:17 +01:00
_o . push ( { files : terms [ w ] , score : Scorer . partialTerm } )
}
}
for ( var w in titleterms ) {
2021-02-24 13:55:43 +01:00
if ( w . match ( word _regex ) && ! titleterms [ word ] ) {
2019-12-30 18:31:17 +01:00
_o . push ( { files : titleterms [ w ] , score : Scorer . partialTitle } )
}
}
}
2016-01-21 16:25:40 +01:00
2015-11-17 23:38:25 +01:00
// no match but word was a required one
2016-01-21 16:25:40 +01:00
if ( $u . every ( _o , function ( o ) { return o . files === undefined ; } ) ) {
2015-11-17 23:38:25 +01:00
break ;
}
2016-01-21 16:25:40 +01:00
// found search word in contents
$u . each ( _o , function ( o ) {
var _files = o . files ;
if ( _files === undefined )
return
if ( _files . length === undefined )
_files = [ _files ] ;
files = files . concat ( _files ) ;
// set score for the word in each file to Scorer.term
for ( j = 0 ; j < _files . length ; j ++ ) {
file = _files [ j ] ;
if ( ! ( file in scoreMap ) )
2019-12-30 18:31:17 +01:00
scoreMap [ file ] = { } ;
2016-01-21 16:25:40 +01:00
scoreMap [ file ] [ word ] = o . score ;
}
} ) ;
2015-11-17 23:38:25 +01:00
// create the mapping
for ( j = 0 ; j < files . length ; j ++ ) {
file = files [ j ] ;
2019-12-30 18:31:17 +01:00
if ( file in fileMap && fileMap [ file ] . indexOf ( word ) === - 1 )
2015-11-17 23:38:25 +01:00
fileMap [ file ] . push ( word ) ;
else
fileMap [ file ] = [ word ] ;
}
}
// now check if the files don't contain excluded terms
for ( file in fileMap ) {
var valid = true ;
// check if all requirements are matched
2019-12-30 18:31:17 +01:00
var filteredTermCount = // as search terms with length < 3 are discarded: ignore
searchterms . filter ( function ( term ) { return term . length > 2 } ) . length
if (
fileMap [ file ] . length != searchterms . length &&
fileMap [ file ] . length != filteredTermCount
) continue ;
2015-11-17 23:38:25 +01:00
// ensure that none of the excluded terms is in the search result
for ( i = 0 ; i < excluded . length ; i ++ ) {
if ( terms [ excluded [ i ] ] == file ||
2016-01-21 16:25:40 +01:00
titleterms [ excluded [ i ] ] == file ||
$u . contains ( terms [ excluded [ i ] ] || [ ] , file ) ||
$u . contains ( titleterms [ excluded [ i ] ] || [ ] , file ) ) {
2015-11-17 23:38:25 +01:00
valid = false ;
break ;
}
}
// if we have still a valid result we can add it to the result list
if ( valid ) {
2016-01-21 16:25:40 +01:00
// select one (max) score for the file.
// for better ranking, we should calculate ranking by using words statistics like basic tf-idf...
var score = $u . max ( $u . map ( fileMap [ file ] , function ( w ) { return scoreMap [ file ] [ w ] } ) ) ;
2017-06-12 12:34:30 +02:00
results . push ( [ docnames [ file ] , titles [ file ] , '' , null , score , filenames [ file ] ] ) ;
2015-11-17 23:38:25 +01:00
}
}
return results ;
} ,
/ * *
* helper function to return a node containing the
* search summary for a given text . keywords is a list
* of stemmed words , hlwords is the list of normal , unstemmed
2016-07-09 21:55:17 +02:00
* words . the first one is used to find the occurrence , the
2015-11-17 23:38:25 +01:00
* latter for highlighting it .
* /
2019-12-30 18:31:17 +01:00
makeSearchSummary : function ( htmlText , keywords , hlwords ) {
var text = Search . htmlToText ( htmlText ) ;
2015-11-17 23:38:25 +01:00
var textLower = text . toLowerCase ( ) ;
var start = 0 ;
$ . each ( keywords , function ( ) {
var i = textLower . indexOf ( this . toLowerCase ( ) ) ;
if ( i > - 1 )
start = i ;
} ) ;
start = Math . max ( start - 120 , 0 ) ;
var excerpt = ( ( start > 0 ) ? '...' : '' ) +
$ . trim ( text . substr ( start , 240 ) ) +
( ( start + 240 - text . length ) ? '...' : '' ) ;
var rv = $ ( '<div class="context"></div>' ) . text ( excerpt ) ;
$ . each ( hlwords , function ( ) {
rv = rv . highlightText ( this , 'highlighted' ) ;
} ) ;
return rv ;
}
} ;
$ ( document ) . ready ( function ( ) {
Search . init ( ) ;
2019-12-30 18:31:17 +01:00
} ) ;