comparison vendor/nikic/php-parser/lib/PhpParser/Lexer.php @ 0:4c8ae668cc8c

Initial import (non-working)
author Chris Cannam
date Wed, 29 Nov 2017 16:09:58 +0000
parents
children 7a779792577d
comparison
equal deleted inserted replaced
-1:000000000000 0:4c8ae668cc8c
1 <?php
2
3 namespace PhpParser;
4
5 use PhpParser\Parser\Tokens;
6
7 class Lexer
8 {
9 protected $code;
10 protected $tokens;
11 protected $pos;
12 protected $line;
13 protected $filePos;
14 protected $prevCloseTagHasNewline;
15
16 protected $tokenMap;
17 protected $dropTokens;
18
19 protected $usedAttributes;
20
21 /**
22 * Creates a Lexer.
23 *
24 * @param array $options Options array. Currently only the 'usedAttributes' option is supported,
25 * which is an array of attributes to add to the AST nodes. Possible
26 * attributes are: 'comments', 'startLine', 'endLine', 'startTokenPos',
27 * 'endTokenPos', 'startFilePos', 'endFilePos'. The option defaults to the
28 * first three. For more info see getNextToken() docs.
29 */
30 public function __construct(array $options = array()) {
31 // map from internal tokens to PhpParser tokens
32 $this->tokenMap = $this->createTokenMap();
33
34 // map of tokens to drop while lexing (the map is only used for isset lookup,
35 // that's why the value is simply set to 1; the value is never actually used.)
36 $this->dropTokens = array_fill_keys(
37 array(T_WHITESPACE, T_OPEN_TAG, T_COMMENT, T_DOC_COMMENT), 1
38 );
39
40 // the usedAttributes member is a map of the used attribute names to a dummy
41 // value (here "true")
42 $options += array(
43 'usedAttributes' => array('comments', 'startLine', 'endLine'),
44 );
45 $this->usedAttributes = array_fill_keys($options['usedAttributes'], true);
46 }
47
48 /**
49 * Initializes the lexer for lexing the provided source code.
50 *
51 * This function does not throw if lexing errors occur. Instead, errors may be retrieved using
52 * the getErrors() method.
53 *
54 * @param string $code The source code to lex
55 * @param ErrorHandler|null $errorHandler Error handler to use for lexing errors. Defaults to
56 * ErrorHandler\Throwing
57 */
58 public function startLexing($code, ErrorHandler $errorHandler = null) {
59 if (null === $errorHandler) {
60 $errorHandler = new ErrorHandler\Throwing();
61 }
62
63 $this->code = $code; // keep the code around for __halt_compiler() handling
64 $this->pos = -1;
65 $this->line = 1;
66 $this->filePos = 0;
67
68 // If inline HTML occurs without preceding code, treat it as if it had a leading newline.
69 // This ensures proper composability, because having a newline is the "safe" assumption.
70 $this->prevCloseTagHasNewline = true;
71
72 $scream = ini_set('xdebug.scream', '0');
73
74 $this->resetErrors();
75 $this->tokens = @token_get_all($code);
76 $this->handleErrors($errorHandler);
77
78 if (false !== $scream) {
79 ini_set('xdebug.scream', $scream);
80 }
81 }
82
83 protected function resetErrors() {
84 if (function_exists('error_clear_last')) {
85 error_clear_last();
86 } else {
87 // set error_get_last() to defined state by forcing an undefined variable error
88 set_error_handler(function() { return false; }, 0);
89 @$undefinedVariable;
90 restore_error_handler();
91 }
92 }
93
94 private function handleInvalidCharacterRange($start, $end, $line, ErrorHandler $errorHandler) {
95 for ($i = $start; $i < $end; $i++) {
96 $chr = $this->code[$i];
97 if ($chr === 'b' || $chr === 'B') {
98 // HHVM does not treat b" tokens correctly, so ignore these
99 continue;
100 }
101
102 if ($chr === "\0") {
103 // PHP cuts error message after null byte, so need special case
104 $errorMsg = 'Unexpected null byte';
105 } else {
106 $errorMsg = sprintf(
107 'Unexpected character "%s" (ASCII %d)', $chr, ord($chr)
108 );
109 }
110
111 $errorHandler->handleError(new Error($errorMsg, [
112 'startLine' => $line,
113 'endLine' => $line,
114 'startFilePos' => $i,
115 'endFilePos' => $i,
116 ]));
117 }
118 }
119
120 private function isUnterminatedComment($token) {
121 return ($token[0] === T_COMMENT || $token[0] === T_DOC_COMMENT)
122 && substr($token[1], 0, 2) === '/*'
123 && substr($token[1], -2) !== '*/';
124 }
125
126 private function errorMayHaveOccurred() {
127 if (defined('HHVM_VERSION')) {
128 // In HHVM token_get_all() does not throw warnings, so we need to conservatively
129 // assume that an error occurred
130 return true;
131 }
132
133 $error = error_get_last();
134 return null !== $error
135 && false === strpos($error['message'], 'Undefined variable');
136 }
137
138 protected function handleErrors(ErrorHandler $errorHandler) {
139 if (!$this->errorMayHaveOccurred()) {
140 return;
141 }
142
143 // PHP's error handling for token_get_all() is rather bad, so if we want detailed
144 // error information we need to compute it ourselves. Invalid character errors are
145 // detected by finding "gaps" in the token array. Unterminated comments are detected
146 // by checking if a trailing comment has a "*/" at the end.
147
148 $filePos = 0;
149 $line = 1;
150 foreach ($this->tokens as $i => $token) {
151 $tokenValue = \is_string($token) ? $token : $token[1];
152 $tokenLen = \strlen($tokenValue);
153
154 if (substr($this->code, $filePos, $tokenLen) !== $tokenValue) {
155 // Something is missing, must be an invalid character
156 $nextFilePos = strpos($this->code, $tokenValue, $filePos);
157 $this->handleInvalidCharacterRange(
158 $filePos, $nextFilePos, $line, $errorHandler);
159 $filePos = $nextFilePos;
160 }
161
162 $filePos += $tokenLen;
163 $line += substr_count($tokenValue, "\n");
164 }
165
166 if ($filePos !== \strlen($this->code)) {
167 if (substr($this->code, $filePos, 2) === '/*') {
168 // Unlike PHP, HHVM will drop unterminated comments entirely
169 $comment = substr($this->code, $filePos);
170 $errorHandler->handleError(new Error('Unterminated comment', [
171 'startLine' => $line,
172 'endLine' => $line + substr_count($comment, "\n"),
173 'startFilePos' => $filePos,
174 'endFilePos' => $filePos + \strlen($comment),
175 ]));
176
177 // Emulate the PHP behavior
178 $isDocComment = isset($comment[3]) && $comment[3] === '*';
179 $this->tokens[] = [$isDocComment ? T_DOC_COMMENT : T_COMMENT, $comment, $line];
180 } else {
181 // Invalid characters at the end of the input
182 $this->handleInvalidCharacterRange(
183 $filePos, \strlen($this->code), $line, $errorHandler);
184 }
185 return;
186 }
187
188 if (count($this->tokens) > 0) {
189 // Check for unterminated comment
190 $lastToken = $this->tokens[count($this->tokens) - 1];
191 if ($this->isUnterminatedComment($lastToken)) {
192 $errorHandler->handleError(new Error('Unterminated comment', [
193 'startLine' => $line - substr_count($lastToken[1], "\n"),
194 'endLine' => $line,
195 'startFilePos' => $filePos - \strlen($lastToken[1]),
196 'endFilePos' => $filePos,
197 ]));
198 }
199 }
200 }
201
202 /**
203 * Fetches the next token.
204 *
205 * The available attributes are determined by the 'usedAttributes' option, which can
206 * be specified in the constructor. The following attributes are supported:
207 *
208 * * 'comments' => Array of PhpParser\Comment or PhpParser\Comment\Doc instances,
209 * representing all comments that occurred between the previous
210 * non-discarded token and the current one.
211 * * 'startLine' => Line in which the node starts.
212 * * 'endLine' => Line in which the node ends.
213 * * 'startTokenPos' => Offset into the token array of the first token in the node.
214 * * 'endTokenPos' => Offset into the token array of the last token in the node.
215 * * 'startFilePos' => Offset into the code string of the first character that is part of the node.
216 * * 'endFilePos' => Offset into the code string of the last character that is part of the node.
217 *
218 * @param mixed $value Variable to store token content in
219 * @param mixed $startAttributes Variable to store start attributes in
220 * @param mixed $endAttributes Variable to store end attributes in
221 *
222 * @return int Token id
223 */
224 public function getNextToken(&$value = null, &$startAttributes = null, &$endAttributes = null) {
225 $startAttributes = array();
226 $endAttributes = array();
227
228 while (1) {
229 if (isset($this->tokens[++$this->pos])) {
230 $token = $this->tokens[$this->pos];
231 } else {
232 // EOF token with ID 0
233 $token = "\0";
234 }
235
236 if (isset($this->usedAttributes['startLine'])) {
237 $startAttributes['startLine'] = $this->line;
238 }
239 if (isset($this->usedAttributes['startTokenPos'])) {
240 $startAttributes['startTokenPos'] = $this->pos;
241 }
242 if (isset($this->usedAttributes['startFilePos'])) {
243 $startAttributes['startFilePos'] = $this->filePos;
244 }
245
246 if (\is_string($token)) {
247 $value = $token;
248 if (isset($token[1])) {
249 // bug in token_get_all
250 $this->filePos += 2;
251 $id = ord('"');
252 } else {
253 $this->filePos += 1;
254 $id = ord($token);
255 }
256 } elseif (!isset($this->dropTokens[$token[0]])) {
257 $value = $token[1];
258 $id = $this->tokenMap[$token[0]];
259 if (T_CLOSE_TAG === $token[0]) {
260 $this->prevCloseTagHasNewline = false !== strpos($token[1], "\n");
261 } else if (T_INLINE_HTML === $token[0]) {
262 $startAttributes['hasLeadingNewline'] = $this->prevCloseTagHasNewline;
263 }
264
265 $this->line += substr_count($value, "\n");
266 $this->filePos += \strlen($value);
267 } else {
268 if (T_COMMENT === $token[0] || T_DOC_COMMENT === $token[0]) {
269 if (isset($this->usedAttributes['comments'])) {
270 $comment = T_DOC_COMMENT === $token[0]
271 ? new Comment\Doc($token[1], $this->line, $this->filePos)
272 : new Comment($token[1], $this->line, $this->filePos);
273 $startAttributes['comments'][] = $comment;
274 }
275 }
276
277 $this->line += substr_count($token[1], "\n");
278 $this->filePos += \strlen($token[1]);
279 continue;
280 }
281
282 if (isset($this->usedAttributes['endLine'])) {
283 $endAttributes['endLine'] = $this->line;
284 }
285 if (isset($this->usedAttributes['endTokenPos'])) {
286 $endAttributes['endTokenPos'] = $this->pos;
287 }
288 if (isset($this->usedAttributes['endFilePos'])) {
289 $endAttributes['endFilePos'] = $this->filePos - 1;
290 }
291
292 return $id;
293 }
294
295 throw new \RuntimeException('Reached end of lexer loop');
296 }
297
298 /**
299 * Returns the token array for current code.
300 *
301 * The token array is in the same format as provided by the
302 * token_get_all() function and does not discard tokens (i.e.
303 * whitespace and comments are included). The token position
304 * attributes are against this token array.
305 *
306 * @return array Array of tokens in token_get_all() format
307 */
308 public function getTokens() {
309 return $this->tokens;
310 }
311
312 /**
313 * Handles __halt_compiler() by returning the text after it.
314 *
315 * @return string Remaining text
316 */
317 public function handleHaltCompiler() {
318 // text after T_HALT_COMPILER, still including ();
319 $textAfter = substr($this->code, $this->filePos);
320
321 // ensure that it is followed by ();
322 // this simplifies the situation, by not allowing any comments
323 // in between of the tokens.
324 if (!preg_match('~^\s*\(\s*\)\s*(?:;|\?>\r?\n?)~', $textAfter, $matches)) {
325 throw new Error('__HALT_COMPILER must be followed by "();"');
326 }
327
328 // prevent the lexer from returning any further tokens
329 $this->pos = count($this->tokens);
330
331 // return with (); removed
332 return (string) substr($textAfter, strlen($matches[0])); // (string) converts false to ''
333 }
334
335 /**
336 * Creates the token map.
337 *
338 * The token map maps the PHP internal token identifiers
339 * to the identifiers used by the Parser. Additionally it
340 * maps T_OPEN_TAG_WITH_ECHO to T_ECHO and T_CLOSE_TAG to ';'.
341 *
342 * @return array The token map
343 */
344 protected function createTokenMap() {
345 $tokenMap = array();
346
347 // 256 is the minimum possible token number, as everything below
348 // it is an ASCII value
349 for ($i = 256; $i < 1000; ++$i) {
350 if (T_DOUBLE_COLON === $i) {
351 // T_DOUBLE_COLON is equivalent to T_PAAMAYIM_NEKUDOTAYIM
352 $tokenMap[$i] = Tokens::T_PAAMAYIM_NEKUDOTAYIM;
353 } elseif(T_OPEN_TAG_WITH_ECHO === $i) {
354 // T_OPEN_TAG_WITH_ECHO with dropped T_OPEN_TAG results in T_ECHO
355 $tokenMap[$i] = Tokens::T_ECHO;
356 } elseif(T_CLOSE_TAG === $i) {
357 // T_CLOSE_TAG is equivalent to ';'
358 $tokenMap[$i] = ord(';');
359 } elseif ('UNKNOWN' !== $name = token_name($i)) {
360 if ('T_HASHBANG' === $name) {
361 // HHVM uses a special token for #! hashbang lines
362 $tokenMap[$i] = Tokens::T_INLINE_HTML;
363 } else if (defined($name = 'PhpParser\Parser\Tokens::' . $name)) {
364 // Other tokens can be mapped directly
365 $tokenMap[$i] = constant($name);
366 }
367 }
368 }
369
370 // HHVM uses a special token for numbers that overflow to double
371 if (defined('T_ONUMBER')) {
372 $tokenMap[T_ONUMBER] = Tokens::T_DNUMBER;
373 }
374 // HHVM also has a separate token for the __COMPILER_HALT_OFFSET__ constant
375 if (defined('T_COMPILER_HALT_OFFSET')) {
376 $tokenMap[T_COMPILER_HALT_OFFSET] = Tokens::T_STRING;
377 }
378
379 return $tokenMap;
380 }
381 }