blob: 71d015c9137137c67089efd7beed8a2415597510 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
|
import "query.jsx";
class QueryStringParser
{
var queries : Query[];
function constructor()
{
this.queries = [] : Query[];
}
function parse (queryString : string) : Query[]
{
var nextOr = false;
var nextNot = false;
var currentWordStart = 0;
var status = 0;
// 0: free
// 1: in unquoted word
// 2: in quote
var isSpace = /[\s\u3000]/;
for (var i = 0; i < queryString.length; i++)
{
var ch = queryString.charAt(i);
switch (status)
{
case 0: // free
if (!isSpace.test(ch))
{
if (ch == '-')
{
nextNot = true;
}
else if (ch == '"')
{
currentWordStart = i + 1;
status = 2;
}
else
{
currentWordStart = i;
status = 1;
}
}
else
{
nextNot = false;
}
break;
case 1: // unquoted word
if (isSpace.test(ch))
{
var word = queryString.slice(currentWordStart, i);
if (word == 'OR')
{
nextOr = true;
}
else
{
var query = new Query();
query.word = word;
query.or = nextOr;
query.not = nextNot;
this.queries.push(query);
nextOr = false;
nextNot = false;
}
status = 0;
}
break;
case 2: // in quote
if (ch == '"')
{
var word = queryString.slice(currentWordStart, i);
var query = new Query();
query.word = word;
query.or = nextOr;
query.not = nextNot;
query.raw = true;
this.queries.push(query);
nextOr = false;
nextNot = false;
status = 0;
}
break;
}
}
switch (status)
{
case 0:
break;
case 1:
var query = new Query();
var word = queryString.slice(currentWordStart, queryString.length);
if (word != 'OR')
{
query.word = word;
query.or = nextOr;
query.not = nextNot;
this.queries.push(query);
}
break;
case 2:
var query = new Query();
query.word = queryString.slice(currentWordStart, queryString.length);
query.or = nextOr;
query.not = nextNot;
query.raw = true;
this.queries.push(query);
break;
}
return this.queries;
}
function highlight () : string
{
var result = [] : string[];
for (var i = 0; i < this.queries.length; i++)
{
var query = this.queries[i];
if (!query.not)
{
result.push("highlight=" + String.encodeURIComponent(query.word));
}
}
return '?' + result.join('&');
}
}
|
