Jenkins/_build/html/_static/searchtools.js
author Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
Fri, 12 Jan 2018 14:16:17 +0100
changeset 4 633ec114762a
permissions -rw-r--r--
Initial commit for Jenkins Docs
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
4
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
     1
/*
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
     2
 * searchtools.js_t
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
     3
 * ~~~~~~~~~~~~~~~~
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
     4
 *
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
     5
 * Sphinx JavaScript utilities for the full-text search.
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
     6
 *
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
     7
 * :copyright: Copyright 2007-2016 by the Sphinx team, see AUTHORS.
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
     8
 * :license: BSD, see LICENSE for details.
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
     9
 *
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
    10
 */
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
    11
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
    12
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
    13
/* Non-minified version JS is _stemmer.js if file is provided */ 
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
    14
/**
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
    15
 * Porter Stemmer
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
    16
 */
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
    17
var Stemmer = function() {
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
    18
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
    19
  var step2list = {
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
    20
    ational: 'ate',
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
    21
    tional: 'tion',
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
    22
    enci: 'ence',
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
    23
    anci: 'ance',
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
    24
    izer: 'ize',
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
    25
    bli: 'ble',
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
    26
    alli: 'al',
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
    27
    entli: 'ent',
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
    28
    eli: 'e',
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
    29
    ousli: 'ous',
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
    30
    ization: 'ize',
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
    31
    ation: 'ate',
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
    32
    ator: 'ate',
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
    33
    alism: 'al',
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
    34
    iveness: 'ive',
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
    35
    fulness: 'ful',
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
    36
    ousness: 'ous',
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
    37
    aliti: 'al',
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
    38
    iviti: 'ive',
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
    39
    biliti: 'ble',
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
    40
    logi: 'log'
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
    41
  };
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
    42
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
    43
  var step3list = {
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
    44
    icate: 'ic',
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
    45
    ative: '',
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
    46
    alize: 'al',
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
    47
    iciti: 'ic',
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
    48
    ical: 'ic',
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
    49
    ful: '',
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
    50
    ness: ''
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
    51
  };
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
    52
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
    53
  var c = "[^aeiou]";          // consonant
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
    54
  var v = "[aeiouy]";          // vowel
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
    55
  var C = c + "[^aeiouy]*";    // consonant sequence
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
    56
  var V = v + "[aeiou]*";      // vowel sequence
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
    57
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
    58
  var mgr0 = "^(" + C + ")?" + V + C;                      // [C]VC... is m>0
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
    59
  var meq1 = "^(" + C + ")?" + V + C + "(" + V + ")?$";    // [C]VC[V] is m=1
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
    60
  var mgr1 = "^(" + C + ")?" + V + C + V + C;              // [C]VCVC... is m>1
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
    61
  var s_v   = "^(" + C + ")?" + v;                         // vowel in stem
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
    62
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
    63
  this.stemWord = function (w) {
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
    64
    var stem;
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
    65
    var suffix;
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
    66
    var firstch;
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
    67
    var origword = w;
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
    68
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
    69
    if (w.length < 3)
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
    70
      return w;
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
    71
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
    72
    var re;
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
    73
    var re2;
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
    74
    var re3;
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
    75
    var re4;
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
    76
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
    77
    firstch = w.substr(0,1);
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
    78
    if (firstch == "y")
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
    79
      w = firstch.toUpperCase() + w.substr(1);
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
    80
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
    81
    // Step 1a
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
    82
    re = /^(.+?)(ss|i)es$/;
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
    83
    re2 = /^(.+?)([^s])s$/;
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
    84
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
    85
    if (re.test(w))
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
    86
      w = w.replace(re,"$1$2");
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
    87
    else if (re2.test(w))
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
    88
      w = w.replace(re2,"$1$2");
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
    89
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
    90
    // Step 1b
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
    91
    re = /^(.+?)eed$/;
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
    92
    re2 = /^(.+?)(ed|ing)$/;
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
    93
    if (re.test(w)) {
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
    94
      var fp = re.exec(w);
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
    95
      re = new RegExp(mgr0);
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
    96
      if (re.test(fp[1])) {
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
    97
        re = /.$/;
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
    98
        w = w.replace(re,"");
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
    99
      }
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   100
    }
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   101
    else if (re2.test(w)) {
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   102
      var fp = re2.exec(w);
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   103
      stem = fp[1];
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   104
      re2 = new RegExp(s_v);
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   105
      if (re2.test(stem)) {
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   106
        w = stem;
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   107
        re2 = /(at|bl|iz)$/;
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   108
        re3 = new RegExp("([^aeiouylsz])\\1$");
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   109
        re4 = new RegExp("^" + C + v + "[^aeiouwxy]$");
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   110
        if (re2.test(w))
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   111
          w = w + "e";
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   112
        else if (re3.test(w)) {
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   113
          re = /.$/;
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   114
          w = w.replace(re,"");
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   115
        }
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   116
        else if (re4.test(w))
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   117
          w = w + "e";
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   118
      }
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   119
    }
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   120
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   121
    // Step 1c
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   122
    re = /^(.+?)y$/;
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   123
    if (re.test(w)) {
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   124
      var fp = re.exec(w);
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   125
      stem = fp[1];
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   126
      re = new RegExp(s_v);
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   127
      if (re.test(stem))
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   128
        w = stem + "i";
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   129
    }
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   130
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   131
    // Step 2
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   132
    re = /^(.+?)(ational|tional|enci|anci|izer|bli|alli|entli|eli|ousli|ization|ation|ator|alism|iveness|fulness|ousness|aliti|iviti|biliti|logi)$/;
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   133
    if (re.test(w)) {
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   134
      var fp = re.exec(w);
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   135
      stem = fp[1];
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   136
      suffix = fp[2];
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   137
      re = new RegExp(mgr0);
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   138
      if (re.test(stem))
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   139
        w = stem + step2list[suffix];
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   140
    }
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   141
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   142
    // Step 3
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   143
    re = /^(.+?)(icate|ative|alize|iciti|ical|ful|ness)$/;
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   144
    if (re.test(w)) {
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   145
      var fp = re.exec(w);
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   146
      stem = fp[1];
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   147
      suffix = fp[2];
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   148
      re = new RegExp(mgr0);
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   149
      if (re.test(stem))
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   150
        w = stem + step3list[suffix];
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   151
    }
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   152
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   153
    // Step 4
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   154
    re = /^(.+?)(al|ance|ence|er|ic|able|ible|ant|ement|ment|ent|ou|ism|ate|iti|ous|ive|ize)$/;
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   155
    re2 = /^(.+?)(s|t)(ion)$/;
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   156
    if (re.test(w)) {
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   157
      var fp = re.exec(w);
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   158
      stem = fp[1];
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   159
      re = new RegExp(mgr1);
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   160
      if (re.test(stem))
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   161
        w = stem;
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   162
    }
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   163
    else if (re2.test(w)) {
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   164
      var fp = re2.exec(w);
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   165
      stem = fp[1] + fp[2];
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   166
      re2 = new RegExp(mgr1);
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   167
      if (re2.test(stem))
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   168
        w = stem;
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   169
    }
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   170
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   171
    // Step 5
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   172
    re = /^(.+?)e$/;
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   173
    if (re.test(w)) {
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   174
      var fp = re.exec(w);
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   175
      stem = fp[1];
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   176
      re = new RegExp(mgr1);
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   177
      re2 = new RegExp(meq1);
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   178
      re3 = new RegExp("^" + C + v + "[^aeiouwxy]$");
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   179
      if (re.test(stem) || (re2.test(stem) && !(re3.test(stem))))
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   180
        w = stem;
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   181
    }
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   182
    re = /ll$/;
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   183
    re2 = new RegExp(mgr1);
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   184
    if (re.test(w) && re2.test(w)) {
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   185
      re = /.$/;
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   186
      w = w.replace(re,"");
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   187
    }
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   188
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   189
    // and turn initial Y back to y
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   190
    if (firstch == "y")
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   191
      w = firstch.toLowerCase() + w.substr(1);
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   192
    return w;
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   193
  }
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   194
}
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   195
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   196
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   197
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   198
/**
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   199
 * Simple result scoring code.
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   200
 */
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   201
var Scorer = {
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   202
  // Implement the following function to further tweak the score for each result
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   203
  // The function takes a result array [filename, title, anchor, descr, score]
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   204
  // and returns the new score.
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   205
  /*
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   206
  score: function(result) {
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   207
    return result[4];
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   208
  },
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   209
  */
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   210
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   211
  // query matches the full name of an object
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   212
  objNameMatch: 11,
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   213
  // or matches in the last dotted part of the object name
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   214
  objPartialMatch: 6,
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   215
  // Additive scores depending on the priority of the object
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   216
  objPrio: {0:  15,   // used to be importantResults
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   217
            1:  5,   // used to be objectResults
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   218
            2: -5},  // used to be unimportantResults
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   219
  //  Used when the priority is not in the mapping.
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   220
  objPrioDefault: 0,
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   221
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   222
  // query found in title
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   223
  title: 15,
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   224
  // query found in terms
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   225
  term: 5
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   226
};
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   227
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   228
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   229
/**
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   230
 * Search Module
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   231
 */
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   232
var Search = {
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   233
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   234
  _index : null,
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   235
  _queued_query : null,
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   236
  _pulse_status : -1,
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   237
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   238
  init : function() {
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   239
      var params = $.getQueryParameters();
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   240
      if (params.q) {
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   241
          var query = params.q[0];
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   242
          $('input[name="q"]')[0].value = query;
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   243
          this.performSearch(query);
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   244
      }
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   245
  },
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   246
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   247
  loadIndex : function(url) {
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   248
    $.ajax({type: "GET", url: url, data: null,
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   249
            dataType: "script", cache: true,
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   250
            complete: function(jqxhr, textstatus) {
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   251
              if (textstatus != "success") {
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   252
                document.getElementById("searchindexloader").src = url;
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   253
              }
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   254
            }});
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   255
  },
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   256
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   257
  setIndex : function(index) {
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   258
    var q;
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   259
    this._index = index;
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   260
    if ((q = this._queued_query) !== null) {
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   261
      this._queued_query = null;
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   262
      Search.query(q);
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   263
    }
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   264
  },
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   265
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   266
  hasIndex : function() {
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   267
      return this._index !== null;
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   268
  },
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   269
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   270
  deferQuery : function(query) {
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   271
      this._queued_query = query;
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   272
  },
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   273
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   274
  stopPulse : function() {
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   275
      this._pulse_status = 0;
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   276
  },
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   277
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   278
  startPulse : function() {
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   279
    if (this._pulse_status >= 0)
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   280
        return;
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   281
    function pulse() {
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   282
      var i;
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   283
      Search._pulse_status = (Search._pulse_status + 1) % 4;
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   284
      var dotString = '';
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   285
      for (i = 0; i < Search._pulse_status; i++)
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   286
        dotString += '.';
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   287
      Search.dots.text(dotString);
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   288
      if (Search._pulse_status > -1)
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   289
        window.setTimeout(pulse, 500);
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   290
    }
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   291
    pulse();
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   292
  },
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   293
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   294
  /**
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   295
   * perform a search for something (or wait until index is loaded)
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   296
   */
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   297
  performSearch : function(query) {
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   298
    // create the required interface elements
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   299
    this.out = $('#search-results');
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   300
    this.title = $('<h2>' + _('Searching') + '</h2>').appendTo(this.out);
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   301
    this.dots = $('<span></span>').appendTo(this.title);
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   302
    this.status = $('<p style="display: none"></p>').appendTo(this.out);
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   303
    this.output = $('<ul class="search"/>').appendTo(this.out);
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   304
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   305
    $('#search-progress').text(_('Preparing search...'));
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   306
    this.startPulse();
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   307
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   308
    // index already loaded, the browser was quick!
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   309
    if (this.hasIndex())
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   310
      this.query(query);
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   311
    else
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   312
      this.deferQuery(query);
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   313
  },
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   314
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   315
  /**
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   316
   * execute search (requires search index to be loaded)
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   317
   */
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   318
  query : function(query) {
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   319
    var i;
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   320
    var stopwords = ["a","and","are","as","at","be","but","by","for","if","in","into","is","it","near","no","not","of","on","or","such","that","the","their","then","there","these","they","this","to","was","will","with"];
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   321
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   322
    // stem the searchterms and add them to the correct list
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   323
    var stemmer = new Stemmer();
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   324
    var searchterms = [];
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   325
    var excluded = [];
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   326
    var hlterms = [];
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   327
    var tmp = query.split(/\s+/);
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   328
    var objectterms = [];
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   329
    for (i = 0; i < tmp.length; i++) {
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   330
      if (tmp[i] !== "") {
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   331
          objectterms.push(tmp[i].toLowerCase());
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   332
      }
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   333
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   334
      if ($u.indexOf(stopwords, tmp[i].toLowerCase()) != -1 || tmp[i].match(/^\d+$/) ||
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   335
          tmp[i] === "") {
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   336
        // skip this "word"
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   337
        continue;
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   338
      }
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   339
      // stem the word
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   340
      var word = stemmer.stemWord(tmp[i].toLowerCase());
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   341
      var toAppend;
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   342
      // select the correct list
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   343
      if (word[0] == '-') {
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   344
        toAppend = excluded;
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   345
        word = word.substr(1);
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   346
      }
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   347
      else {
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   348
        toAppend = searchterms;
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   349
        hlterms.push(tmp[i].toLowerCase());
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   350
      }
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   351
      // only add if not already in the list
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   352
      if (!$u.contains(toAppend, word))
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   353
        toAppend.push(word);
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   354
    }
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   355
    var highlightstring = '?highlight=' + $.urlencode(hlterms.join(" "));
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   356
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   357
    // console.debug('SEARCH: searching for:');
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   358
    // console.info('required: ', searchterms);
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   359
    // console.info('excluded: ', excluded);
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   360
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   361
    // prepare search
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   362
    var terms = this._index.terms;
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   363
    var titleterms = this._index.titleterms;
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   364
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   365
    // array of [filename, title, anchor, descr, score]
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   366
    var results = [];
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   367
    $('#search-progress').empty();
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   368
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   369
    // lookup as object
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   370
    for (i = 0; i < objectterms.length; i++) {
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   371
      var others = [].concat(objectterms.slice(0, i),
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   372
                             objectterms.slice(i+1, objectterms.length));
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   373
      results = results.concat(this.performObjectSearch(objectterms[i], others));
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   374
    }
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   375
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   376
    // lookup as search terms in fulltext
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   377
    results = results.concat(this.performTermsSearch(searchterms, excluded, terms, titleterms));
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   378
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   379
    // let the scorer override scores with a custom scoring function
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   380
    if (Scorer.score) {
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   381
      for (i = 0; i < results.length; i++)
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   382
        results[i][4] = Scorer.score(results[i]);
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   383
    }
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   384
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   385
    // now sort the results by score (in opposite order of appearance, since the
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   386
    // display function below uses pop() to retrieve items) and then
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   387
    // alphabetically
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   388
    results.sort(function(a, b) {
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   389
      var left = a[4];
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   390
      var right = b[4];
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   391
      if (left > right) {
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   392
        return 1;
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   393
      } else if (left < right) {
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   394
        return -1;
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   395
      } else {
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   396
        // same score: sort alphabetically
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   397
        left = a[1].toLowerCase();
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   398
        right = b[1].toLowerCase();
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   399
        return (left > right) ? -1 : ((left < right) ? 1 : 0);
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   400
      }
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   401
    });
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   402
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   403
    // for debugging
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   404
    //Search.lastresults = results.slice();  // a copy
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   405
    //console.info('search results:', Search.lastresults);
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   406
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   407
    // print the results
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   408
    var resultCount = results.length;
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   409
    function displayNextItem() {
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   410
      // results left, load the summary and display it
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   411
      if (results.length) {
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   412
        var item = results.pop();
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   413
        var listItem = $('<li style="display:none"></li>');
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   414
        if (DOCUMENTATION_OPTIONS.FILE_SUFFIX === '') {
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   415
          // dirhtml builder
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   416
          var dirname = item[0] + '/';
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   417
          if (dirname.match(/\/index\/$/)) {
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   418
            dirname = dirname.substring(0, dirname.length-6);
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   419
          } else if (dirname == 'index/') {
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   420
            dirname = '';
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   421
          }
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   422
          listItem.append($('<a/>').attr('href',
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   423
            DOCUMENTATION_OPTIONS.URL_ROOT + dirname +
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   424
            highlightstring + item[2]).html(item[1]));
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   425
        } else {
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   426
          // normal html builders
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   427
          listItem.append($('<a/>').attr('href',
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   428
            item[0] + DOCUMENTATION_OPTIONS.FILE_SUFFIX +
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   429
            highlightstring + item[2]).html(item[1]));
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   430
        }
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   431
        if (item[3]) {
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   432
          listItem.append($('<span> (' + item[3] + ')</span>'));
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   433
          Search.output.append(listItem);
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   434
          listItem.slideDown(5, function() {
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   435
            displayNextItem();
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   436
          });
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   437
        } else if (DOCUMENTATION_OPTIONS.HAS_SOURCE) {
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   438
          $.ajax({url: DOCUMENTATION_OPTIONS.URL_ROOT + '_sources/' + item[0] + '.txt',
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   439
                  dataType: "text",
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   440
                  complete: function(jqxhr, textstatus) {
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   441
                    var data = jqxhr.responseText;
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   442
                    if (data !== '' && data !== undefined) {
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   443
                      listItem.append(Search.makeSearchSummary(data, searchterms, hlterms));
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   444
                    }
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   445
                    Search.output.append(listItem);
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   446
                    listItem.slideDown(5, function() {
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   447
                      displayNextItem();
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   448
                    });
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   449
                  }});
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   450
        } else {
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   451
          // no source available, just display title
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   452
          Search.output.append(listItem);
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   453
          listItem.slideDown(5, function() {
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   454
            displayNextItem();
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   455
          });
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   456
        }
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   457
      }
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   458
      // search finished, update title and status message
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   459
      else {
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   460
        Search.stopPulse();
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   461
        Search.title.text(_('Search Results'));
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   462
        if (!resultCount)
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   463
          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.'));
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   464
        else
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   465
            Search.status.text(_('Search finished, found %s page(s) matching the search query.').replace('%s', resultCount));
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   466
        Search.status.fadeIn(500);
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   467
      }
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   468
    }
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   469
    displayNextItem();
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   470
  },
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   471
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   472
  /**
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   473
   * search for object names
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   474
   */
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   475
  performObjectSearch : function(object, otherterms) {
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   476
    var filenames = this._index.filenames;
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   477
    var objects = this._index.objects;
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   478
    var objnames = this._index.objnames;
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   479
    var titles = this._index.titles;
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   480
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   481
    var i;
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   482
    var results = [];
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   483
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   484
    for (var prefix in objects) {
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   485
      for (var name in objects[prefix]) {
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   486
        var fullname = (prefix ? prefix + '.' : '') + name;
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   487
        if (fullname.toLowerCase().indexOf(object) > -1) {
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   488
          var score = 0;
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   489
          var parts = fullname.split('.');
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   490
          // check for different match types: exact matches of full name or
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   491
          // "last name" (i.e. last dotted part)
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   492
          if (fullname == object || parts[parts.length - 1] == object) {
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   493
            score += Scorer.objNameMatch;
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   494
          // matches in last name
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   495
          } else if (parts[parts.length - 1].indexOf(object) > -1) {
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   496
            score += Scorer.objPartialMatch;
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   497
          }
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   498
          var match = objects[prefix][name];
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   499
          var objname = objnames[match[1]][2];
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   500
          var title = titles[match[0]];
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   501
          // If more than one term searched for, we require other words to be
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   502
          // found in the name/title/description
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   503
          if (otherterms.length > 0) {
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   504
            var haystack = (prefix + ' ' + name + ' ' +
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   505
                            objname + ' ' + title).toLowerCase();
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   506
            var allfound = true;
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   507
            for (i = 0; i < otherterms.length; i++) {
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   508
              if (haystack.indexOf(otherterms[i]) == -1) {
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   509
                allfound = false;
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   510
                break;
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   511
              }
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   512
            }
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   513
            if (!allfound) {
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   514
              continue;
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   515
            }
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   516
          }
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   517
          var descr = objname + _(', in ') + title;
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   518
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   519
          var anchor = match[3];
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   520
          if (anchor === '')
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   521
            anchor = fullname;
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   522
          else if (anchor == '-')
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   523
            anchor = objnames[match[1]][1] + '-' + fullname;
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   524
          // add custom score for some objects according to scorer
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   525
          if (Scorer.objPrio.hasOwnProperty(match[2])) {
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   526
            score += Scorer.objPrio[match[2]];
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   527
          } else {
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   528
            score += Scorer.objPrioDefault;
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   529
          }
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   530
          results.push([filenames[match[0]], fullname, '#'+anchor, descr, score]);
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   531
        }
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   532
      }
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   533
    }
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   534
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   535
    return results;
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   536
  },
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   537
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   538
  /**
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   539
   * search for full-text terms in the index
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   540
   */
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   541
  performTermsSearch : function(searchterms, excluded, terms, titleterms) {
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   542
    var filenames = this._index.filenames;
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   543
    var titles = this._index.titles;
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   544
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   545
    var i, j, file;
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   546
    var fileMap = {};
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   547
    var scoreMap = {};
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   548
    var results = [];
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   549
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   550
    // perform the search on the required terms
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   551
    for (i = 0; i < searchterms.length; i++) {
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   552
      var word = searchterms[i];
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   553
      var files = [];
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   554
      var _o = [
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   555
        {files: terms[word], score: Scorer.term},
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   556
        {files: titleterms[word], score: Scorer.title}
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   557
      ];
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   558
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   559
      // no match but word was a required one
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   560
      if ($u.every(_o, function(o){return o.files === undefined;})) {
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   561
        break;
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   562
      }
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   563
      // found search word in contents
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   564
      $u.each(_o, function(o) {
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   565
        var _files = o.files;
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   566
        if (_files === undefined)
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   567
          return
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   568
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   569
        if (_files.length === undefined)
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   570
          _files = [_files];
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   571
        files = files.concat(_files);
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   572
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   573
        // set score for the word in each file to Scorer.term
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   574
        for (j = 0; j < _files.length; j++) {
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   575
          file = _files[j];
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   576
          if (!(file in scoreMap))
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   577
            scoreMap[file] = {}
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   578
          scoreMap[file][word] = o.score;
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   579
        }
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   580
      });
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   581
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   582
      // create the mapping
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   583
      for (j = 0; j < files.length; j++) {
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   584
        file = files[j];
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   585
        if (file in fileMap)
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   586
          fileMap[file].push(word);
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   587
        else
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   588
          fileMap[file] = [word];
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   589
      }
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   590
    }
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   591
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   592
    // now check if the files don't contain excluded terms
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   593
    for (file in fileMap) {
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   594
      var valid = true;
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   595
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   596
      // check if all requirements are matched
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   597
      if (fileMap[file].length != searchterms.length)
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   598
          continue;
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   599
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   600
      // ensure that none of the excluded terms is in the search result
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   601
      for (i = 0; i < excluded.length; i++) {
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   602
        if (terms[excluded[i]] == file ||
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   603
            titleterms[excluded[i]] == file ||
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   604
            $u.contains(terms[excluded[i]] || [], file) ||
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   605
            $u.contains(titleterms[excluded[i]] || [], file)) {
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   606
          valid = false;
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   607
          break;
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   608
        }
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   609
      }
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   610
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   611
      // if we have still a valid result we can add it to the result list
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   612
      if (valid) {
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   613
        // select one (max) score for the file.
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   614
        // for better ranking, we should calculate ranking by using words statistics like basic tf-idf...
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   615
        var score = $u.max($u.map(fileMap[file], function(w){return scoreMap[file][w]}));
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   616
        results.push([filenames[file], titles[file], '', null, score]);
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   617
      }
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   618
    }
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   619
    return results;
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   620
  },
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   621
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   622
  /**
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   623
   * helper function to return a node containing the
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   624
   * search summary for a given text. keywords is a list
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   625
   * of stemmed words, hlwords is the list of normal, unstemmed
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   626
   * words. the first one is used to find the occurrence, the
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   627
   * latter for highlighting it.
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   628
   */
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   629
  makeSearchSummary : function(text, keywords, hlwords) {
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   630
    var textLower = text.toLowerCase();
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   631
    var start = 0;
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   632
    $.each(keywords, function() {
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   633
      var i = textLower.indexOf(this.toLowerCase());
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   634
      if (i > -1)
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   635
        start = i;
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   636
    });
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   637
    start = Math.max(start - 120, 0);
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   638
    var excerpt = ((start > 0) ? '...' : '') +
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   639
      $.trim(text.substr(start, 240)) +
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   640
      ((start + 240 - text.length) ? '...' : '');
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   641
    var rv = $('<div class="context"></div>').text(excerpt);
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   642
    $.each(hlwords, function() {
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   643
      rv = rv.highlightText(this, 'highlighted');
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   644
    });
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   645
    return rv;
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   646
  }
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   647
};
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   648
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   649
$(document).ready(function() {
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   650
  Search.init();
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   651
});