public function PHP_Token_Stream::offsetExists

Parameters

mixed $offset:

File

drupal/core/vendor/phpunit/php-token-stream/PHP/Token/Stream.php, line 523

Class

PHP_Token_Stream

A stream of PHP tokens.

Code

public function offsetExists($offset) {
  return isset($this->tokens[$offset]);
}