1
|
|
|
<?php |
2
|
|
|
|
3
|
|
|
/** |
4
|
|
|
* Injector that auto paragraphs text in the root node based on |
5
|
|
|
* double-spacing. |
6
|
|
|
* @todo Ensure all states are unit tested, including variations as well. |
7
|
|
|
* @todo Make a graph of the flow control for this Injector. |
8
|
|
|
*/ |
9
|
|
|
class HTMLPurifier_Injector_AutoParagraph extends HTMLPurifier_Injector |
10
|
|
|
{ |
11
|
|
|
/** |
12
|
|
|
* @type string |
13
|
|
|
*/ |
14
|
|
|
public $name = 'AutoParagraph'; |
15
|
|
|
|
16
|
|
|
/** |
17
|
|
|
* @type array |
18
|
|
|
*/ |
19
|
|
|
public $needed = array('p'); |
20
|
|
|
|
21
|
|
|
/** |
22
|
|
|
* @return HTMLPurifier_Token_Start |
23
|
|
|
*/ |
24
|
|
|
private function _pStart() |
25
|
|
|
{ |
26
|
|
|
$par = new HTMLPurifier_Token_Start('p'); |
27
|
|
|
$par->armor['MakeWellFormed_TagClosedError'] = true; |
28
|
|
|
return $par; |
29
|
|
|
} |
30
|
|
|
|
31
|
|
|
/** |
32
|
|
|
* @param HTMLPurifier_Token_Text $token |
33
|
|
|
*/ |
34
|
|
|
public function handleText(&$token) |
35
|
|
|
{ |
36
|
|
|
$text = $token->data; |
37
|
|
|
// Does the current parent allow <p> tags? |
38
|
|
|
if ($this->allowsElement('p')) { |
39
|
|
|
if (empty($this->currentNesting) || strpos($text, "\n\n") !== false) { |
40
|
|
|
// Note that we have differing behavior when dealing with text |
41
|
|
|
// in the anonymous root node, or a node inside the document. |
42
|
|
|
// If the text as a double-newline, the treatment is the same; |
43
|
|
|
// if it doesn't, see the next if-block if you're in the document. |
44
|
|
|
|
45
|
|
|
$i = $nesting = null; |
46
|
|
|
if (!$this->forwardUntilEndToken($i, $current, $nesting) && $token->is_whitespace) { |
47
|
|
|
// State 1.1: ... ^ (whitespace, then document end) |
48
|
|
|
// ---- |
49
|
|
|
// This is a degenerate case |
50
|
|
|
} else { |
51
|
|
|
if (!$token->is_whitespace || $this->_isInline($current)) { |
52
|
|
|
// State 1.2: PAR1 |
53
|
|
|
// ---- |
54
|
|
|
|
55
|
|
|
// State 1.3: PAR1\n\nPAR2 |
56
|
|
|
// ------------ |
57
|
|
|
|
58
|
|
|
// State 1.4: <div>PAR1\n\nPAR2 (see State 2) |
59
|
|
|
// ------------ |
60
|
|
|
$token = array($this->_pStart()); |
61
|
|
|
$this->_splitText($text, $token); |
62
|
|
|
} else { |
63
|
|
|
// State 1.5: \n<hr /> |
64
|
|
|
// -- |
65
|
|
|
} |
66
|
|
|
} |
67
|
|
|
} else { |
68
|
|
|
// State 2: <div>PAR1... (similar to 1.4) |
69
|
|
|
// ---- |
70
|
|
|
|
71
|
|
|
// We're in an element that allows paragraph tags, but we're not |
72
|
|
|
// sure if we're going to need them. |
73
|
|
|
if ($this->_pLookAhead()) { |
74
|
|
|
// State 2.1: <div>PAR1<b>PAR1\n\nPAR2 |
75
|
|
|
// ---- |
76
|
|
|
// Note: This will always be the first child, since any |
77
|
|
|
// previous inline element would have triggered this very |
78
|
|
|
// same routine, and found the double newline. One possible |
79
|
|
|
// exception would be a comment. |
80
|
|
|
$token = array($this->_pStart(), $token); |
81
|
|
|
} else { |
82
|
|
|
// State 2.2.1: <div>PAR1<div> |
83
|
|
|
// ---- |
84
|
|
|
|
85
|
|
|
// State 2.2.2: <div>PAR1<b>PAR1</b></div> |
86
|
|
|
// ---- |
87
|
|
|
} |
88
|
|
|
} |
89
|
|
|
// Is the current parent a <p> tag? |
90
|
|
|
} elseif (!empty($this->currentNesting) && |
91
|
|
|
$this->currentNesting[count($this->currentNesting) - 1]->name == 'p') { |
92
|
|
|
// State 3.1: ...<p>PAR1 |
93
|
|
|
// ---- |
94
|
|
|
|
95
|
|
|
// State 3.2: ...<p>PAR1\n\nPAR2 |
96
|
|
|
// ------------ |
97
|
|
|
$token = array(); |
98
|
|
|
$this->_splitText($text, $token); |
99
|
|
|
// Abort! |
100
|
|
|
} else { |
101
|
|
|
// State 4.1: ...<b>PAR1 |
102
|
|
|
// ---- |
103
|
|
|
|
104
|
|
|
// State 4.2: ...<b>PAR1\n\nPAR2 |
105
|
|
|
// ------------ |
106
|
|
|
} |
107
|
|
|
} |
108
|
|
|
|
109
|
|
|
/** |
110
|
|
|
* @param HTMLPurifier_Token $token |
111
|
|
|
*/ |
112
|
|
|
public function handleElement(&$token) |
113
|
|
|
{ |
114
|
|
|
// We don't have to check if we're already in a <p> tag for block |
115
|
|
|
// tokens, because the tag would have been autoclosed by MakeWellFormed. |
116
|
|
|
if ($this->allowsElement('p')) { |
117
|
|
|
if (!empty($this->currentNesting)) { |
118
|
|
|
if ($this->_isInline($token)) { |
119
|
|
|
// State 1: <div>...<b> |
120
|
|
|
// --- |
121
|
|
|
// Check if this token is adjacent to the parent token |
122
|
|
|
// (seek backwards until token isn't whitespace) |
123
|
|
|
$i = null; |
124
|
|
|
$this->backward($i, $prev); |
125
|
|
|
|
126
|
|
|
if (!$prev instanceof HTMLPurifier_Token_Start) { |
127
|
|
|
// Token wasn't adjacent |
128
|
|
|
if ($prev instanceof HTMLPurifier_Token_Text && |
129
|
|
|
substr($prev->data, -2) === "\n\n" |
130
|
|
|
) { |
131
|
|
|
// State 1.1.4: <div><p>PAR1</p>\n\n<b> |
132
|
|
|
// --- |
133
|
|
|
// Quite frankly, this should be handled by splitText |
134
|
|
|
$token = array($this->_pStart(), $token); |
135
|
|
|
} else { |
136
|
|
|
// State 1.1.1: <div><p>PAR1</p><b> |
137
|
|
|
// --- |
138
|
|
|
// State 1.1.2: <div><br /><b> |
139
|
|
|
// --- |
140
|
|
|
// State 1.1.3: <div>PAR<b> |
141
|
|
|
// --- |
142
|
|
|
} |
143
|
|
|
} else { |
144
|
|
|
// State 1.2.1: <div><b> |
145
|
|
|
// --- |
146
|
|
|
// Lookahead to see if <p> is needed. |
147
|
|
|
if ($this->_pLookAhead()) { |
148
|
|
|
// State 1.3.1: <div><b>PAR1\n\nPAR2 |
149
|
|
|
// --- |
150
|
|
|
$token = array($this->_pStart(), $token); |
151
|
|
|
} else { |
152
|
|
|
// State 1.3.2: <div><b>PAR1</b></div> |
153
|
|
|
// --- |
154
|
|
|
|
155
|
|
|
// State 1.3.3: <div><b>PAR1</b><div></div>\n\n</div> |
156
|
|
|
// --- |
157
|
|
|
} |
158
|
|
|
} |
159
|
|
|
} else { |
160
|
|
|
// State 2.3: ...<div> |
161
|
|
|
// ----- |
162
|
|
|
} |
163
|
|
|
} else { |
164
|
|
|
if ($this->_isInline($token)) { |
165
|
|
|
// State 3.1: <b> |
166
|
|
|
// --- |
167
|
|
|
// This is where the {p} tag is inserted, not reflected in |
168
|
|
|
// inputTokens yet, however. |
169
|
|
|
$token = array($this->_pStart(), $token); |
170
|
|
|
} else { |
171
|
|
|
// State 3.2: <div> |
172
|
|
|
// ----- |
173
|
|
|
} |
174
|
|
|
|
175
|
|
|
$i = null; |
176
|
|
|
if ($this->backward($i, $prev)) { |
177
|
|
|
if (!$prev instanceof HTMLPurifier_Token_Text) { |
178
|
|
|
// State 3.1.1: ...</p>{p}<b> |
179
|
|
|
// --- |
180
|
|
|
// State 3.2.1: ...</p><div> |
181
|
|
|
// ----- |
182
|
|
|
if (!is_array($token)) { |
183
|
|
|
$token = array($token); |
184
|
|
|
} |
185
|
|
|
array_unshift($token, new HTMLPurifier_Token_Text("\n\n")); |
186
|
|
|
} else { |
187
|
|
|
// State 3.1.2: ...</p>\n\n{p}<b> |
188
|
|
|
// --- |
189
|
|
|
// State 3.2.2: ...</p>\n\n<div> |
190
|
|
|
// ----- |
191
|
|
|
// Note: PAR<ELEM> cannot occur because PAR would have been |
192
|
|
|
// wrapped in <p> tags. |
193
|
|
|
} |
194
|
|
|
} |
195
|
|
|
} |
196
|
|
|
} else { |
197
|
|
|
// State 2.2: <ul><li> |
198
|
|
|
// ---- |
199
|
|
|
// State 2.4: <p><b> |
200
|
|
|
// --- |
201
|
|
|
} |
202
|
|
|
} |
203
|
|
|
|
204
|
|
|
/** |
205
|
|
|
* Splits up a text in paragraph tokens and appends them |
206
|
|
|
* to the result stream that will replace the original |
207
|
|
|
* @param string $data String text data that will be processed |
208
|
|
|
* into paragraphs |
209
|
|
|
* @param HTMLPurifier_Token[] $result Reference to array of tokens that the |
210
|
|
|
* tags will be appended onto |
211
|
|
|
*/ |
212
|
|
|
private function _splitText($data, &$result) |
213
|
|
|
{ |
214
|
|
|
$raw_paragraphs = explode("\n\n", $data); |
215
|
|
|
$paragraphs = array(); // without empty paragraphs |
216
|
|
|
$needs_start = false; |
217
|
|
|
$needs_end = false; |
218
|
|
|
|
219
|
|
|
$c = count($raw_paragraphs); |
220
|
|
|
if ($c == 1) { |
221
|
|
|
// There were no double-newlines, abort quickly. In theory this |
222
|
|
|
// should never happen. |
223
|
|
|
$result[] = new HTMLPurifier_Token_Text($data); |
224
|
|
|
return; |
225
|
|
|
} |
226
|
|
|
for ($i = 0; $i < $c; $i++) { |
227
|
|
|
$par = $raw_paragraphs[$i]; |
228
|
|
|
if (trim($par) !== '') { |
229
|
|
|
$paragraphs[] = $par; |
230
|
|
|
} else { |
231
|
|
|
if ($i == 0) { |
232
|
|
|
// Double newline at the front |
233
|
|
|
if (empty($result)) { |
234
|
|
|
// The empty result indicates that the AutoParagraph |
235
|
|
|
// injector did not add any start paragraph tokens. |
236
|
|
|
// This means that we have been in a paragraph for |
237
|
|
|
// a while, and the newline means we should start a new one. |
238
|
|
|
$result[] = new HTMLPurifier_Token_End('p'); |
239
|
|
|
$result[] = new HTMLPurifier_Token_Text("\n\n"); |
240
|
|
|
// However, the start token should only be added if |
241
|
|
|
// there is more processing to be done (i.e. there are |
242
|
|
|
// real paragraphs in here). If there are none, the |
243
|
|
|
// next start paragraph tag will be handled by the |
244
|
|
|
// next call to the injector |
245
|
|
|
$needs_start = true; |
246
|
|
|
} else { |
247
|
|
|
// We just started a new paragraph! |
248
|
|
|
// Reinstate a double-newline for presentation's sake, since |
249
|
|
|
// it was in the source code. |
250
|
|
|
array_unshift($result, new HTMLPurifier_Token_Text("\n\n")); |
251
|
|
|
} |
252
|
|
|
} elseif ($i + 1 == $c) { |
253
|
|
|
// Double newline at the end |
254
|
|
|
// There should be a trailing </p> when we're finally done. |
255
|
|
|
$needs_end = true; |
256
|
|
|
} |
257
|
|
|
} |
258
|
|
|
} |
259
|
|
|
|
260
|
|
|
// Check if this was just a giant blob of whitespace. Move this earlier, |
261
|
|
|
// perhaps? |
262
|
|
|
if (empty($paragraphs)) { |
263
|
|
|
return; |
264
|
|
|
} |
265
|
|
|
|
266
|
|
|
// Add the start tag indicated by \n\n at the beginning of $data |
267
|
|
|
if ($needs_start) { |
|
|
|
|
268
|
|
|
$result[] = $this->_pStart(); |
269
|
|
|
} |
270
|
|
|
|
271
|
|
|
// Append the paragraphs onto the result |
272
|
|
|
foreach ($paragraphs as $par) { |
273
|
|
|
$result[] = new HTMLPurifier_Token_Text($par); |
274
|
|
|
$result[] = new HTMLPurifier_Token_End('p'); |
275
|
|
|
$result[] = new HTMLPurifier_Token_Text("\n\n"); |
276
|
|
|
$result[] = $this->_pStart(); |
277
|
|
|
} |
278
|
|
|
|
279
|
|
|
// Remove trailing start token; Injector will handle this later if |
280
|
|
|
// it was indeed needed. This prevents from needing to do a lookahead, |
281
|
|
|
// at the cost of a lookbehind later. |
282
|
|
|
array_pop($result); |
283
|
|
|
|
284
|
|
|
// If there is no need for an end tag, remove all of it and let |
285
|
|
|
// MakeWellFormed close it later. |
286
|
|
|
if (!$needs_end) { |
|
|
|
|
287
|
|
|
array_pop($result); // removes \n\n |
288
|
|
|
array_pop($result); // removes </p> |
289
|
|
|
} |
290
|
|
|
} |
291
|
|
|
|
292
|
|
|
/** |
293
|
|
|
* Returns true if passed token is inline (and, ergo, allowed in |
294
|
|
|
* paragraph tags) |
295
|
|
|
* @param HTMLPurifier_Token $token |
296
|
|
|
* @return bool |
297
|
|
|
*/ |
298
|
|
|
private function _isInline($token) |
299
|
|
|
{ |
300
|
|
|
return isset($this->htmlDefinition->info['p']->child->elements[$token->name]); |
|
|
|
|
301
|
|
|
} |
302
|
|
|
|
303
|
|
|
/** |
304
|
|
|
* Looks ahead in the token list and determines whether or not we need |
305
|
|
|
* to insert a <p> tag. |
306
|
|
|
* @return bool |
307
|
|
|
*/ |
308
|
|
|
private function _pLookAhead() |
309
|
|
|
{ |
310
|
|
|
if ($this->currentToken instanceof HTMLPurifier_Token_Start) { |
311
|
|
|
$nesting = 1; |
312
|
|
|
} else { |
313
|
|
|
$nesting = 0; |
314
|
|
|
} |
315
|
|
|
$ok = false; |
316
|
|
|
$i = null; |
317
|
|
|
while ($this->forwardUntilEndToken($i, $current, $nesting)) { |
318
|
|
|
$result = $this->_checkNeedsP($current); |
319
|
|
|
if ($result !== null) { |
320
|
|
|
$ok = $result; |
321
|
|
|
break; |
322
|
|
|
} |
323
|
|
|
} |
324
|
|
|
return $ok; |
325
|
|
|
} |
326
|
|
|
|
327
|
|
|
/** |
328
|
|
|
* Determines if a particular token requires an earlier inline token |
329
|
|
|
* to get a paragraph. This should be used with _forwardUntilEndToken |
330
|
|
|
* @param HTMLPurifier_Token $current |
331
|
|
|
* @return bool |
332
|
|
|
*/ |
333
|
|
|
private function _checkNeedsP($current) |
334
|
|
|
{ |
335
|
|
|
if ($current instanceof HTMLPurifier_Token_Start) { |
336
|
|
|
if (!$this->_isInline($current)) { |
337
|
|
|
// <div>PAR1<div> |
338
|
|
|
// ---- |
339
|
|
|
// Terminate early, since we hit a block element |
340
|
|
|
return false; |
341
|
|
|
} |
342
|
|
|
} elseif ($current instanceof HTMLPurifier_Token_Text) { |
343
|
|
|
if (strpos($current->data, "\n\n") !== false) { |
344
|
|
|
// <div>PAR1<b>PAR1\n\nPAR2 |
345
|
|
|
// ---- |
346
|
|
|
return true; |
347
|
|
|
} else { |
348
|
|
|
// <div>PAR1<b>PAR1... |
349
|
|
|
// ---- |
350
|
|
|
} |
351
|
|
|
} |
352
|
|
|
return null; |
353
|
|
|
} |
354
|
|
|
} |
355
|
|
|
|
356
|
|
|
// vim: et sw=4 sts=4 |
357
|
|
|
|