1
|
|
|
<?php |
2
|
|
|
|
3
|
|
|
namespace uuf6429\ExpressionLanguage; |
4
|
|
|
|
5
|
|
|
use uuf6429\ExpressionLanguage\Node\ArrowFuncNode; |
6
|
|
|
use Symfony\Component\ExpressionLanguage\Node\ArgumentsNode; |
7
|
|
|
use Symfony\Component\ExpressionLanguage\Node\ArrayNode; |
8
|
|
|
use Symfony\Component\ExpressionLanguage\Node\BinaryNode; |
9
|
|
|
use Symfony\Component\ExpressionLanguage\Node\ConditionalNode; |
10
|
|
|
use Symfony\Component\ExpressionLanguage\Node\ConstantNode; |
11
|
|
|
use Symfony\Component\ExpressionLanguage\Node\FunctionNode; |
12
|
|
|
use Symfony\Component\ExpressionLanguage\Node\GetAttrNode; |
13
|
|
|
use Symfony\Component\ExpressionLanguage\Node\NameNode; |
14
|
|
|
use Symfony\Component\ExpressionLanguage\Node\Node; |
15
|
|
|
use Symfony\Component\ExpressionLanguage\Node\UnaryNode; |
16
|
|
|
use Symfony\Component\ExpressionLanguage\Token; |
17
|
|
|
use Symfony\Component\ExpressionLanguage\SyntaxError; |
18
|
|
|
use Symfony\Component\ExpressionLanguage\Parser as SymfonyParser; |
19
|
|
|
use Symfony\Component\ExpressionLanguage\TokenStream as SymfonyTokenStream; |
20
|
|
|
|
21
|
|
|
class Parser extends SymfonyParser |
22
|
|
|
{ |
23
|
|
|
public const OPERATOR_LEFT = 1; |
24
|
|
|
public const OPERATOR_RIGHT = 2; |
25
|
|
|
|
26
|
|
|
private const TOKEN_REPLACEMENT_TYPE = 'replacement'; |
27
|
|
|
|
28
|
|
|
/** @var TokenStream */ |
29
|
|
|
private $stream; |
|
|
|
|
30
|
|
|
|
31
|
|
|
/** @var array */ |
32
|
|
|
private $unaryOperators; |
|
|
|
|
33
|
|
|
|
34
|
|
|
/** @var array */ |
35
|
|
|
private $binaryOperators; |
|
|
|
|
36
|
|
|
|
37
|
|
|
/** @var array */ |
38
|
|
|
private $functions; |
|
|
|
|
39
|
|
|
|
40
|
|
|
/** @var string[] */ |
41
|
|
|
private $names; |
|
|
|
|
42
|
|
|
|
43
|
|
|
/** @var Node[] */ |
44
|
27 |
|
private $replacementNodes; |
45
|
|
|
|
46
|
27 |
|
public function __construct(array $functions) |
47
|
|
|
{ |
48
|
27 |
|
parent::__construct($functions); |
49
|
|
|
|
50
|
|
|
$this->functions = $functions; |
51
|
|
|
|
52
|
|
|
$this->unaryOperators = array( |
53
|
|
|
'not' => array('precedence' => 50), |
54
|
27 |
|
'!' => array('precedence' => 50), |
55
|
27 |
|
'-' => array('precedence' => 500), |
56
|
27 |
|
'+' => array('precedence' => 500), |
57
|
27 |
|
); |
58
|
27 |
|
$this->binaryOperators = array( |
59
|
27 |
|
'->' => array('precedence' => 5, 'associativity' => self::OPERATOR_LEFT), |
60
|
27 |
|
'or' => array('precedence' => 10, 'associativity' => self::OPERATOR_LEFT), |
61
|
27 |
|
'||' => array('precedence' => 10, 'associativity' => self::OPERATOR_LEFT), |
62
|
27 |
|
'and' => array('precedence' => 15, 'associativity' => self::OPERATOR_LEFT), |
63
|
27 |
|
'&&' => array('precedence' => 15, 'associativity' => self::OPERATOR_LEFT), |
64
|
27 |
|
'|' => array('precedence' => 16, 'associativity' => self::OPERATOR_LEFT), |
65
|
27 |
|
'^' => array('precedence' => 17, 'associativity' => self::OPERATOR_LEFT), |
66
|
27 |
|
'&' => array('precedence' => 18, 'associativity' => self::OPERATOR_LEFT), |
67
|
27 |
|
'==' => array('precedence' => 20, 'associativity' => self::OPERATOR_LEFT), |
68
|
27 |
|
'===' => array('precedence' => 20, 'associativity' => self::OPERATOR_LEFT), |
69
|
27 |
|
'!=' => array('precedence' => 20, 'associativity' => self::OPERATOR_LEFT), |
70
|
27 |
|
'!==' => array('precedence' => 20, 'associativity' => self::OPERATOR_LEFT), |
71
|
27 |
|
'<' => array('precedence' => 20, 'associativity' => self::OPERATOR_LEFT), |
72
|
27 |
|
'>' => array('precedence' => 20, 'associativity' => self::OPERATOR_LEFT), |
73
|
27 |
|
'>=' => array('precedence' => 20, 'associativity' => self::OPERATOR_LEFT), |
74
|
27 |
|
'<=' => array('precedence' => 20, 'associativity' => self::OPERATOR_LEFT), |
75
|
27 |
|
'not in' => array('precedence' => 20, 'associativity' => self::OPERATOR_LEFT), |
76
|
27 |
|
'in' => array('precedence' => 20, 'associativity' => self::OPERATOR_LEFT), |
77
|
27 |
|
'matches' => array('precedence' => 20, 'associativity' => self::OPERATOR_LEFT), |
78
|
27 |
|
'..' => array('precedence' => 25, 'associativity' => self::OPERATOR_LEFT), |
79
|
27 |
|
'+' => array('precedence' => 30, 'associativity' => self::OPERATOR_LEFT), |
80
|
27 |
|
'-' => array('precedence' => 30, 'associativity' => self::OPERATOR_LEFT), |
81
|
27 |
|
'~' => array('precedence' => 40, 'associativity' => self::OPERATOR_LEFT), |
82
|
|
|
'*' => array('precedence' => 60, 'associativity' => self::OPERATOR_LEFT), |
83
|
|
|
'/' => array('precedence' => 60, 'associativity' => self::OPERATOR_LEFT), |
84
|
27 |
|
'%' => array('precedence' => 60, 'associativity' => self::OPERATOR_LEFT), |
85
|
27 |
|
'**' => array('precedence' => 200, 'associativity' => self::OPERATOR_RIGHT), |
86
|
|
|
); |
87
|
|
|
|
88
|
|
|
$this->replacementNodes = array(); |
89
|
|
|
} |
90
|
|
|
|
91
|
|
|
/** |
92
|
|
|
* Converts a token stream to a node tree. |
93
|
|
|
* |
94
|
|
|
* The valid names is an array where the values |
95
|
|
|
* are the names that the user can use in an expression. |
96
|
|
|
* |
97
|
|
|
* If the variable name in the compiled PHP code must be |
98
|
|
|
* different, define it as the key. |
99
|
|
|
* |
100
|
|
|
* For instance, ['this' => 'container'] means that the |
101
|
|
|
* variable 'container' can be used in the expression |
102
|
|
|
* but the compiled code will use 'this'. |
103
|
|
|
* |
104
|
|
|
* @param TokenStream $stream A token stream instance |
105
|
|
|
* @param array $names An array of valid names |
106
|
|
|
* |
107
|
27 |
|
* @return Node A node tree |
108
|
|
|
* |
109
|
27 |
|
* @throws SyntaxError |
110
|
|
|
*/ |
111
|
27 |
|
public function parse(SymfonyTokenStream $stream, $names = array()) |
112
|
|
|
{ |
113
|
27 |
|
$this->names = $names; |
114
|
27 |
|
|
115
|
|
|
$stream = $this->preParseArrowFuncs($stream); |
|
|
|
|
116
|
21 |
|
|
117
|
|
|
$this->stream = $stream; |
118
|
|
|
$node = $this->parseExpression(); |
119
|
|
|
|
120
|
|
|
if (!$stream->isEOF()) { |
121
|
|
|
throw new SyntaxError( |
122
|
|
|
sprintf( |
123
|
|
|
'Unexpected token "%s" of value "%s"', |
124
|
|
|
$stream->current->type, |
125
|
|
|
$stream->current->value |
126
|
|
|
), |
127
|
21 |
|
$stream->current->cursor |
128
|
|
|
); |
129
|
|
|
} |
130
|
|
|
|
131
|
|
|
return $node; |
132
|
|
|
} |
133
|
|
|
|
134
|
|
|
/** |
135
|
|
|
* Replaces all anonymous functions with placeholder tokens. |
136
|
|
|
* |
137
|
27 |
|
* @param TokenStream $stream |
138
|
|
|
* |
139
|
27 |
|
* @return TokenStream |
140
|
27 |
|
*/ |
141
|
3 |
|
protected function preParseArrowFuncs(TokenStream $stream) |
142
|
3 |
|
{ |
143
|
3 |
|
while (!$stream->isEOF()) { |
144
|
3 |
|
if ($stream->current->test(Token::OPERATOR_TYPE, '->')) { |
145
|
|
|
$operatorPos = $stream->position(); |
146
|
|
|
$operatorCursor = $stream->current->cursor; |
147
|
3 |
|
$replacementNodeIndex = count($this->replacementNodes); |
148
|
3 |
|
$this->replacementNodes[$replacementNodeIndex] = null; |
149
|
3 |
|
|
150
|
3 |
|
// parse parameters |
151
|
3 |
|
$parameterNames = array(); |
152
|
3 |
|
$parameterNodes = array(); |
153
|
3 |
|
$expectParam = true; |
154
|
3 |
|
$stream->prev(); |
155
|
3 |
|
$stream->expectPrev(Token::PUNCTUATION_TYPE, ')', 'Parameter list must end with parenthesis'); |
156
|
3 |
|
while (!$stream->current->test(Token::PUNCTUATION_TYPE, '(')) { |
157
|
3 |
|
if ($expectParam) { |
158
|
|
|
$stream->current->test(Token::NAME_TYPE); |
|
|
|
|
159
|
2 |
|
array_unshift($parameterNames, $stream->current->value); |
160
|
|
|
array_unshift($parameterNodes, new NameNode($stream->current->value)); |
161
|
3 |
|
$stream->prev(); |
162
|
|
|
} else { |
163
|
3 |
|
$stream->expectPrev(Token::PUNCTUATION_TYPE, ',', 'Parameters must be separated by a comma'); |
164
|
|
|
} |
165
|
|
|
$expectParam = !$expectParam; |
166
|
3 |
|
} |
167
|
3 |
|
$startPos = $stream->position(); |
168
|
3 |
|
|
169
|
3 |
|
// parse body |
170
|
3 |
|
$stream->seek($operatorPos, SEEK_SET); |
171
|
3 |
|
$stream->next(); |
172
|
3 |
|
$stream->expect(Token::PUNCTUATION_TYPE, '{', 'Anonymous function body must start with a curly bracket'); |
173
|
1 |
|
$bodyTokens = array(); |
174
|
|
|
$openingBracketCount = 1; |
175
|
|
|
while ($openingBracketCount != 0) { |
176
|
3 |
|
if ($stream->current->test(Token::PUNCTUATION_TYPE, '{')) { |
177
|
3 |
|
++$openingBracketCount; |
178
|
|
|
} |
179
|
|
|
|
180
|
3 |
|
if ($stream->current->test(Token::PUNCTUATION_TYPE, '}')) { |
181
|
3 |
|
--$openingBracketCount; |
182
|
3 |
|
} |
183
|
|
|
|
184
|
3 |
|
if (!$openingBracketCount) { |
185
|
3 |
|
$currentNames = $this->names; |
186
|
3 |
|
$currentStream = $this->stream; |
187
|
|
|
|
188
|
|
|
$bodyTokens[] = new Token(Token::EOF_TYPE, null, 0); |
189
|
|
|
$bodyNode = $this->parse( |
190
|
3 |
|
new TokenStream($bodyTokens), |
191
|
3 |
|
array_merge($currentNames, $parameterNames) |
192
|
3 |
|
); |
193
|
|
|
|
194
|
|
|
$this->names = $currentNames; |
195
|
3 |
|
$this->stream = $currentStream; |
196
|
3 |
|
break; |
197
|
|
|
} |
198
|
3 |
|
|
199
|
3 |
|
$bodyTokens[] = $stream->current; |
200
|
|
|
$stream->next(); |
201
|
|
|
} |
202
|
3 |
|
$stream->expect(Token::PUNCTUATION_TYPE, '}', 'Anonymous function body must end with a curly bracket'); |
203
|
3 |
|
$endPos = $stream->position(); |
204
|
3 |
|
|
205
|
|
|
// update token stream |
206
|
|
|
$this->replacementNodes[$replacementNodeIndex] = new ArrowFuncNode($parameterNodes, $bodyNode); |
|
|
|
|
207
|
3 |
|
$replacement = new Token(static::TOKEN_REPLACEMENT_TYPE, $replacementNodeIndex, $operatorCursor); |
208
|
|
|
$stream = $stream->splice($startPos, $endPos - $startPos, array($replacement)); |
209
|
|
|
|
210
|
27 |
|
// keep parsing anonymous functions |
211
|
|
|
$stream->seek($startPos, SEEK_SET); |
212
|
27 |
|
} |
213
|
|
|
|
214
|
27 |
|
$stream->next(); |
215
|
|
|
} |
216
|
|
|
$stream->rewind(); |
217
|
27 |
|
|
218
|
|
|
return $stream; |
219
|
27 |
|
} |
220
|
21 |
|
|
221
|
21 |
|
public function parseExpression($precedence = 0) |
222
|
6 |
|
{ |
223
|
6 |
|
$expr = $this->getPrimary(); |
224
|
|
|
$token = $this->stream->current; |
225
|
6 |
|
while ($token->test(Token::OPERATOR_TYPE) && isset($this->binaryOperators[$token->value]) && $this->binaryOperators[$token->value]['precedence'] >= $precedence) { |
226
|
6 |
|
$op = $this->binaryOperators[$token->value]; |
227
|
|
|
$this->stream->next(); |
228
|
6 |
|
|
229
|
|
|
$expr1 = $this->parseExpression(self::OPERATOR_LEFT === $op['associativity'] ? $op['precedence'] + 1 : $op['precedence']); |
230
|
|
|
$expr = new BinaryNode($token->value, $expr, $expr1); |
231
|
21 |
|
|
232
|
21 |
|
$token = $this->stream->current; |
233
|
|
|
} |
234
|
|
|
|
235
|
7 |
|
if (0 === $precedence) { |
236
|
|
|
return $this->parseConditionalExpression($expr); |
237
|
|
|
} |
238
|
27 |
|
|
239
|
|
|
return $expr; |
240
|
27 |
|
} |
241
|
|
|
|
242
|
27 |
|
protected function getPrimary() |
243
|
1 |
|
{ |
244
|
1 |
|
$token = $this->stream->current; |
245
|
1 |
|
|
246
|
|
|
if ($token->test(Token::OPERATOR_TYPE) && isset($this->unaryOperators[$token->value])) { |
247
|
1 |
|
$operator = $this->unaryOperators[$token->value]; |
248
|
|
|
$this->stream->next(); |
249
|
|
|
$expr = $this->parseExpression($operator['precedence']); |
250
|
27 |
|
|
251
|
1 |
|
return $this->parsePostfixExpression(new UnaryNode($token->value, $expr)); |
252
|
1 |
|
} |
253
|
1 |
|
|
254
|
|
|
if ($token->test(Token::PUNCTUATION_TYPE, '(')) { |
255
|
1 |
|
$this->stream->next(); |
256
|
|
|
$expr = $this->parseExpression(); |
257
|
|
|
$this->stream->expect(Token::PUNCTUATION_TYPE, ')', 'An opened parenthesis is not properly closed'); |
258
|
27 |
|
|
259
|
|
|
return $this->parsePostfixExpression($expr); |
260
|
|
|
} |
261
|
21 |
|
|
262
|
|
|
return $this->parsePrimaryExpression(); |
263
|
21 |
|
} |
264
|
1 |
|
|
265
|
1 |
|
protected function parseConditionalExpression($expr): Node |
266
|
1 |
|
{ |
267
|
1 |
|
while ($this->stream->current->test(Token::PUNCTUATION_TYPE, '?')) { |
268
|
1 |
|
$this->stream->next(); |
269
|
1 |
|
if (!$this->stream->current->test(Token::PUNCTUATION_TYPE, ':')) { |
270
|
|
|
$expr2 = $this->parseExpression(); |
271
|
1 |
|
if ($this->stream->current->test(Token::PUNCTUATION_TYPE, ':')) { |
272
|
|
|
$this->stream->next(); |
273
|
|
|
$expr3 = $this->parseExpression(); |
274
|
|
|
} else { |
275
|
|
|
$expr3 = new ConstantNode(null); |
276
|
|
|
} |
277
|
|
|
} else { |
278
|
|
|
$this->stream->next(); |
279
|
1 |
|
$expr2 = $expr; |
280
|
|
|
$expr3 = $this->parseExpression(); |
281
|
|
|
} |
282
|
21 |
|
|
283
|
|
|
$expr = new ConditionalNode($expr, $expr2, $expr3); |
284
|
|
|
} |
285
|
27 |
|
|
286
|
|
|
return $expr; |
287
|
27 |
|
} |
288
|
27 |
|
|
289
|
27 |
|
public function parsePrimaryExpression() |
290
|
21 |
|
{ |
291
|
21 |
|
$token = $this->stream->current; |
292
|
21 |
|
switch ($token->type) { |
293
|
20 |
|
case Token::NAME_TYPE: |
294
|
3 |
|
$this->stream->next(); |
295
|
|
|
switch ($token->value) { |
296
|
20 |
|
case 'true': |
297
|
18 |
|
case 'TRUE': |
298
|
2 |
|
return new ConstantNode(true); |
299
|
|
|
|
300
|
18 |
|
case 'false': |
301
|
17 |
|
case 'FALSE': |
302
|
1 |
|
return new ConstantNode(false); |
303
|
|
|
|
304
|
|
|
case 'null': |
305
|
17 |
|
case 'NULL': |
306
|
2 |
|
return new ConstantNode(null); |
307
|
|
|
|
308
|
|
|
default: |
309
|
|
|
if ('(' === $this->stream->current->value) { |
310
|
2 |
|
if (false === isset($this->functions[$token->value])) { |
311
|
|
|
throw new SyntaxError(sprintf('The function "%s" does not exist', $token->value), $token->cursor); |
312
|
17 |
|
} |
313
|
2 |
|
|
314
|
|
|
$node = new FunctionNode($token->value, $this->parseArguments()); |
315
|
|
|
} else { |
316
|
|
|
if (!in_array($token->value, $this->names, true)) { |
317
|
|
|
throw new SyntaxError(sprintf('Variable "%s" is not valid', $token->value), $token->cursor); |
318
|
15 |
|
} |
319
|
14 |
|
|
320
|
|
|
// is the name used in the compiled code different |
321
|
|
|
// from the name used in the expression? |
322
|
15 |
|
if (is_int($name = array_search($token->value, $this->names))) { |
323
|
|
|
$name = $token->value; |
324
|
|
|
} |
325
|
15 |
|
|
326
|
|
|
$node = new NameNode($name); |
327
|
12 |
|
} |
328
|
6 |
|
} |
329
|
10 |
|
break; |
330
|
|
|
|
331
|
10 |
|
case Token::NUMBER_TYPE: |
332
|
|
|
case Token::STRING_TYPE: |
333
|
3 |
|
$this->stream->next(); |
334
|
3 |
|
|
335
|
|
|
return new ConstantNode($token->value); |
336
|
3 |
|
|
337
|
|
|
case static::TOKEN_REPLACEMENT_TYPE: |
338
|
|
|
$this->stream->next(); |
339
|
|
|
|
340
|
|
|
return $this->replacementNodes[$token->value]; |
341
|
|
|
|
342
|
|
|
default: |
343
|
|
|
if ($token->test(Token::PUNCTUATION_TYPE, '[')) { |
344
|
|
|
$node = $this->parseArrayExpression(); |
345
|
|
|
} elseif ($token->test(Token::PUNCTUATION_TYPE, '{')) { |
346
|
|
|
$node = $this->parseHashExpression(); |
347
|
|
|
} else { |
348
|
15 |
|
throw new SyntaxError(sprintf('Unexpected token "%s" of value "%s"', $token->type, $token->value), $token->cursor); |
349
|
|
|
} |
350
|
|
|
} |
351
|
|
|
|
352
|
|
|
return $this->parsePostfixExpression($node); |
353
|
|
|
} |
354
|
|
|
|
355
|
|
|
public function parseArrayExpression(): ArrayNode |
356
|
|
|
{ |
357
|
|
|
$this->stream->expect(Token::PUNCTUATION_TYPE, '[', 'An array element was expected'); |
358
|
|
|
|
359
|
|
|
$node = new ArrayNode(); |
360
|
|
|
$first = true; |
361
|
|
|
while (!$this->stream->current->test(Token::PUNCTUATION_TYPE, ']')) { |
362
|
|
|
if (!$first) { |
363
|
|
|
$this->stream->expect(Token::PUNCTUATION_TYPE, ',', 'An array element must be followed by a comma'); |
364
|
|
|
|
365
|
|
|
// trailing ,? |
366
|
|
|
if ($this->stream->current->test(Token::PUNCTUATION_TYPE, ']')) { |
367
|
|
|
break; |
368
|
|
|
} |
369
|
|
|
} |
370
|
|
|
$first = false; |
371
|
|
|
|
372
|
|
|
$node->addElement($this->parseExpression()); |
373
|
|
|
} |
374
|
|
|
$this->stream->expect(Token::PUNCTUATION_TYPE, ']', 'An opened array is not properly closed'); |
375
|
|
|
|
376
|
|
|
return $node; |
377
|
|
|
} |
378
|
|
|
|
379
|
|
|
public function parseHashExpression(): ArrayNode |
380
|
|
|
{ |
381
|
|
|
$this->stream->expect(Token::PUNCTUATION_TYPE, '{', 'A hash element was expected'); |
382
|
|
|
|
383
|
|
|
$node = new ArrayNode(); |
384
|
|
|
$first = true; |
385
|
|
|
while (!$this->stream->current->test(Token::PUNCTUATION_TYPE, '}')) { |
386
|
|
|
if (!$first) { |
387
|
|
|
$this->stream->expect(Token::PUNCTUATION_TYPE, ',', 'A hash value must be followed by a comma'); |
388
|
|
|
|
389
|
|
|
// trailing ,? |
390
|
|
|
if ($this->stream->current->test(Token::PUNCTUATION_TYPE, '}')) { |
391
|
|
|
break; |
392
|
|
|
} |
393
|
|
|
} |
394
|
|
|
$first = false; |
395
|
|
|
|
396
|
|
|
// a hash key can be: |
397
|
|
|
|
398
|
|
|
// * a number -- 12 |
399
|
|
|
// * a string -- 'a' |
400
|
|
|
// * a name, which is equivalent to a string -- a |
401
|
|
|
// * an expression, which must be enclosed in parentheses -- (1 + 2) |
402
|
|
|
if ($this->stream->current->test(Token::STRING_TYPE) || $this->stream->current->test(Token::NAME_TYPE) || $this->stream->current->test(Token::NUMBER_TYPE)) { |
403
|
|
|
$key = new ConstantNode($this->stream->current->value); |
404
|
|
|
$this->stream->next(); |
405
|
|
|
} elseif ($this->stream->current->test(Token::PUNCTUATION_TYPE, '(')) { |
406
|
|
|
$key = $this->parseExpression(); |
407
|
|
|
} else { |
408
|
|
|
$current = $this->stream->current; |
409
|
|
|
|
410
|
|
|
throw new SyntaxError(sprintf('A hash key must be a quoted string, a number, a name, or an expression enclosed in parentheses (unexpected token "%s" of value "%s"', $current->type, $current->value), $current->cursor); |
411
|
|
|
} |
412
|
|
|
|
413
|
|
|
$this->stream->expect(Token::PUNCTUATION_TYPE, ':', 'A hash key must be followed by a colon (:)'); |
414
|
|
|
$value = $this->parseExpression(); |
415
|
|
|
|
416
|
|
|
$node->addElement($value, $key); |
417
|
|
|
} |
418
|
|
|
$this->stream->expect(Token::PUNCTUATION_TYPE, '}', 'An opened hash is not properly closed'); |
419
|
17 |
|
|
420
|
|
|
return $node; |
421
|
17 |
|
} |
422
|
17 |
|
|
423
|
12 |
|
public function parsePostfixExpression($node): Node |
424
|
9 |
|
{ |
425
|
9 |
|
$token = $this->stream->current; |
426
|
9 |
|
while ($token->type === Token::PUNCTUATION_TYPE) { |
427
|
|
|
if ('.' === $token->value) { |
428
|
|
|
$this->stream->next(); |
429
|
9 |
|
$token = $this->stream->current; |
430
|
|
|
$this->stream->next(); |
431
|
|
|
|
432
|
|
|
if ( |
433
|
|
|
$token->type !== Token::NAME_TYPE |
434
|
|
|
&& |
435
|
|
|
// Operators like "not" and "matches" are valid method or property names, |
436
|
|
|
|
437
|
|
|
// In other words, besides NAME_TYPE, OPERATOR_TYPE could also be parsed as a property or method. |
438
|
|
|
// This is because operators are processed by the lexer prior to names. So "not" in "foo.not()" or "matches" in "foo.matches" will be recognized as an operator first. |
439
|
|
|
// But in fact, "not" and "matches" in such expressions shall be parsed as method or property names. |
440
|
|
|
|
441
|
|
|
// And this ONLY works if the operator consists of valid characters for a property or method name. |
442
|
9 |
|
|
443
|
|
|
// Other types, such as STRING_TYPE and NUMBER_TYPE, can't be parsed as property nor method names. |
444
|
4 |
|
|
445
|
|
|
// As a result, if $token is NOT an operator OR $token->value is NOT a valid property or method name, an exception shall be thrown. |
446
|
|
|
($token->type !== Token::OPERATOR_TYPE || !preg_match('/[a-zA-Z_\x7f-\xff][a-zA-Z0-9_\x7f-\xff]*/A', $token->value)) |
447
|
5 |
|
) { |
448
|
|
|
throw new SyntaxError('Expected name', $token->cursor); |
449
|
5 |
|
} |
450
|
5 |
|
|
451
|
4 |
|
$arg = new NameNode($token->value); |
452
|
4 |
|
|
453
|
4 |
|
$arguments = new ArgumentsNode(); |
454
|
|
|
if ($this->stream->current->test(Token::PUNCTUATION_TYPE, '(')) { |
455
|
|
|
$type = GetAttrNode::METHOD_CALL; |
456
|
2 |
|
foreach ($this->parseArguments()->nodes as $n) { |
457
|
|
|
$arguments->addElement($n); |
458
|
|
|
} |
459
|
5 |
|
} else { |
460
|
4 |
|
$type = GetAttrNode::PROPERTY_CALL; |
461
|
2 |
|
} |
462
|
2 |
|
|
463
|
2 |
|
$node = new GetAttrNode($node, $arg, $arguments, $type); |
464
|
|
|
} elseif ('[' === $token->value) { |
465
|
2 |
|
$this->stream->next(); |
466
|
|
|
$arg = $this->parseExpression(); |
467
|
2 |
|
$this->stream->expect(Token::PUNCTUATION_TYPE, ']'); |
468
|
|
|
|
469
|
|
|
$node = new GetAttrNode($node, $arg, new ArgumentsNode(), GetAttrNode::ARRAY_CALL); |
470
|
6 |
|
} else { |
471
|
|
|
break; |
472
|
|
|
} |
473
|
13 |
|
|
474
|
|
|
$token = $this->stream->current; |
475
|
|
|
} |
476
|
|
|
|
477
|
|
|
return $node; |
478
|
|
|
} |
479
|
6 |
|
|
480
|
|
|
/** |
481
|
6 |
|
* Parses arguments. |
482
|
6 |
|
*/ |
483
|
6 |
|
public function parseArguments(): Node |
484
|
3 |
|
{ |
485
|
3 |
|
$args = array(); |
486
|
|
|
$this->stream->expect(Token::PUNCTUATION_TYPE, '(', 'A list of arguments must begin with an opening parenthesis'); |
487
|
|
|
while (!$this->stream->current->test(Token::PUNCTUATION_TYPE, ')')) { |
488
|
3 |
|
if (!empty($args)) { |
489
|
|
|
$this->stream->expect(Token::PUNCTUATION_TYPE, ',', 'Arguments must be separated by a comma'); |
490
|
6 |
|
} |
491
|
|
|
|
492
|
6 |
|
$args[] = $this->parseExpression(); |
493
|
|
|
} |
494
|
|
|
$this->stream->expect(Token::PUNCTUATION_TYPE, ')', 'A list of arguments must be closed by a parenthesis'); |
495
|
|
|
|
496
|
|
|
return new Node($args); |
497
|
|
|
} |
498
|
1 |
|
|
499
|
|
|
/** |
500
|
1 |
|
* @param array $functions |
501
|
1 |
|
*/ |
502
|
|
|
public function setFunctions(array $functions): void |
503
|
|
|
{ |
504
|
|
|
$this->functions = $functions; |
505
|
|
|
} |
506
|
|
|
} |
507
|
|
|
|