author | weiher |
Mon, 05 Feb 2018 16:51:33 +0100 | |
changeset 11 | ccfe3c7fa0d2 |
permissions | -rw-r--r-- |
11
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
1 |
/* |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
2 |
* searchtools.js_t |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
3 |
* ~~~~~~~~~~~~~~~~ |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
4 |
* |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
5 |
* Sphinx JavaScript utilities for the full-text search. |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
6 |
* |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
7 |
* :copyright: Copyright 2007-2018 by the Sphinx team, see AUTHORS. |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
8 |
* :license: BSD, see LICENSE for details. |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
9 |
* |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
10 |
*/ |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
11 |
|
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
12 |
|
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
13 |
/* Non-minified version JS is _stemmer.js if file is provided */ |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
14 |
/** |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
15 |
* Porter Stemmer |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
16 |
*/ |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
17 |
var Stemmer = function() { |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
18 |
|
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
19 |
var step2list = { |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
20 |
ational: 'ate', |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
21 |
tional: 'tion', |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
22 |
enci: 'ence', |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
23 |
anci: 'ance', |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
24 |
izer: 'ize', |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
25 |
bli: 'ble', |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
26 |
alli: 'al', |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
27 |
entli: 'ent', |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
28 |
eli: 'e', |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
29 |
ousli: 'ous', |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
30 |
ization: 'ize', |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
31 |
ation: 'ate', |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
32 |
ator: 'ate', |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
33 |
alism: 'al', |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
34 |
iveness: 'ive', |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
35 |
fulness: 'ful', |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
36 |
ousness: 'ous', |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
37 |
aliti: 'al', |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
38 |
iviti: 'ive', |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
39 |
biliti: 'ble', |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
40 |
logi: 'log' |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
41 |
}; |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
42 |
|
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
43 |
var step3list = { |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
44 |
icate: 'ic', |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
45 |
ative: '', |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
46 |
alize: 'al', |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
47 |
iciti: 'ic', |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
48 |
ical: 'ic', |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
49 |
ful: '', |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
50 |
ness: '' |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
51 |
}; |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
52 |
|
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
53 |
var c = "[^aeiou]"; // consonant |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
54 |
var v = "[aeiouy]"; // vowel |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
55 |
var C = c + "[^aeiouy]*"; // consonant sequence |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
56 |
var V = v + "[aeiou]*"; // vowel sequence |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
57 |
|
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
58 |
var mgr0 = "^(" + C + ")?" + V + C; // [C]VC... is m>0 |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
59 |
var meq1 = "^(" + C + ")?" + V + C + "(" + V + ")?$"; // [C]VC[V] is m=1 |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
60 |
var mgr1 = "^(" + C + ")?" + V + C + V + C; // [C]VCVC... is m>1 |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
61 |
var s_v = "^(" + C + ")?" + v; // vowel in stem |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
62 |
|
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
63 |
this.stemWord = function (w) { |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
64 |
var stem; |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
65 |
var suffix; |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
66 |
var firstch; |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
67 |
var origword = w; |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
68 |
|
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
69 |
if (w.length < 3) |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
70 |
return w; |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
71 |
|
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
72 |
var re; |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
73 |
var re2; |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
74 |
var re3; |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
75 |
var re4; |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
76 |
|
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
77 |
firstch = w.substr(0,1); |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
78 |
if (firstch == "y") |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
79 |
w = firstch.toUpperCase() + w.substr(1); |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
80 |
|
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
81 |
// Step 1a |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
82 |
re = /^(.+?)(ss|i)es$/; |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
83 |
re2 = /^(.+?)([^s])s$/; |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
84 |
|
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
85 |
if (re.test(w)) |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
86 |
w = w.replace(re,"$1$2"); |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
87 |
else if (re2.test(w)) |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
88 |
w = w.replace(re2,"$1$2"); |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
89 |
|
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
90 |
// Step 1b |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
91 |
re = /^(.+?)eed$/; |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
92 |
re2 = /^(.+?)(ed|ing)$/; |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
93 |
if (re.test(w)) { |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
94 |
var fp = re.exec(w); |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
95 |
re = new RegExp(mgr0); |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
96 |
if (re.test(fp[1])) { |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
97 |
re = /.$/; |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
98 |
w = w.replace(re,""); |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
99 |
} |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
100 |
} |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
101 |
else if (re2.test(w)) { |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
102 |
var fp = re2.exec(w); |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
103 |
stem = fp[1]; |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
104 |
re2 = new RegExp(s_v); |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
105 |
if (re2.test(stem)) { |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
106 |
w = stem; |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
107 |
re2 = /(at|bl|iz)$/; |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
108 |
re3 = new RegExp("([^aeiouylsz])\\1$"); |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
109 |
re4 = new RegExp("^" + C + v + "[^aeiouwxy]$"); |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
110 |
if (re2.test(w)) |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
111 |
w = w + "e"; |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
112 |
else if (re3.test(w)) { |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
113 |
re = /.$/; |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
114 |
w = w.replace(re,""); |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
115 |
} |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
116 |
else if (re4.test(w)) |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
117 |
w = w + "e"; |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
118 |
} |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
119 |
} |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
120 |
|
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
121 |
// Step 1c |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
122 |
re = /^(.+?)y$/; |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
123 |
if (re.test(w)) { |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
124 |
var fp = re.exec(w); |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
125 |
stem = fp[1]; |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
126 |
re = new RegExp(s_v); |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
127 |
if (re.test(stem)) |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
128 |
w = stem + "i"; |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
129 |
} |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
130 |
|
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
131 |
// Step 2 |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
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)$/; |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
133 |
if (re.test(w)) { |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
134 |
var fp = re.exec(w); |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
135 |
stem = fp[1]; |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
136 |
suffix = fp[2]; |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
137 |
re = new RegExp(mgr0); |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
138 |
if (re.test(stem)) |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
139 |
w = stem + step2list[suffix]; |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
140 |
} |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
141 |
|
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
142 |
// Step 3 |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
143 |
re = /^(.+?)(icate|ative|alize|iciti|ical|ful|ness)$/; |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
144 |
if (re.test(w)) { |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
145 |
var fp = re.exec(w); |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
146 |
stem = fp[1]; |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
147 |
suffix = fp[2]; |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
148 |
re = new RegExp(mgr0); |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
149 |
if (re.test(stem)) |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
150 |
w = stem + step3list[suffix]; |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
151 |
} |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
152 |
|
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
153 |
// Step 4 |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
154 |
re = /^(.+?)(al|ance|ence|er|ic|able|ible|ant|ement|ment|ent|ou|ism|ate|iti|ous|ive|ize)$/; |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
155 |
re2 = /^(.+?)(s|t)(ion)$/; |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
156 |
if (re.test(w)) { |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
157 |
var fp = re.exec(w); |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
158 |
stem = fp[1]; |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
159 |
re = new RegExp(mgr1); |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
160 |
if (re.test(stem)) |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
161 |
w = stem; |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
162 |
} |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
163 |
else if (re2.test(w)) { |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
164 |
var fp = re2.exec(w); |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
165 |
stem = fp[1] + fp[2]; |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
166 |
re2 = new RegExp(mgr1); |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
167 |
if (re2.test(stem)) |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
168 |
w = stem; |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
169 |
} |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
170 |
|
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
171 |
// Step 5 |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
172 |
re = /^(.+?)e$/; |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
173 |
if (re.test(w)) { |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
174 |
var fp = re.exec(w); |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
175 |
stem = fp[1]; |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
176 |
re = new RegExp(mgr1); |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
177 |
re2 = new RegExp(meq1); |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
178 |
re3 = new RegExp("^" + C + v + "[^aeiouwxy]$"); |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
179 |
if (re.test(stem) || (re2.test(stem) && !(re3.test(stem)))) |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
180 |
w = stem; |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
181 |
} |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
182 |
re = /ll$/; |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
183 |
re2 = new RegExp(mgr1); |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
184 |
if (re.test(w) && re2.test(w)) { |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
185 |
re = /.$/; |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
186 |
w = w.replace(re,""); |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
187 |
} |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
188 |
|
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
189 |
// and turn initial Y back to y |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
190 |
if (firstch == "y") |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
191 |
w = firstch.toLowerCase() + w.substr(1); |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
192 |
return w; |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
193 |
} |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
194 |
} |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
195 |
|
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
196 |
|
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
197 |
|
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
198 |
/** |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
199 |
* Simple result scoring code. |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
200 |
*/ |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
201 |
var Scorer = { |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
202 |
// Implement the following function to further tweak the score for each result |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
203 |
// The function takes a result array [filename, title, anchor, descr, score] |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
204 |
// and returns the new score. |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
205 |
/* |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
206 |
score: function(result) { |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
207 |
return result[4]; |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
208 |
}, |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
209 |
*/ |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
210 |
|
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
211 |
// query matches the full name of an object |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
212 |
objNameMatch: 11, |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
213 |
// or matches in the last dotted part of the object name |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
214 |
objPartialMatch: 6, |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
215 |
// Additive scores depending on the priority of the object |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
216 |
objPrio: {0: 15, // used to be importantResults |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
217 |
1: 5, // used to be objectResults |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
218 |
2: -5}, // used to be unimportantResults |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
219 |
// Used when the priority is not in the mapping. |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
220 |
objPrioDefault: 0, |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
221 |
|
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
222 |
// query found in title |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
223 |
title: 15, |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
224 |
// query found in terms |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
225 |
term: 5 |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
226 |
}; |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
227 |
|
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
228 |
|
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
229 |
|
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
230 |
|
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
231 |
|
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
232 |
var splitChars = (function() { |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
233 |
var result = {}; |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
234 |
var singles = [96, 180, 187, 191, 215, 247, 749, 885, 903, 907, 909, 930, 1014, 1648, |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
235 |
1748, 1809, 2416, 2473, 2481, 2526, 2601, 2609, 2612, 2615, 2653, 2702, |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
236 |
2706, 2729, 2737, 2740, 2857, 2865, 2868, 2910, 2928, 2948, 2961, 2971, |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
237 |
2973, 3085, 3089, 3113, 3124, 3213, 3217, 3241, 3252, 3295, 3341, 3345, |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
238 |
3369, 3506, 3516, 3633, 3715, 3721, 3736, 3744, 3748, 3750, 3756, 3761, |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
239 |
3781, 3912, 4239, 4347, 4681, 4695, 4697, 4745, 4785, 4799, 4801, 4823, |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
240 |
4881, 5760, 5901, 5997, 6313, 7405, 8024, 8026, 8028, 8030, 8117, 8125, |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
241 |
8133, 8181, 8468, 8485, 8487, 8489, 8494, 8527, 11311, 11359, 11687, 11695, |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
242 |
11703, 11711, 11719, 11727, 11735, 12448, 12539, 43010, 43014, 43019, 43587, |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
243 |
43696, 43713, 64286, 64297, 64311, 64317, 64319, 64322, 64325, 65141]; |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
244 |
var i, j, start, end; |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
245 |
for (i = 0; i < singles.length; i++) { |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
246 |
result[singles[i]] = true; |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
247 |
} |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
248 |
var ranges = [[0, 47], [58, 64], [91, 94], [123, 169], [171, 177], [182, 184], [706, 709], |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
249 |
[722, 735], [741, 747], [751, 879], [888, 889], [894, 901], [1154, 1161], |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
250 |
[1318, 1328], [1367, 1368], [1370, 1376], [1416, 1487], [1515, 1519], [1523, 1568], |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
251 |
[1611, 1631], [1642, 1645], [1750, 1764], [1767, 1773], [1789, 1790], [1792, 1807], |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
252 |
[1840, 1868], [1958, 1968], [1970, 1983], [2027, 2035], [2038, 2041], [2043, 2047], |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
253 |
[2070, 2073], [2075, 2083], [2085, 2087], [2089, 2307], [2362, 2364], [2366, 2383], |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
254 |
[2385, 2391], [2402, 2405], [2419, 2424], [2432, 2436], [2445, 2446], [2449, 2450], |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
255 |
[2483, 2485], [2490, 2492], [2494, 2509], [2511, 2523], [2530, 2533], [2546, 2547], |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
256 |
[2554, 2564], [2571, 2574], [2577, 2578], [2618, 2648], [2655, 2661], [2672, 2673], |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
257 |
[2677, 2692], [2746, 2748], [2750, 2767], [2769, 2783], [2786, 2789], [2800, 2820], |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
258 |
[2829, 2830], [2833, 2834], [2874, 2876], [2878, 2907], [2914, 2917], [2930, 2946], |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
259 |
[2955, 2957], [2966, 2968], [2976, 2978], [2981, 2983], [2987, 2989], [3002, 3023], |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
260 |
[3025, 3045], [3059, 3076], [3130, 3132], [3134, 3159], [3162, 3167], [3170, 3173], |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
261 |
[3184, 3191], [3199, 3204], [3258, 3260], [3262, 3293], [3298, 3301], [3312, 3332], |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
262 |
[3386, 3388], [3390, 3423], [3426, 3429], [3446, 3449], [3456, 3460], [3479, 3481], |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
263 |
[3518, 3519], [3527, 3584], [3636, 3647], [3655, 3663], [3674, 3712], [3717, 3718], |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
264 |
[3723, 3724], [3726, 3731], [3752, 3753], [3764, 3772], [3774, 3775], [3783, 3791], |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
265 |
[3802, 3803], [3806, 3839], [3841, 3871], [3892, 3903], [3949, 3975], [3980, 4095], |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
266 |
[4139, 4158], [4170, 4175], [4182, 4185], [4190, 4192], [4194, 4196], [4199, 4205], |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
267 |
[4209, 4212], [4226, 4237], [4250, 4255], [4294, 4303], [4349, 4351], [4686, 4687], |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
268 |
[4702, 4703], [4750, 4751], [4790, 4791], [4806, 4807], [4886, 4887], [4955, 4968], |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
269 |
[4989, 4991], [5008, 5023], [5109, 5120], [5741, 5742], [5787, 5791], [5867, 5869], |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
270 |
[5873, 5887], [5906, 5919], [5938, 5951], [5970, 5983], [6001, 6015], [6068, 6102], |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
271 |
[6104, 6107], [6109, 6111], [6122, 6127], [6138, 6159], [6170, 6175], [6264, 6271], |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
272 |
[6315, 6319], [6390, 6399], [6429, 6469], [6510, 6511], [6517, 6527], [6572, 6592], |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
273 |
[6600, 6607], [6619, 6655], [6679, 6687], [6741, 6783], [6794, 6799], [6810, 6822], |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
274 |
[6824, 6916], [6964, 6980], [6988, 6991], [7002, 7042], [7073, 7085], [7098, 7167], |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
275 |
[7204, 7231], [7242, 7244], [7294, 7400], [7410, 7423], [7616, 7679], [7958, 7959], |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
276 |
[7966, 7967], [8006, 8007], [8014, 8015], [8062, 8063], [8127, 8129], [8141, 8143], |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
277 |
[8148, 8149], [8156, 8159], [8173, 8177], [8189, 8303], [8306, 8307], [8314, 8318], |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
278 |
[8330, 8335], [8341, 8449], [8451, 8454], [8456, 8457], [8470, 8472], [8478, 8483], |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
279 |
[8506, 8507], [8512, 8516], [8522, 8525], [8586, 9311], [9372, 9449], [9472, 10101], |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
280 |
[10132, 11263], [11493, 11498], [11503, 11516], [11518, 11519], [11558, 11567], |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
281 |
[11622, 11630], [11632, 11647], [11671, 11679], [11743, 11822], [11824, 12292], |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
282 |
[12296, 12320], [12330, 12336], [12342, 12343], [12349, 12352], [12439, 12444], |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
283 |
[12544, 12548], [12590, 12592], [12687, 12689], [12694, 12703], [12728, 12783], |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
284 |
[12800, 12831], [12842, 12880], [12896, 12927], [12938, 12976], [12992, 13311], |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
285 |
[19894, 19967], [40908, 40959], [42125, 42191], [42238, 42239], [42509, 42511], |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
286 |
[42540, 42559], [42592, 42593], [42607, 42622], [42648, 42655], [42736, 42774], |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
287 |
[42784, 42785], [42889, 42890], [42893, 43002], [43043, 43055], [43062, 43071], |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
288 |
[43124, 43137], [43188, 43215], [43226, 43249], [43256, 43258], [43260, 43263], |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
289 |
[43302, 43311], [43335, 43359], [43389, 43395], [43443, 43470], [43482, 43519], |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
290 |
[43561, 43583], [43596, 43599], [43610, 43615], [43639, 43641], [43643, 43647], |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
291 |
[43698, 43700], [43703, 43704], [43710, 43711], [43715, 43738], [43742, 43967], |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
292 |
[44003, 44015], [44026, 44031], [55204, 55215], [55239, 55242], [55292, 55295], |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
293 |
[57344, 63743], [64046, 64047], [64110, 64111], [64218, 64255], [64263, 64274], |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
294 |
[64280, 64284], [64434, 64466], [64830, 64847], [64912, 64913], [64968, 65007], |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
295 |
[65020, 65135], [65277, 65295], [65306, 65312], [65339, 65344], [65371, 65381], |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
296 |
[65471, 65473], [65480, 65481], [65488, 65489], [65496, 65497]]; |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
297 |
for (i = 0; i < ranges.length; i++) { |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
298 |
start = ranges[i][0]; |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
299 |
end = ranges[i][1]; |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
300 |
for (j = start; j <= end; j++) { |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
301 |
result[j] = true; |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
302 |
} |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
303 |
} |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
304 |
return result; |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
305 |
})(); |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
306 |
|
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
307 |
function splitQuery(query) { |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
308 |
var result = []; |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
309 |
var start = -1; |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
310 |
for (var i = 0; i < query.length; i++) { |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
311 |
if (splitChars[query.charCodeAt(i)]) { |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
312 |
if (start !== -1) { |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
313 |
result.push(query.slice(start, i)); |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
314 |
start = -1; |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
315 |
} |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
316 |
} else if (start === -1) { |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
317 |
start = i; |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
318 |
} |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
319 |
} |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
320 |
if (start !== -1) { |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
321 |
result.push(query.slice(start)); |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
322 |
} |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
323 |
return result; |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
324 |
} |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
325 |
|
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
326 |
|
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
327 |
|
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
328 |
|
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
329 |
/** |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
330 |
* Search Module |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
331 |
*/ |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
332 |
var Search = { |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
333 |
|
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
334 |
_index : null, |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
335 |
_queued_query : null, |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
336 |
_pulse_status : -1, |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
337 |
|
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
338 |
init : function() { |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
339 |
var params = $.getQueryParameters(); |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
340 |
if (params.q) { |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
341 |
var query = params.q[0]; |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
342 |
$('input[name="q"]')[0].value = query; |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
343 |
this.performSearch(query); |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
344 |
} |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
345 |
}, |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
346 |
|
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
347 |
loadIndex : function(url) { |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
348 |
$.ajax({type: "GET", url: url, data: null, |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
349 |
dataType: "script", cache: true, |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
350 |
complete: function(jqxhr, textstatus) { |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
351 |
if (textstatus != "success") { |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
352 |
document.getElementById("searchindexloader").src = url; |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
353 |
} |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
354 |
}}); |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
355 |
}, |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
356 |
|
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
357 |
setIndex : function(index) { |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
358 |
var q; |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
359 |
this._index = index; |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
360 |
if ((q = this._queued_query) !== null) { |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
361 |
this._queued_query = null; |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
362 |
Search.query(q); |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
363 |
} |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
364 |
}, |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
365 |
|
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
366 |
hasIndex : function() { |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
367 |
return this._index !== null; |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
368 |
}, |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
369 |
|
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
370 |
deferQuery : function(query) { |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
371 |
this._queued_query = query; |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
372 |
}, |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
373 |
|
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
374 |
stopPulse : function() { |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
375 |
this._pulse_status = 0; |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
376 |
}, |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
377 |
|
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
378 |
startPulse : function() { |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
379 |
if (this._pulse_status >= 0) |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
380 |
return; |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
381 |
function pulse() { |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
382 |
var i; |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
383 |
Search._pulse_status = (Search._pulse_status + 1) % 4; |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
384 |
var dotString = ''; |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
385 |
for (i = 0; i < Search._pulse_status; i++) |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
386 |
dotString += '.'; |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
387 |
Search.dots.text(dotString); |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
388 |
if (Search._pulse_status > -1) |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
389 |
window.setTimeout(pulse, 500); |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
390 |
} |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
391 |
pulse(); |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
392 |
}, |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
393 |
|
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
394 |
/** |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
395 |
* perform a search for something (or wait until index is loaded) |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
396 |
*/ |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
397 |
performSearch : function(query) { |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
398 |
// create the required interface elements |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
399 |
this.out = $('#search-results'); |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
400 |
this.title = $('<h2>' + _('Searching') + '</h2>').appendTo(this.out); |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
401 |
this.dots = $('<span></span>').appendTo(this.title); |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
402 |
this.status = $('<p style="display: none"></p>').appendTo(this.out); |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
403 |
this.output = $('<ul class="search"/>').appendTo(this.out); |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
404 |
|
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
405 |
$('#search-progress').text(_('Preparing search...')); |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
406 |
this.startPulse(); |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
407 |
|
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
408 |
// index already loaded, the browser was quick! |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
409 |
if (this.hasIndex()) |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
410 |
this.query(query); |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
411 |
else |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
412 |
this.deferQuery(query); |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
413 |
}, |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
414 |
|
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
415 |
/** |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
416 |
* execute search (requires search index to be loaded) |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
417 |
*/ |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
418 |
query : function(query) { |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
419 |
var i; |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
420 |
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"]; |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
421 |
|
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
422 |
// stem the searchterms and add them to the correct list |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
423 |
var stemmer = new Stemmer(); |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
424 |
var searchterms = []; |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
425 |
var excluded = []; |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
426 |
var hlterms = []; |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
427 |
var tmp = splitQuery(query); |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
428 |
var objectterms = []; |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
429 |
for (i = 0; i < tmp.length; i++) { |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
430 |
if (tmp[i] !== "") { |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
431 |
objectterms.push(tmp[i].toLowerCase()); |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
432 |
} |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
433 |
|
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
434 |
if ($u.indexOf(stopwords, tmp[i].toLowerCase()) != -1 || tmp[i].match(/^\d+$/) || |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
435 |
tmp[i] === "") { |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
436 |
// skip this "word" |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
437 |
continue; |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
438 |
} |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
439 |
// stem the word |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
440 |
var word = stemmer.stemWord(tmp[i].toLowerCase()); |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
441 |
// prevent stemmer from cutting word smaller than two chars |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
442 |
if(word.length < 3 && tmp[i].length >= 3) { |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
443 |
word = tmp[i]; |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
444 |
} |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
445 |
var toAppend; |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
446 |
// select the correct list |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
447 |
if (word[0] == '-') { |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
448 |
toAppend = excluded; |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
449 |
word = word.substr(1); |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
450 |
} |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
451 |
else { |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
452 |
toAppend = searchterms; |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
453 |
hlterms.push(tmp[i].toLowerCase()); |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
454 |
} |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
455 |
// only add if not already in the list |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
456 |
if (!$u.contains(toAppend, word)) |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
457 |
toAppend.push(word); |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
458 |
} |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
459 |
var highlightstring = '?highlight=' + $.urlencode(hlterms.join(" ")); |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
460 |
|
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
461 |
// console.debug('SEARCH: searching for:'); |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
462 |
// console.info('required: ', searchterms); |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
463 |
// console.info('excluded: ', excluded); |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
464 |
|
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
465 |
// prepare search |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
466 |
var terms = this._index.terms; |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
467 |
var titleterms = this._index.titleterms; |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
468 |
|
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
469 |
// array of [filename, title, anchor, descr, score] |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
470 |
var results = []; |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
471 |
$('#search-progress').empty(); |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
472 |
|
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
473 |
// lookup as object |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
474 |
for (i = 0; i < objectterms.length; i++) { |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
475 |
var others = [].concat(objectterms.slice(0, i), |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
476 |
objectterms.slice(i+1, objectterms.length)); |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
477 |
results = results.concat(this.performObjectSearch(objectterms[i], others)); |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
478 |
} |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
479 |
|
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
480 |
// lookup as search terms in fulltext |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
481 |
results = results.concat(this.performTermsSearch(searchterms, excluded, terms, titleterms)); |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
482 |
|
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
483 |
// let the scorer override scores with a custom scoring function |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
484 |
if (Scorer.score) { |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
485 |
for (i = 0; i < results.length; i++) |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
486 |
results[i][4] = Scorer.score(results[i]); |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
487 |
} |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
488 |
|
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
489 |
// now sort the results by score (in opposite order of appearance, since the |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
490 |
// display function below uses pop() to retrieve items) and then |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
491 |
// alphabetically |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
492 |
results.sort(function(a, b) { |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
493 |
var left = a[4]; |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
494 |
var right = b[4]; |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
495 |
if (left > right) { |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
496 |
return 1; |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
497 |
} else if (left < right) { |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
498 |
return -1; |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
499 |
} else { |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
500 |
// same score: sort alphabetically |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
501 |
left = a[1].toLowerCase(); |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
502 |
right = b[1].toLowerCase(); |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
503 |
return (left > right) ? -1 : ((left < right) ? 1 : 0); |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
504 |
} |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
505 |
}); |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
506 |
|
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
507 |
// for debugging |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
508 |
//Search.lastresults = results.slice(); // a copy |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
509 |
//console.info('search results:', Search.lastresults); |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
510 |
|
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
511 |
// print the results |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
512 |
var resultCount = results.length; |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
513 |
function displayNextItem() { |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
514 |
// results left, load the summary and display it |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
515 |
if (results.length) { |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
516 |
var item = results.pop(); |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
517 |
var listItem = $('<li style="display:none"></li>'); |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
518 |
if (DOCUMENTATION_OPTIONS.FILE_SUFFIX === '') { |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
519 |
// dirhtml builder |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
520 |
var dirname = item[0] + '/'; |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
521 |
if (dirname.match(/\/index\/$/)) { |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
522 |
dirname = dirname.substring(0, dirname.length-6); |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
523 |
} else if (dirname == 'index/') { |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
524 |
dirname = ''; |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
525 |
} |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
526 |
listItem.append($('<a/>').attr('href', |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
527 |
DOCUMENTATION_OPTIONS.URL_ROOT + dirname + |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
528 |
highlightstring + item[2]).html(item[1])); |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
529 |
} else { |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
530 |
// normal html builders |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
531 |
listItem.append($('<a/>').attr('href', |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
532 |
item[0] + DOCUMENTATION_OPTIONS.FILE_SUFFIX + |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
533 |
highlightstring + item[2]).html(item[1])); |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
534 |
} |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
535 |
if (item[3]) { |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
536 |
listItem.append($('<span> (' + item[3] + ')</span>')); |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
537 |
Search.output.append(listItem); |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
538 |
listItem.slideDown(5, function() { |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
539 |
displayNextItem(); |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
540 |
}); |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
541 |
} else if (DOCUMENTATION_OPTIONS.HAS_SOURCE) { |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
542 |
var suffix = DOCUMENTATION_OPTIONS.SOURCELINK_SUFFIX; |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
543 |
if (suffix === undefined) { |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
544 |
suffix = '.txt'; |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
545 |
} |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
546 |
$.ajax({url: DOCUMENTATION_OPTIONS.URL_ROOT + '_sources/' + item[5] + (item[5].slice(-suffix.length) === suffix ? '' : suffix), |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
547 |
dataType: "text", |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
548 |
complete: function(jqxhr, textstatus) { |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
549 |
var data = jqxhr.responseText; |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
550 |
if (data !== '' && data !== undefined) { |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
551 |
listItem.append(Search.makeSearchSummary(data, searchterms, hlterms)); |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
552 |
} |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
553 |
Search.output.append(listItem); |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
554 |
listItem.slideDown(5, function() { |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
555 |
displayNextItem(); |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
556 |
}); |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
557 |
}}); |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
558 |
} else { |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
559 |
// no source available, just display title |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
560 |
Search.output.append(listItem); |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
561 |
listItem.slideDown(5, function() { |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
562 |
displayNextItem(); |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
563 |
}); |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
564 |
} |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
565 |
} |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
566 |
// search finished, update title and status message |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
567 |
else { |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
568 |
Search.stopPulse(); |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
569 |
Search.title.text(_('Search Results')); |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
570 |
if (!resultCount) |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
571 |
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.')); |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
572 |
else |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
573 |
Search.status.text(_('Search finished, found %s page(s) matching the search query.').replace('%s', resultCount)); |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
574 |
Search.status.fadeIn(500); |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
575 |
} |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
576 |
} |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
577 |
displayNextItem(); |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
578 |
}, |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
579 |
|
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
580 |
/** |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
581 |
* search for object names |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
582 |
*/ |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
583 |
performObjectSearch : function(object, otherterms) { |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
584 |
var filenames = this._index.filenames; |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
585 |
var docnames = this._index.docnames; |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
586 |
var objects = this._index.objects; |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
587 |
var objnames = this._index.objnames; |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
588 |
var titles = this._index.titles; |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
589 |
|
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
590 |
var i; |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
591 |
var results = []; |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
592 |
|
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
593 |
for (var prefix in objects) { |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
594 |
for (var name in objects[prefix]) { |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
595 |
var fullname = (prefix ? prefix + '.' : '') + name; |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
596 |
if (fullname.toLowerCase().indexOf(object) > -1) { |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
597 |
var score = 0; |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
598 |
var parts = fullname.split('.'); |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
599 |
// check for different match types: exact matches of full name or |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
600 |
// "last name" (i.e. last dotted part) |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
601 |
if (fullname == object || parts[parts.length - 1] == object) { |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
602 |
score += Scorer.objNameMatch; |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
603 |
// matches in last name |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
604 |
} else if (parts[parts.length - 1].indexOf(object) > -1) { |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
605 |
score += Scorer.objPartialMatch; |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
606 |
} |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
607 |
var match = objects[prefix][name]; |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
608 |
var objname = objnames[match[1]][2]; |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
609 |
var title = titles[match[0]]; |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
610 |
// If more than one term searched for, we require other words to be |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
611 |
// found in the name/title/description |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
612 |
if (otherterms.length > 0) { |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
613 |
var haystack = (prefix + ' ' + name + ' ' + |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
614 |
objname + ' ' + title).toLowerCase(); |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
615 |
var allfound = true; |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
616 |
for (i = 0; i < otherterms.length; i++) { |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
617 |
if (haystack.indexOf(otherterms[i]) == -1) { |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
618 |
allfound = false; |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
619 |
break; |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
620 |
} |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
621 |
} |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
622 |
if (!allfound) { |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
623 |
continue; |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
624 |
} |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
625 |
} |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
626 |
var descr = objname + _(', in ') + title; |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
627 |
|
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
628 |
var anchor = match[3]; |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
629 |
if (anchor === '') |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
630 |
anchor = fullname; |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
631 |
else if (anchor == '-') |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
632 |
anchor = objnames[match[1]][1] + '-' + fullname; |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
633 |
// add custom score for some objects according to scorer |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
634 |
if (Scorer.objPrio.hasOwnProperty(match[2])) { |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
635 |
score += Scorer.objPrio[match[2]]; |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
636 |
} else { |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
637 |
score += Scorer.objPrioDefault; |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
638 |
} |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
639 |
results.push([docnames[match[0]], fullname, '#'+anchor, descr, score, filenames[match[0]]]); |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
640 |
} |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
641 |
} |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
642 |
} |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
643 |
|
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
644 |
return results; |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
645 |
}, |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
646 |
|
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
647 |
/** |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
648 |
* search for full-text terms in the index |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
649 |
*/ |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
650 |
performTermsSearch : function(searchterms, excluded, terms, titleterms) { |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
651 |
var docnames = this._index.docnames; |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
652 |
var filenames = this._index.filenames; |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
653 |
var titles = this._index.titles; |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
654 |
|
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
655 |
var i, j, file; |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
656 |
var fileMap = {}; |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
657 |
var scoreMap = {}; |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
658 |
var results = []; |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
659 |
|
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
660 |
// perform the search on the required terms |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
661 |
for (i = 0; i < searchterms.length; i++) { |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
662 |
var word = searchterms[i]; |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
663 |
var files = []; |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
664 |
var _o = [ |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
665 |
{files: terms[word], score: Scorer.term}, |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
666 |
{files: titleterms[word], score: Scorer.title} |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
667 |
]; |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
668 |
|
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
669 |
// no match but word was a required one |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
670 |
if ($u.every(_o, function(o){return o.files === undefined;})) { |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
671 |
break; |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
672 |
} |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
673 |
// found search word in contents |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
674 |
$u.each(_o, function(o) { |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
675 |
var _files = o.files; |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
676 |
if (_files === undefined) |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
677 |
return |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
678 |
|
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
679 |
if (_files.length === undefined) |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
680 |
_files = [_files]; |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
681 |
files = files.concat(_files); |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
682 |
|
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
683 |
// set score for the word in each file to Scorer.term |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
684 |
for (j = 0; j < _files.length; j++) { |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
685 |
file = _files[j]; |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
686 |
if (!(file in scoreMap)) |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
687 |
scoreMap[file] = {} |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
688 |
scoreMap[file][word] = o.score; |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
689 |
} |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
690 |
}); |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
691 |
|
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
692 |
// create the mapping |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
693 |
for (j = 0; j < files.length; j++) { |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
694 |
file = files[j]; |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
695 |
if (file in fileMap) |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
696 |
fileMap[file].push(word); |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
697 |
else |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
698 |
fileMap[file] = [word]; |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
699 |
} |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
700 |
} |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
701 |
|
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
702 |
// now check if the files don't contain excluded terms |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
703 |
for (file in fileMap) { |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
704 |
var valid = true; |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
705 |
|
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
706 |
// check if all requirements are matched |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
707 |
if (fileMap[file].length != searchterms.length) |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
708 |
continue; |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
709 |
|
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
710 |
// ensure that none of the excluded terms is in the search result |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
711 |
for (i = 0; i < excluded.length; i++) { |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
712 |
if (terms[excluded[i]] == file || |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
713 |
titleterms[excluded[i]] == file || |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
714 |
$u.contains(terms[excluded[i]] || [], file) || |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
715 |
$u.contains(titleterms[excluded[i]] || [], file)) { |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
716 |
valid = false; |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
717 |
break; |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
718 |
} |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
719 |
} |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
720 |
|
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
721 |
// if we have still a valid result we can add it to the result list |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
722 |
if (valid) { |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
723 |
// select one (max) score for the file. |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
724 |
// for better ranking, we should calculate ranking by using words statistics like basic tf-idf... |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
725 |
var score = $u.max($u.map(fileMap[file], function(w){return scoreMap[file][w]})); |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
726 |
results.push([docnames[file], titles[file], '', null, score, filenames[file]]); |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
727 |
} |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
728 |
} |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
729 |
return results; |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
730 |
}, |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
731 |
|
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
732 |
/** |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
733 |
* helper function to return a node containing the |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
734 |
* search summary for a given text. keywords is a list |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
735 |
* of stemmed words, hlwords is the list of normal, unstemmed |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
736 |
* words. the first one is used to find the occurrence, the |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
737 |
* latter for highlighting it. |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
738 |
*/ |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
739 |
makeSearchSummary : function(text, keywords, hlwords) { |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
740 |
var textLower = text.toLowerCase(); |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
741 |
var start = 0; |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
742 |
$.each(keywords, function() { |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
743 |
var i = textLower.indexOf(this.toLowerCase()); |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
744 |
if (i > -1) |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
745 |
start = i; |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
746 |
}); |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
747 |
start = Math.max(start - 120, 0); |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
748 |
var excerpt = ((start > 0) ? '...' : '') + |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
749 |
$.trim(text.substr(start, 240)) + |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
750 |
((start + 240 - text.length) ? '...' : ''); |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
751 |
var rv = $('<div class="context"></div>').text(excerpt); |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
752 |
$.each(hlwords, function() { |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
753 |
rv = rv.highlightText(this, 'highlighted'); |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
754 |
}); |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
755 |
return rv; |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
756 |
} |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
757 |
}; |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
758 |
|
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
759 |
$(document).ready(function() { |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
760 |
Search.init(); |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
761 |
}); |