diff --git a/src/lint/linter/ArcanistCSSLintLinter.php b/src/lint/linter/ArcanistCSSLintLinter.php index a6cb2f45..7436b194 100644 --- a/src/lint/linter/ArcanistCSSLintLinter.php +++ b/src/lint/linter/ArcanistCSSLintLinter.php @@ -1,119 +1,115 @@ getDeprecatedConfiguration('lint.csslint.options', array()); - } - public function getDefaultBinary() { - return $this->getDeprecatedConfiguration('lint.csslint.bin', 'csslint'); + return 'csslint'; } public function getVersion() { list($stdout) = execx('%C --version', $this->getExecutableCommand()); $matches = array(); if (preg_match('/^v(?P\d+\.\d+\.\d+)$/', $stdout, $matches)) { return $matches['version']; } else { return false; } } public function getInstallInstructions() { return pht( 'Install %s using `%s`.', 'CSSLint', 'npm install -g csslint'); } protected function parseLinterOutput($path, $err, $stdout, $stderr) { $report_dom = new DOMDocument(); $ok = @$report_dom->loadXML($stdout); if (!$ok) { return false; } $files = $report_dom->getElementsByTagName('file'); $messages = array(); foreach ($files as $file) { foreach ($file->childNodes as $child) { $message = id(new ArcanistLintMessage()) ->setPath($path) ->setLine($child->getAttribute('line')) ->setChar($child->getAttribute('char')) ->setCode($this->getLinterName()) ->setDescription($child->getAttribute('reason')) ->setOriginalText( substr( $child->getAttribute('evidence'), $child->getAttribute('char') - 1)); switch ($child->getAttribute('severity')) { case 'error': $message->setSeverity(ArcanistLintSeverity::SEVERITY_ERROR); break; case 'warning': $message->setSeverity(ArcanistLintSeverity::SEVERITY_WARNING); break; default: $message->setSeverity(ArcanistLintSeverity::SEVERITY_ERROR); break; } $messages[] = $message; } } return $messages; } protected function getLintCodeFromLinterConfigurationKey($code) { // NOTE: We can't figure out which rule generated each message, so we // can not customize severities. I opened a pull request to add this // ability; see: // // https://github.com/stubbornella/csslint/pull/409 throw new Exception( pht( "%s does not currently support custom severity levels, because ". "rules can't be identified from messages in output.", 'CSSLint')); } } diff --git a/src/lint/linter/ArcanistCppcheckLinter.php b/src/lint/linter/ArcanistCppcheckLinter.php index d5df5acb..fe9b578f 100644 --- a/src/lint/linter/ArcanistCppcheckLinter.php +++ b/src/lint/linter/ArcanistCppcheckLinter.php @@ -1,118 +1,112 @@ getDeprecatedConfiguration('lint.cppcheck.prefix'); - $bin = $this->getDeprecatedConfiguration('lint.cppcheck.bin', 'cppcheck'); - - if ($prefix) { - return $prefix.'/'.$bin; - } else { - return $bin; - } + return 'cppcheck'; } public function getVersion() { list($stdout) = execx('%C --version', $this->getExecutableCommand()); $matches = array(); $regex = '/^Cppcheck (?P\d+\.\d+)$/'; if (preg_match($regex, $stdout, $matches)) { return $matches['version']; } else { return false; } } public function getInstallInstructions() { return pht( 'Install Cppcheck using `%s` or similar.', 'apt-get install cppcheck'); } + protected function getDefaultFlags() { + return array( + '-j2', + '--enable=performance,style,portability,information', + ); + } + protected function getMandatoryFlags() { return array( '--quiet', '--inline-suppr', '--xml', '--xml-version=2', ); } - protected function getDefaultFlags() { - return $this->getDeprecatedConfiguration( - 'lint.cppcheck.options', - array('-j2', '--enable=performance,style,portability,information')); - } - public function shouldExpectCommandErrors() { return false; } protected function parseLinterOutput($path, $err, $stdout, $stderr) { $dom = new DOMDocument(); $ok = @$dom->loadXML($stderr); if (!$ok) { return false; } $errors = $dom->getElementsByTagName('error'); $messages = array(); foreach ($errors as $error) { foreach ($error->getElementsByTagName('location') as $location) { $message = new ArcanistLintMessage(); $message->setPath($location->getAttribute('file')); $message->setLine($location->getAttribute('line')); $message->setCode('Cppcheck'); $message->setName($error->getAttribute('id')); $message->setDescription($error->getAttribute('msg')); switch ($error->getAttribute('severity')) { case 'error': $message->setSeverity(ArcanistLintSeverity::SEVERITY_ERROR); break; default: if ($error->getAttribute('inconclusive')) { $message->setSeverity(ArcanistLintSeverity::SEVERITY_ADVICE); } else { $message->setSeverity(ArcanistLintSeverity::SEVERITY_WARNING); } break; } $messages[] = $message; } } return $messages; } } diff --git a/src/lint/linter/ArcanistCpplintLinter.php b/src/lint/linter/ArcanistCpplintLinter.php index a3c5ca00..f4a9123c 100644 --- a/src/lint/linter/ArcanistCpplintLinter.php +++ b/src/lint/linter/ArcanistCpplintLinter.php @@ -1,91 +1,80 @@ getDeprecatedConfiguration('lint.cpplint.prefix'); - $bin = $this->getDeprecatedConfiguration('lint.cpplint.bin', 'cpplint.py'); - - if ($prefix) { - return $prefix.'/'.$bin; - } else { - return $bin; - } + return 'cpplint'; } public function getInstallInstructions() { return pht( 'Install cpplint.py using `%s`.', 'wget http://google-styleguide.googlecode.com'. '/svn/trunk/cpplint/cpplint.py'); } - protected function getDefaultFlags() { - return $this->getDeprecatedConfiguration('lint.cpplint.options', array()); - } - protected function getDefaultMessageSeverity($code) { return ArcanistLintSeverity::SEVERITY_WARNING; } protected function parseLinterOutput($path, $err, $stdout, $stderr) { $lines = explode("\n", $stderr); $messages = array(); foreach ($lines as $line) { $line = trim($line); $matches = null; $regex = '/^-:(\d+):\s*(.*)\s*\[(.*)\] \[(\d+)\]$/'; if (!preg_match($regex, $line, $matches)) { continue; } foreach ($matches as $key => $match) { $matches[$key] = trim($match); } $severity = $this->getLintMessageSeverity($matches[3]); $message = new ArcanistLintMessage(); $message->setPath($path); $message->setLine($matches[1]); $message->setCode($matches[3]); $message->setName($matches[3]); $message->setDescription($matches[2]); $message->setSeverity($severity); $messages[] = $message; } if ($err && !$messages) { return false; } return $messages; } protected function getLintCodeFromLinterConfigurationKey($code) { if (!preg_match('@^[a-z_]+/[a-z_]+$@', $code)) { throw new Exception( pht( 'Unrecognized lint message code "%s". Expected a valid cpplint '. 'lint code like "%s" or "%s".', $code, 'build/include_order', 'whitespace/braces')); } return $code; } } diff --git a/src/lint/linter/ArcanistFlake8Linter.php b/src/lint/linter/ArcanistFlake8Linter.php index 4cdab661..dabc0b42 100644 --- a/src/lint/linter/ArcanistFlake8Linter.php +++ b/src/lint/linter/ArcanistFlake8Linter.php @@ -1,129 +1,118 @@ getDeprecatedConfiguration('lint.flake8.options', array()); - } - public function getDefaultBinary() { - $prefix = $this->getDeprecatedConfiguration('lint.flake8.prefix'); - $bin = $this->getDeprecatedConfiguration('lint.flake8.bin', 'flake8'); - - if ($prefix) { - return $prefix.'/'.$bin; - } else { - return $bin; - } + return 'flake8'; } public function getVersion() { list($stdout) = execx('%C --version', $this->getExecutableCommand()); $matches = array(); if (preg_match('/^(?P\d+\.\d+(?:\.\d+)?)\b/', $stdout, $matches)) { return $matches['version']; } else { return false; } } public function getInstallInstructions() { return pht('Install flake8 using `%s`.', 'easy_install flake8'); } protected function parseLinterOutput($path, $err, $stdout, $stderr) { $lines = phutil_split_lines($stdout, false); $messages = array(); foreach ($lines as $line) { $matches = null; // stdin:2: W802 undefined name 'foo' # pyflakes // stdin:3:1: E302 expected 2 blank lines, found 1 # pep8 $regexp = '/^(.*?):(\d+):(?:(\d+):)? (\S+) (.*)$/'; if (!preg_match($regexp, $line, $matches)) { continue; } foreach ($matches as $key => $match) { $matches[$key] = trim($match); } $message = new ArcanistLintMessage(); $message->setPath($path); $message->setLine($matches[2]); if (!empty($matches[3])) { $message->setChar($matches[3]); } $message->setCode($matches[4]); $message->setName($this->getLinterName().' '.$matches[3]); $message->setDescription($matches[5]); $message->setSeverity($this->getLintMessageSeverity($matches[4])); $messages[] = $message; } if ($err && !$messages) { return false; } return $messages; } protected function getDefaultMessageSeverity($code) { if (preg_match('/^C/', $code)) { // "C": Cyclomatic complexity return ArcanistLintSeverity::SEVERITY_ADVICE; } else if (preg_match('/^W/', $code)) { // "W": PEP8 Warning return ArcanistLintSeverity::SEVERITY_WARNING; } else { // "E": PEP8 Error // "F": PyFlakes Error return ArcanistLintSeverity::SEVERITY_ERROR; } } protected function getLintCodeFromLinterConfigurationKey($code) { if (!preg_match('/^(E|W|C|F)\d+$/', $code)) { throw new Exception( pht( 'Unrecognized lint message code "%s". Expected a valid flake8 '. 'lint code like "%s", or "%s", or "%s", or "%s".', $code, 'E225', 'W291', 'F811', 'C901')); } return $code; } } diff --git a/src/lint/linter/ArcanistJSHintLinter.php b/src/lint/linter/ArcanistJSHintLinter.php index f175a144..1f9a766d 100644 --- a/src/lint/linter/ArcanistJSHintLinter.php +++ b/src/lint/linter/ArcanistJSHintLinter.php @@ -1,178 +1,158 @@ getDeprecatedConfiguration('lint.jshint.prefix'); - $bin = $this->getDeprecatedConfiguration('lint.jshint.bin', 'jshint'); - - if ($prefix) { - return $prefix.'/'.$bin; - } else { - return $bin; - } + return 'jshint'; } public function getVersion() { // NOTE: `jshint --version` emits version information on stderr, not stdout. list($stdout, $stderr) = execx( '%C --version', $this->getExecutableCommand()); $matches = array(); $regex = '/^jshint v(?P\d+\.\d+\.\d+)$/'; if (preg_match($regex, $stderr, $matches)) { return $matches['version']; } else { return false; } } public function getInstallInstructions() { return pht('Install JSHint using `%s`.', 'npm install -g jshint'); } protected function getMandatoryFlags() { $options = array(); $options[] = '--reporter='.dirname(realpath(__FILE__)).'/reporter.js'; if ($this->jshintrc) { $options[] = '--config='.$this->jshintrc; } if ($this->jshintignore) { $options[] = '--exclude-path='.$this->jshintignore; } return $options; } public function getLinterConfigurationOptions() { $options = array( 'jshint.jshintignore' => array( 'type' => 'optional string', 'help' => pht('Pass in a custom jshintignore file path.'), ), 'jshint.jshintrc' => array( 'type' => 'optional string', 'help' => pht('Custom configuration file.'), ), ); return $options + parent::getLinterConfigurationOptions(); } public function setLinterConfigurationValue($key, $value) { switch ($key) { case 'jshint.jshintignore': $this->jshintignore = $value; return; case 'jshint.jshintrc': $this->jshintrc = $value; return; } return parent::setLinterConfigurationValue($key, $value); } - protected function getDefaultFlags() { - $options = $this->getDeprecatedConfiguration( - 'lint.jshint.options', - array()); - - $config = $this->getDeprecatedConfiguration('lint.jshint.config'); - if ($config) { - $options[] = '--config='.$config; - } - - return $options; - } - protected function parseLinterOutput($path, $err, $stdout, $stderr) { $errors = null; try { $errors = phutil_json_decode($stdout); } catch (PhutilJSONParserException $ex) { // Something went wrong and we can't decode the output. Exit abnormally. throw new PhutilProxyException( pht('JSHint returned unparseable output.'), $ex); } $messages = array(); foreach ($errors as $err) { $message = new ArcanistLintMessage(); $message->setPath($path); $message->setLine(idx($err, 'line')); $message->setChar(idx($err, 'col')); $message->setCode(idx($err, 'code')); $message->setName('JSHint'.idx($err, 'code')); $message->setDescription(idx($err, 'reason')); $message->setSeverity($this->getLintMessageSeverity(idx($err, 'code'))); $messages[] = $message; } return $messages; } protected function getLintCodeFromLinterConfigurationKey($code) { if (!preg_match('/^(E|W)\d+$/', $code)) { throw new Exception( pht( 'Unrecognized lint message code "%s". Expected a valid JSHint '. 'lint code like "%s" or "%s".', $code, 'E033', 'W093')); } return $code; } } diff --git a/src/lint/linter/ArcanistLinter.php b/src/lint/linter/ArcanistLinter.php index b7def163..6a1af25c 100644 --- a/src/lint/linter/ArcanistLinter.php +++ b/src/lint/linter/ArcanistLinter.php @@ -1,668 +1,624 @@ getLinterName(), $this->getLinterConfigurationName(), get_class($this)); } /* -( Runtime State )------------------------------------------------------ */ /** * @task state */ final public function getActivePath() { return $this->activePath; } /** * @task state */ final public function setActivePath($path) { $this->stopAllLinters = false; $this->activePath = $path; return $this; } /** * @task state */ final public function setEngine(ArcanistLintEngine $engine) { $this->engine = $engine; return $this; } /** * @task state */ final protected function getEngine() { return $this->engine; } /** * Set the internal ID for this linter. * * This ID is assigned automatically by the @{class:ArcanistLintEngine}. * * @param string Unique linter ID. * @return this * @task state */ final public function setLinterID($id) { $this->id = $id; return $this; } /** * Get the internal ID for this linter. * * Retrieves an internal linter ID managed by the @{class:ArcanistLintEngine}. * This ID is a unique scalar which distinguishes linters in a list. * * @return string Unique linter ID. * @task state */ final public function getLinterID() { return $this->id; } /* -( Executing Linters )-------------------------------------------------- */ /** * Hook called before a list of paths are linted. * * Parallelizable linters can start multiple requests in parallel here, * to improve performance. They can implement @{method:didLintPaths} to * collect results. * * Linters which are not parallelizable should normally ignore this callback * and implement @{method:lintPath} instead. * * @param list A list of paths to be linted * @return void * @task exec */ public function willLintPaths(array $paths) { return; } /** * Hook called for each path to be linted. * * Linters which are not parallelizable can do work here. * * Linters which are parallelizable may want to ignore this callback and * implement @{method:willLintPaths} and @{method:didLintPaths} instead. * * @param string Path to lint. * @return void * @task exec */ public function lintPath($path) { return; } /** * Hook called after a list of paths are linted. * * Parallelizable linters can collect results here. * * Linters which are not paralleizable should normally ignore this callback * and implement @{method:lintPath} instead. * * @param list A list of paths which were linted. * @return void * @task exec */ public function didLintPaths(array $paths) { return; } /** * Obsolete hook which was invoked before a path was linted. * * WARNING: This is an obsolete hook which is not called. If you maintain * a linter which relies on it, update to use @{method:lintPath} instead. * * @task exec */ final public function willLintPath($path) { // TODO: Remove this method after some time. In the meantime, the "final" // will fatal subclasses which implement this hook and point at the API // change so maintainers get fewer surprises. throw new PhutilMethodNotImplementedException(); } /** * Obsolete hook which was invoked after linters ran. * * WARNING: This is an obsolete hook which is not called. If you maintain * a linter which relies on it, update to use @{method:didLintPaths} instead. * * @return void * @task exec */ final public function didRunLinters() { // TODO: Remove this method after some time. In the meantime, the "final" // will fatal subclasses which implement this hook and point at the API // change so maintainers get fewer surprises. throw new PhutilMethodNotImplementedException(); } public function getLinterPriority() { return 1.0; } /** * TODO: This should be `final`. */ public function setCustomSeverityMap(array $map) { $this->customSeverityMap = $map; return $this; } final public function setCustomSeverityRules(array $rules) { $this->customSeverityRules = $rules; return $this; } final public function getProjectRoot() { $engine = $this->getEngine(); if (!$engine) { throw new Exception( pht( 'You must call %s before you can call %s.', 'setEngine()', __FUNCTION__.'()')); } $working_copy = $engine->getWorkingCopy(); if (!$working_copy) { return null; } return $working_copy->getProjectRoot(); } final public function getOtherLocation($offset, $path = null) { if ($path === null) { $path = $this->getActivePath(); } list($line, $char) = $this->getEngine()->getLineAndCharFromOffset( $path, $offset); return array( 'path' => $path, 'line' => $line + 1, 'char' => $char, ); } final public function stopAllLinters() { $this->stopAllLinters = true; return $this; } final public function didStopAllLinters() { return $this->stopAllLinters; } final public function addPath($path) { $this->paths[$path] = $path; $this->filteredPaths = null; return $this; } final public function setPaths(array $paths) { $this->paths = $paths; $this->filteredPaths = null; return $this; } /** * Filter out paths which this linter doesn't act on (for example, because * they are binaries and the linter doesn't apply to binaries). * * @param list * @return list */ final private function filterPaths(array $paths) { $engine = $this->getEngine(); $keep = array(); foreach ($paths as $path) { if (!$this->shouldLintDeletedFiles() && !$engine->pathExists($path)) { continue; } if (!$this->shouldLintDirectories() && $engine->isDirectory($path)) { continue; } if (!$this->shouldLintBinaryFiles() && $engine->isBinaryFile($path)) { continue; } if (!$this->shouldLintSymbolicLinks() && $engine->isSymbolicLink($path)) { continue; } $keep[] = $path; } return $keep; } final public function getPaths() { if ($this->filteredPaths === null) { $this->filteredPaths = $this->filterPaths(array_values($this->paths)); } return $this->filteredPaths; } final public function addData($path, $data) { $this->data[$path] = $data; return $this; } final protected function getData($path) { if (!array_key_exists($path, $this->data)) { $this->data[$path] = $this->getEngine()->loadData($path); } return $this->data[$path]; } public function getCacheVersion() { return 0; } final public function getLintMessageFullCode($short_code) { return $this->getLinterName().$short_code; } final public function getLintMessageSeverity($code) { $map = $this->customSeverityMap; if (isset($map[$code])) { return $map[$code]; } foreach ($this->customSeverityRules as $rule => $severity) { if (preg_match($rule, $code)) { return $severity; } } $map = $this->getLintSeverityMap(); if (isset($map[$code])) { return $map[$code]; } return $this->getDefaultMessageSeverity($code); } protected function getDefaultMessageSeverity($code) { return ArcanistLintSeverity::SEVERITY_ERROR; } final public function isMessageEnabled($code) { return ($this->getLintMessageSeverity($code) !== ArcanistLintSeverity::SEVERITY_DISABLED); } final public function getLintMessageName($code) { $map = $this->getLintNameMap(); if (isset($map[$code])) { return $map[$code]; } return pht('Unknown lint message!'); } final protected function addLintMessage(ArcanistLintMessage $message) { $root = $this->getProjectRoot(); $path = Filesystem::resolvePath($message->getPath(), $root); $message->setPath(Filesystem::readablePath($path, $root)); $this->messages[] = $message; return $message; } final public function getLintMessages() { return $this->messages; } final protected function raiseLintAtLine( $line, $char, $code, $desc, $original = null, $replacement = null) { $message = id(new ArcanistLintMessage()) ->setPath($this->getActivePath()) ->setLine($line) ->setChar($char) ->setCode($this->getLintMessageFullCode($code)) ->setSeverity($this->getLintMessageSeverity($code)) ->setName($this->getLintMessageName($code)) ->setDescription($desc) ->setOriginalText($original) ->setReplacementText($replacement); return $this->addLintMessage($message); } final protected function raiseLintAtPath($code, $desc) { return $this->raiseLintAtLine(null, null, $code, $desc, null, null); } final protected function raiseLintAtOffset( $offset, $code, $desc, $original = null, $replacement = null) { $path = $this->getActivePath(); $engine = $this->getEngine(); if ($offset === null) { $line = null; $char = null; } else { list($line, $char) = $engine->getLineAndCharFromOffset($path, $offset); } return $this->raiseLintAtLine( $line + 1, $char + 1, $code, $desc, $original, $replacement); } public function canRun() { return true; } abstract public function getLinterName(); public function getVersion() { return null; } final protected function isCodeEnabled($code) { $severity = $this->getLintMessageSeverity($code); return $this->getEngine()->isSeverityEnabled($severity); } public function getLintSeverityMap() { return array(); } public function getLintNameMap() { return array(); } public function getCacheGranularity() { return self::GRANULARITY_FILE; } /** * If this linter is selectable via `.arclint` configuration files, return * a short, human-readable name to identify it. For example, `"jshint"` or * `"pep8"`. * * If you do not implement this method, the linter will not be selectable * through `.arclint` files. */ public function getLinterConfigurationName() { return null; } public function getLinterConfigurationOptions() { if (!$this->canCustomizeLintSeverities()) { return array(); } return array( 'severity' => array( 'type' => 'optional map', 'help' => pht( 'Provide a map from lint codes to adjusted severity levels: error, '. 'warning, advice, autofix or disabled.'), ), 'severity.rules' => array( 'type' => 'optional map', 'help' => pht( 'Provide a map of regular expressions to severity levels. All '. 'matching codes have their severity adjusted.'), ), ); } public function setLinterConfigurationValue($key, $value) { $sev_map = array( 'error' => ArcanistLintSeverity::SEVERITY_ERROR, 'warning' => ArcanistLintSeverity::SEVERITY_WARNING, 'autofix' => ArcanistLintSeverity::SEVERITY_AUTOFIX, 'advice' => ArcanistLintSeverity::SEVERITY_ADVICE, 'disabled' => ArcanistLintSeverity::SEVERITY_DISABLED, ); switch ($key) { case 'severity': if (!$this->canCustomizeLintSeverities()) { break; } $custom = array(); foreach ($value as $code => $severity) { if (empty($sev_map[$severity])) { $valid = implode(', ', array_keys($sev_map)); throw new Exception( pht( 'Unknown lint severity "%s". Valid severities are: %s.', $severity, $valid)); } $code = $this->getLintCodeFromLinterConfigurationKey($code); $custom[$code] = $severity; } $this->setCustomSeverityMap($custom); return; case 'severity.rules': if (!$this->canCustomizeLintSeverities()) { break; } foreach ($value as $rule => $severity) { if (@preg_match($rule, '') === false) { throw new Exception( pht( 'Severity rule "%s" is not a valid regular expression.', $rule)); } if (empty($sev_map[$severity])) { $valid = implode(', ', array_keys($sev_map)); throw new Exception( pht( 'Unknown lint severity "%s". Valid severities are: %s.', $severity, $valid)); } } $this->setCustomSeverityRules($value); return; } throw new Exception(pht('Incomplete implementation: %s!', $key)); } protected function canCustomizeLintSeverities() { return true; } protected function shouldLintBinaryFiles() { return false; } protected function shouldLintDeletedFiles() { return false; } protected function shouldLintDirectories() { return false; } protected function shouldLintSymbolicLinks() { return false; } /** * Map a configuration lint code to an `arc` lint code. Primarily, this is * intended for validation, but can also be used to normalize case or * otherwise be more permissive in accepted inputs. * * If the code is not recognized, you should throw an exception. * * @param string Code specified in configuration. * @return string Normalized code to use in severity map. */ protected function getLintCodeFromLinterConfigurationKey($code) { return $code; } - /** - * Retrieve an old lint configuration value from `.arcconfig` or a similar - * source. - * - * Modern linters should use @{method:getConfig} to read configuration from - * `.arclint`. - * - * @param string Configuration key to retrieve. - * @param wild Default value to return if key is not present in config. - * @return wild Configured value, or default if no configuration exists. - */ - final protected function getDeprecatedConfiguration($key, $default = null) { - // If we're being called in a context without an engine (probably from - // `arc linters`), just return the default value. - if (!$this->engine) { - return $default; - } - - $config = $this->getEngine()->getConfigurationManager(); - - // Construct a sentinel object so we can tell if we're reading config - // or not. - $sentinel = (object)array(); - $result = $config->getConfigFromAnySource($key, $sentinel); - - // If we read config, warn the user that this mechanism is deprecated and - // discouraged. - if ($result !== $sentinel) { - $console = PhutilConsole::getConsole(); - $console->writeErr( - "**%s**: %s\n", - pht('Deprecation Warning'), - pht( - 'Configuration option "%s" is deprecated. Generally, linters should '. - 'now be configured using an `%s` file. See "Arcanist User '. - 'Guide: Lint" in the documentation for more information.', - $key, - '.arclint')); - return $result; - } - - return $default; - } - } diff --git a/src/lint/linter/ArcanistPEP8Linter.php b/src/lint/linter/ArcanistPEP8Linter.php index cdf107e2..a021ba83 100644 --- a/src/lint/linter/ArcanistPEP8Linter.php +++ b/src/lint/linter/ArcanistPEP8Linter.php @@ -1,113 +1,102 @@ getDeprecatedConfiguration('lint.pep8.options', array()); - } - public function getDefaultBinary() { - $prefix = $this->getDeprecatedConfiguration('lint.pep8.prefix'); - $bin = $this->getDeprecatedConfiguration('lint.pep8.bin', 'pep8'); - - if ($prefix) { - return $prefix.'/'.$bin; - } else { - return $bin; - } + return 'pep8'; } public function getVersion() { list($stdout) = execx('%C --version', $this->getExecutableCommand()); $matches = array(); if (preg_match('/^(?P\d+\.\d+(?:\.\d+)?)\b/', $stdout, $matches)) { return $matches['version']; } else { return false; } } public function getInstallInstructions() { return pht('Install PEP8 using `%s`.', 'easy_install pep8'); } protected function parseLinterOutput($path, $err, $stdout, $stderr) { $lines = phutil_split_lines($stdout, false); $messages = array(); foreach ($lines as $line) { $matches = null; if (!preg_match('/^(.*?):(\d+):(\d+): (\S+) (.*)$/', $line, $matches)) { continue; } foreach ($matches as $key => $match) { $matches[$key] = trim($match); } $message = new ArcanistLintMessage(); $message->setPath($path); $message->setLine($matches[2]); $message->setChar($matches[3]); $message->setCode($matches[4]); $message->setName('PEP8 '.$matches[4]); $message->setDescription($matches[5]); $message->setSeverity($this->getLintMessageSeverity($matches[4])); $messages[] = $message; } if ($err && !$messages) { return false; } return $messages; } protected function getDefaultMessageSeverity($code) { if (preg_match('/^W/', $code)) { return ArcanistLintSeverity::SEVERITY_WARNING; } else { return ArcanistLintSeverity::SEVERITY_ERROR; } } protected function getLintCodeFromLinterConfigurationKey($code) { if (!preg_match('/^(E|W)\d+$/', $code)) { throw new Exception( pht( 'Unrecognized lint message code "%s". Expected a valid PEP8 '. 'lint code like "%s" or "%s".', $code, 'E101', 'W291')); } return $code; } } diff --git a/src/lint/linter/ArcanistPhpcsLinter.php b/src/lint/linter/ArcanistPhpcsLinter.php index f05df5c5..da3d118c 100644 --- a/src/lint/linter/ArcanistPhpcsLinter.php +++ b/src/lint/linter/ArcanistPhpcsLinter.php @@ -1,163 +1,148 @@ array( 'type' => 'optional string', 'help' => pht('The name or path of the coding standard to use.'), ), ); return $options + parent::getLinterConfigurationOptions(); } public function setLinterConfigurationValue($key, $value) { switch ($key) { case 'phpcs.standard': $this->standard = $value; return; default: return parent::setLinterConfigurationValue($key, $value); } } protected function getMandatoryFlags() { $options = array('--report=xml'); if ($this->standard) { $options[] = '--standard='.$this->standard; } return $options; } - protected function getDefaultFlags() { - $options = $this->getDeprecatedConfiguration('lint.phpcs.options', array()); - $standard = $this->getDeprecatedConfiguration('lint.phpcs.standard'); - - if (!empty($standard)) { - if (is_array($options)) { - $options[] = '--standard='.$standard; - } else { - $options .= ' --standard='.$standard; - } - } - - return $options; - } - public function getDefaultBinary() { - return $this->getDeprecatedConfiguration('lint.phpcs.bin', 'phpcs'); + return 'phpcs'; } public function getVersion() { list($stdout) = execx('%C --version', $this->getExecutableCommand()); $matches = array(); $regex = '/^PHP_CodeSniffer version (?P\d+\.\d+\.\d+)\b/'; if (preg_match($regex, $stdout, $matches)) { return $matches['version']; } else { return false; } } protected function parseLinterOutput($path, $err, $stdout, $stderr) { // NOTE: Some version of PHPCS after 1.4.6 stopped printing a valid, empty // XML document to stdout in the case of no errors. If PHPCS exits with // error 0, just ignore output. if (!$err) { return array(); } $report_dom = new DOMDocument(); $ok = @$report_dom->loadXML($stdout); if (!$ok) { return false; } $files = $report_dom->getElementsByTagName('file'); $messages = array(); foreach ($files as $file) { foreach ($file->childNodes as $child) { if (!($child instanceof DOMElement)) { continue; } if ($child->tagName == 'error') { $prefix = 'E'; } else { $prefix = 'W'; } $code = 'PHPCS.'.$prefix.'.'.$child->getAttribute('source'); $message = new ArcanistLintMessage(); $message->setPath($path); $message->setLine($child->getAttribute('line')); $message->setChar($child->getAttribute('column')); $message->setCode($code); $message->setDescription($child->nodeValue); $message->setSeverity($this->getLintMessageSeverity($code)); $messages[] = $message; } } return $messages; } protected function getDefaultMessageSeverity($code) { if (preg_match('/^PHPCS\\.W\\./', $code)) { return ArcanistLintSeverity::SEVERITY_WARNING; } else { return ArcanistLintSeverity::SEVERITY_ERROR; } } protected function getLintCodeFromLinterConfigurationKey($code) { if (!preg_match('/^PHPCS\\.(E|W)\\./', $code)) { throw new Exception( pht( "Invalid severity code '%s', should begin with '%s.'.", $code, 'PHPCS')); } return $code; } } diff --git a/src/lint/linter/ArcanistPyFlakesLinter.php b/src/lint/linter/ArcanistPyFlakesLinter.php index b88a3322..11ede0c3 100644 --- a/src/lint/linter/ArcanistPyFlakesLinter.php +++ b/src/lint/linter/ArcanistPyFlakesLinter.php @@ -1,98 +1,91 @@ getDeprecatedConfiguration('lint.pyflakes.prefix'); - $bin = $this->getDeprecatedConfiguration('lint.pyflakes.bin', 'pyflakes'); - - if ($prefix) { - return $prefix.'/'.$bin; - } else { - return $bin; - } + return 'pyflakes'; } public function getVersion() { list($stdout) = execx('%C --version', $this->getExecutableCommand()); $matches = array(); if (preg_match('/^(?P\d+\.\d+\.\d+)$/', $stdout, $matches)) { return $matches['version']; } else { return false; } } public function getInstallInstructions() { return pht('Install pyflakes with `%s`.', 'pip install pyflakes'); } protected function parseLinterOutput($path, $err, $stdout, $stderr) { $lines = phutil_split_lines($stdout, false); $messages = array(); foreach ($lines as $line) { $matches = null; if (!preg_match('/^(.*?):(\d+): (.*)$/', $line, $matches)) { continue; } foreach ($matches as $key => $match) { $matches[$key] = trim($match); } $severity = ArcanistLintSeverity::SEVERITY_WARNING; $description = $matches[3]; $error_regexp = '/(^undefined|^duplicate|before assignment$)/'; if (preg_match($error_regexp, $description)) { $severity = ArcanistLintSeverity::SEVERITY_ERROR; } $message = new ArcanistLintMessage(); $message->setPath($path); $message->setLine($matches[2]); $message->setCode($this->getLinterName()); $message->setDescription($description); $message->setSeverity($severity); $messages[] = $message; } if ($err && !$messages) { return false; } return $messages; } protected function canCustomizeLintSeverities() { return false; } } diff --git a/src/lint/linter/ArcanistPyLintLinter.php b/src/lint/linter/ArcanistPyLintLinter.php index 943a54f8..46be2f45 100644 --- a/src/lint/linter/ArcanistPyLintLinter.php +++ b/src/lint/linter/ArcanistPyLintLinter.php @@ -1,199 +1,182 @@ getDeprecatedConfiguration('lint.pylint.prefix'); - $bin = $this->getDeprecatedConfiguration('lint.pylint.bin', 'pylint'); - - if ($prefix) { - return $prefix.'/bin/'.$bin; - } else { - return $bin; - } + return 'pylint'; } public function getVersion() { list($stdout) = execx('%C --version', $this->getExecutableCommand()); $matches = array(); $regex = '/^pylint (?P\d+\.\d+\.\d+),/'; if (preg_match($regex, $stdout, $matches)) { return $matches['version']; } else { return false; } } public function getInstallInstructions() { return pht( 'Install PyLint using `%s`.', 'pip install pylint'); } public function shouldExpectCommandErrors() { return true; } public function getLinterConfigurationOptions() { $options = array( 'pylint.config' => array( 'type' => 'optional string', 'help' => pht('Pass in a custom configuration file path.'), ), ); return $options + parent::getLinterConfigurationOptions(); } public function setLinterConfigurationValue($key, $value) { switch ($key) { case 'pylint.config': $this->config = $value; return; default: return parent::setLinterConfigurationValue($key, $value); } } protected function getMandatoryFlags() { $options = array(); $options[] = '--reports=no'; $options[] = '--msg-template="{line}|{column}|{msg_id}|{symbol}|{msg}"'; // Specify an `--rcfile`, either absolute or relative to the project root. // Stupidly, the command line args above are overridden by rcfile, so be // careful. $config = $this->config; - if (!$config) { - $config = $this->getDeprecatedConfiguration('lint.pylint.rcfile'); - } - if ($config !== null) { $options[] = '--rcfile='.$config; } return $options; } protected function getDefaultFlags() { $options = array(); - // Add any options defined in the config file for PyLint. - $config_options = $this->getDeprecatedConfiguration( - 'lint.pylint.options', - array()); - $options = array_merge($options, $config_options); - $installed_version = $this->getVersion(); $minimum_version = '1.0.0'; if (version_compare($installed_version, $minimum_version, '<')) { throw new ArcanistMissingLinterException( pht( '%s is not compatible with the installed version of pylint. '. 'Minimum version: %s; installed version: %s.', __CLASS__, $minimum_version, $installed_version)); } return $options; } protected function parseLinterOutput($path, $err, $stdout, $stderr) { if ($err === 32) { // According to `man pylint` the exit status of 32 means there was a // usage error. That's bad, so actually exit abnormally. return false; } $lines = phutil_split_lines($stdout, false); $messages = array(); foreach ($lines as $line) { $matches = explode('|', $line, 5); if (count($matches) < 5) { continue; } $message = id(new ArcanistLintMessage()) ->setPath($path) ->setLine($matches[0]) ->setChar($matches[1]) ->setCode($matches[2]) ->setSeverity($this->getLintMessageSeverity($matches[2])) ->setName(ucwords(str_replace('-', ' ', $matches[3]))) ->setDescription($matches[4]); $messages[] = $message; } if ($err && !$messages) { return false; } return $messages; } protected function getDefaultMessageSeverity($code) { switch (substr($code, 0, 1)) { case 'R': case 'C': return ArcanistLintSeverity::SEVERITY_ADVICE; case 'W': return ArcanistLintSeverity::SEVERITY_WARNING; case 'E': case 'F': return ArcanistLintSeverity::SEVERITY_ERROR; default: return ArcanistLintSeverity::SEVERITY_DISABLED; } } protected function getLintCodeFromLinterConfigurationKey($code) { if (!preg_match('/^(R|C|W|E|F)\d{4}$/', $code)) { throw new Exception( pht( 'Unrecognized lint message code "%s". Expected a valid Pylint '. 'lint code like "%s", or "%s", or "%s".', $code, 'C0111', 'E0602', 'W0611')); } return $code; } } diff --git a/src/lint/linter/ArcanistRubyLinter.php b/src/lint/linter/ArcanistRubyLinter.php index fb8ed25e..3a9845d4 100644 --- a/src/lint/linter/ArcanistRubyLinter.php +++ b/src/lint/linter/ArcanistRubyLinter.php @@ -1,96 +1,91 @@ getDeprecatedConfiguration('lint.ruby.prefix'); - if ($prefix !== null) { - $ruby_bin = $prefix.'ruby'; - } - return 'ruby'; } public function getVersion() { list($stdout) = execx('%C --version', $this->getExecutableCommand()); $matches = array(); $regex = '/^ruby (?P\d+\.\d+\.\d+)p\d+/'; if (preg_match($regex, $stdout, $matches)) { return $matches['version']; } else { return false; } } public function getInstallInstructions() { return pht('Install `%s` from <%s>.', 'ruby', 'http://www.ruby-lang.org/'); } protected function getMandatoryFlags() { // -w: turn on warnings // -c: check syntax return array('-w', '-c'); } protected function parseLinterOutput($path, $err, $stdout, $stderr) { $lines = phutil_split_lines($stderr, false); $messages = array(); foreach ($lines as $line) { $matches = null; if (!preg_match('/(.*?):(\d+): (.*?)$/', $line, $matches)) { continue; } foreach ($matches as $key => $match) { $matches[$key] = trim($match); } $code = head(explode(',', $matches[3])); $message = new ArcanistLintMessage(); $message->setPath($path); $message->setLine($matches[2]); $message->setCode($this->getLinterName()); $message->setName(pht('Syntax Error')); $message->setDescription($matches[3]); $message->setSeverity($this->getLintMessageSeverity($code)); $messages[] = $message; } if ($err && !$messages) { return false; } return $messages; } } diff --git a/src/lint/linter/ArcanistScriptAndRegexLinter.php b/src/lint/linter/ArcanistScriptAndRegexLinter.php index af2ebb95..70ce944a 100644 --- a/src/lint/linter/ArcanistScriptAndRegexLinter.php +++ b/src/lint/linter/ArcanistScriptAndRegexLinter.php @@ -1,450 +1,377 @@ &1' * * The return code of the script must be 0, or an exception will be raised * reporting that the linter failed. If you have a script which exits nonzero * under normal circumstances, you can force it to always exit 0 by using a * configuration like this: * * sh -c '/opt/lint/lint.sh "$0" || true' * * Multiple instances of the script will be run in parallel if there are * multiple files to be linted, so they should not use any unique resources. * For instance, this configuration would not work properly, because several * processes may attempt to write to the file at the same time: * * COUNTEREXAMPLE * sh -c '/opt/lint/lint.sh --output /tmp/lint.out "$0" && cat /tmp/lint.out' * * There are necessary limits to how gracefully this linter can deal with * edge cases, because it is just a script and a regex. If you need to do * things that this linter can't handle, you can write a phutil linter and move * the logic to handle those cases into PHP. PHP is a better general-purpose * programming language than regular expressions are, if only by a small margin. * * == ...and Regex == * * The regex must be a valid PHP PCRE regex, including delimiters and flags. * * The regex will be matched against the entire output of the script, so it * should generally be in this form if messages are one-per-line: * * /^...$/m * * The regex should capture these named patterns with `(?P...)`: * * - `message` (required) Text describing the lint message. For example, * "This is a syntax error.". * - `name` (optional) Text summarizing the lint message. For example, * "Syntax Error". * - `severity` (optional) The word "error", "warning", "autofix", "advice", * or "disabled", in any combination of upper and lower case. Instead, you * may match groups called `error`, `warning`, `advice`, `autofix`, or * `disabled`. These allow you to match output formats like "E123" and * "W123" to indicate errors and warnings, even though the word "error" is * not present in the output. If no severity capturing group is present, * messages are raised with "error" severity. If multiple severity capturing * groups are present, messages are raised with the highest captured * severity. Capturing groups like `error` supersede the `severity` * capturing group. * - `error` (optional) Match some nonempty substring to indicate that this * message has "error" severity. * - `warning` (optional) Match some nonempty substring to indicate that this * message has "warning" severity. * - `advice` (optional) Match some nonempty substring to indicate that this * message has "advice" severity. * - `autofix` (optional) Match some nonempty substring to indicate that this * message has "autofix" severity. * - `disabled` (optional) Match some nonempty substring to indicate that this * message has "disabled" severity. * - `file` (optional) The name of the file to raise the lint message in. If * not specified, defaults to the linted file. It is generally not necessary * to capture this unless the linter can raise messages in files other than * the one it is linting. * - `line` (optional) The line number of the message. * - `char` (optional) The character offset of the message. * - `offset` (optional) The byte offset of the message. If captured, this * supersedes `line` and `char`. * - `original` (optional) The text the message affects. * - `replacement` (optional) The text that the range captured by `original` * should be automatically replaced by to resolve the message. * - `code` (optional) A short error type identifier which can be used * elsewhere to configure handling of specific types of messages. For * example, "EXAMPLE1", "EXAMPLE2", etc., where each code identifies a * class of message like "syntax error", "missing whitespace", etc. This * allows configuration to later change the severity of all whitespace * messages, for example. * - `ignore` (optional) Match some nonempty substring to ignore the match. * You can use this if your linter sometimes emits text like "No lint * errors". * - `stop` (optional) Match some nonempty substring to stop processing input. * Remaining matches for this file will be discarded, but linting will * continue with other linters and other files. * - `halt` (optional) Match some nonempty substring to halt all linting of * this file by any linter. Linting will continue with other files. * - `throw` (optional) Match some nonempty substring to throw an error, which * will stop `arc` completely. You can use this to fail abruptly if you * encounter unexpected output. All processing will abort. * * Numbered capturing groups are ignored. * * For example, if your lint script's output looks like this: * * error:13 Too many goats! * warning:22 Not enough boats. * * ...you could use this regex to parse it: * * /^(?Pwarning|error):(?P\d+) (?P.*)$/m * * The simplest valid regex for line-oriented output is something like this: * * /^(?P.*)$/m * * @task lint Linting * @task linterinfo Linter Information * @task parse Parsing Output * @task config Validating Configuration */ final class ArcanistScriptAndRegexLinter extends ArcanistLinter { private $script = null; private $regex = null; private $output = array(); public function getInfoName() { return pht('Script and Regex'); } public function getInfoDescription() { return pht( 'Run an external script, then parse its output with a regular '. 'expression. This is a generic binding that can be used to '. 'run custom lint scripts.'); } /* -( Linting )------------------------------------------------------------ */ /** * Run the script on each file to be linted. * * @task lint */ public function willLintPaths(array $paths) { - $script = $this->getConfiguredScript(); - $root = $this->getProjectRoot(); + $root = $this->getProjectRoot(); $futures = array(); foreach ($paths as $path) { - $future = new ExecFuture('%C %s', $script, $path); + $future = new ExecFuture('%C %s', $this->script, $path); $future->setCWD($root); $futures[$path] = $future; } $futures = id(new FutureIterator($futures)) ->limit(4); foreach ($futures as $path => $future) { list($stdout) = $future->resolvex(); $this->output[$path] = $stdout; } } /** * Run the regex on the output of the script. * * @task lint */ public function lintPath($path) { - $regex = $this->getConfiguredRegex(); - $output = idx($this->output, $path); if (!strlen($output)) { // No output, but it exited 0, so just move on. return; } $matches = null; - if (!preg_match_all($regex, $output, $matches, PREG_SET_ORDER)) { + if (!preg_match_all($this->regex, $output, $matches, PREG_SET_ORDER)) { // Output with no matches. This might be a configuration error, but more // likely it's something like "No lint errors." and the user just hasn't // written a sufficiently powerful/ridiculous regexp to capture it into an // 'ignore' group. Don't make them figure this out; advanced users can // capture 'throw' to handle this case. return; } foreach ($matches as $match) { if (!empty($match['throw'])) { $throw = $match['throw']; throw new ArcanistUsageException( pht( "%s: configuration captured a '%s' named capturing group, ". "'%s'. Script output:\n%s", __CLASS__, 'throw', $throw, $output)); } if (!empty($match['halt'])) { $this->stopAllLinters(); break; } if (!empty($match['stop'])) { break; } if (!empty($match['ignore'])) { continue; } list($line, $char) = $this->getMatchLineAndChar($match, $path); $dict = array( 'path' => idx($match, 'file', $path), 'line' => $line, 'char' => $char, 'code' => idx($match, 'code', $this->getLinterName()), 'severity' => $this->getMatchSeverity($match), 'name' => idx($match, 'name', 'Lint'), 'description' => idx($match, 'message', pht('Undefined Lint Message')), ); $original = idx($match, 'original'); if ($original !== null) { $dict['original'] = $original; } $replacement = idx($match, 'replacement'); if ($replacement !== null) { $dict['replacement'] = $replacement; } $lint = ArcanistLintMessage::newFromDictionary($dict); $this->addLintMessage($lint); } } /* -( Linter Information )------------------------------------------------- */ /** * Return the short name of the linter. * * @return string Short linter identifier. * * @task linterinfo */ public function getLinterName() { return 'S&RX'; } public function getLinterConfigurationName() { return 'script-and-regex'; } public function getLinterConfigurationOptions() { // These fields are optional only to avoid breaking things. $options = array( 'script-and-regex.script' => array( - 'type' => 'optional string', + 'type' => 'string', 'help' => pht('Script to execute.'), ), 'script-and-regex.regex' => array( - 'type' => 'optional regex', + 'type' => 'regex', 'help' => pht('The regex to process output with.'), ), ); return $options + parent::getLinterConfigurationOptions(); } public function setLinterConfigurationValue($key, $value) { switch ($key) { case 'script-and-regex.script': $this->script = $value; return; case 'script-and-regex.regex': $this->regex = $value; return; } return parent::setLinterConfigurationValue($key, $value); } /* -( Parsing Output )----------------------------------------------------- */ /** * Get the line and character of the message from the regex match. * * @param dict Captured groups from regex. * @return pair Line and character of the message. * * @task parse */ private function getMatchLineAndChar(array $match, $path) { if (!empty($match['offset'])) { list($line, $char) = $this->getEngine()->getLineAndCharFromOffset( idx($match, 'file', $path), $match['offset']); return array($line + 1, $char + 1); } $line = idx($match, 'line', 1); $char = idx($match, 'char'); return array($line, $char); } /** * Map the regex matching groups to a message severity. We look for either * a nonempty severity name group like 'error', or a group called 'severity' * with a valid name. * * @param dict Captured groups from regex. * @return const @{class:ArcanistLintSeverity} constant. * * @task parse */ private function getMatchSeverity(array $match) { $map = array( 'error' => ArcanistLintSeverity::SEVERITY_ERROR, 'warning' => ArcanistLintSeverity::SEVERITY_WARNING, 'autofix' => ArcanistLintSeverity::SEVERITY_AUTOFIX, 'advice' => ArcanistLintSeverity::SEVERITY_ADVICE, 'disabled' => ArcanistLintSeverity::SEVERITY_DISABLED, ); $severity_name = strtolower(idx($match, 'severity')); foreach ($map as $name => $severity) { if (!empty($match[$name])) { return $severity; } else if ($severity_name == $name) { return $severity; } } return ArcanistLintSeverity::SEVERITY_ERROR; } - -/* -( Validating Configuration )------------------------------------------- */ - - /** - * Load, validate, and return the "script" configuration. - * - * @return string The shell command fragment to use to run the linter. - * - * @task config - */ - private function getConfiguredScript() { - if (strlen($this->script)) { - return $this->script; - } - - $config = $this->getDeprecatedConfiguration('linter.scriptandregex.script'); - - if (!$config) { - throw new ArcanistUsageException( - pht( - 'No "script" configured for script-and-regex linter, which '. - 'requires a script. Use "%s" to configure one.', - 'script-and-regex.script')); - } - - // NOTE: No additional validation since the "script" can be some random - // shell command and/or include flags, so it does not need to point to some - // file on disk. - - return $config; - } - - /** - * Load, validate, and return the "regex" configuration. - * - * @return string A valid PHP PCRE regular expression. - * - * @task config - */ - private function getConfiguredRegex() { - if (strlen($this->regex)) { - return $this->regex; - } - - $key = 'linter.scriptandregex.regex'; - $config = $this->getDeprecatedConfiguration($key); - - if (!$config) { - throw new ArcanistUsageException( - pht( - 'No "regex" configured for script-and-regex linter, which '. - 'requires a regex. Use "%s" to configure one.', - 'script-and-regex.regex')); - } - - // NOTE: preg_match() returns 0 for no matches and false for compile error; - // this won't match, but will validate the syntax of the regex. - - $ok = @preg_match($config, 'syntax-check'); - if ($ok === false) { - throw new ArcanistUsageException( - pht( - 'Regular expression passed to script-and-regex linter ("%s") is '. - 'not a valid regular expression.', - $config)); - } - - return $config; - } - } diff --git a/src/lint/linter/ArcanistXHPASTLinter.php b/src/lint/linter/ArcanistXHPASTLinter.php index 05f79a69..eccf22c9 100644 --- a/src/lint/linter/ArcanistXHPASTLinter.php +++ b/src/lint/linter/ArcanistXHPASTLinter.php @@ -1,4486 +1,4482 @@ pht('PHP Syntax Error!'), self::LINT_UNABLE_TO_PARSE => pht('Unable to Parse'), self::LINT_VARIABLE_VARIABLE => pht('Use of Variable Variable'), self::LINT_EXTRACT_USE => pht('Use of %s', 'extract()'), self::LINT_UNDECLARED_VARIABLE => pht('Use of Undeclared Variable'), self::LINT_PHP_SHORT_TAG => pht('Use of Short Tag "%s"', ' pht('Use of Echo Tag "%s"', ' pht('Use of Close Tag "%s"', '?>'), self::LINT_NAMING_CONVENTIONS => pht('Naming Conventions'), self::LINT_IMPLICIT_CONSTRUCTOR => pht('Implicit Constructor'), self::LINT_DYNAMIC_DEFINE => pht('Dynamic %s', 'define()'), self::LINT_STATIC_THIS => pht('Use of %s in Static Context', '$this'), self::LINT_PREG_QUOTE_MISUSE => pht('Misuse of %s', 'preg_quote()'), self::LINT_PHP_OPEN_TAG => pht('Expected Open Tag'), self::LINT_TODO_COMMENT => pht('TODO Comment'), self::LINT_EXIT_EXPRESSION => pht('Exit Used as Expression'), self::LINT_COMMENT_STYLE => pht('Comment Style'), self::LINT_CLASS_FILENAME_MISMATCH => pht('Class-Filename Mismatch'), self::LINT_TAUTOLOGICAL_EXPRESSION => pht('Tautological Expression'), self::LINT_PLUS_OPERATOR_ON_STRINGS => pht('Not String Concatenation'), self::LINT_DUPLICATE_KEYS_IN_ARRAY => pht('Duplicate Keys in Array'), self::LINT_REUSED_ITERATORS => pht('Reuse of Iterator Variable'), self::LINT_BRACE_FORMATTING => pht('Brace Placement'), self::LINT_PARENTHESES_SPACING => pht('Spaces Inside Parentheses'), self::LINT_CONTROL_STATEMENT_SPACING => pht('Space After Control Statement'), self::LINT_BINARY_EXPRESSION_SPACING => pht('Space Around Binary Operator'), self::LINT_ARRAY_INDEX_SPACING => pht('Spacing Before Array Index'), self::LINT_IMPLICIT_FALLTHROUGH => pht('Implicit Fallthrough'), self::LINT_REUSED_AS_ITERATOR => pht('Variable Reused As Iterator'), self::LINT_COMMENT_SPACING => pht('Comment Spaces'), self::LINT_SLOWNESS => pht('Slow Construct'), self::LINT_CLOSING_CALL_PAREN => pht('Call Formatting'), self::LINT_CLOSING_DECL_PAREN => pht('Declaration Formatting'), self::LINT_REUSED_ITERATOR_REFERENCE => pht('Reuse of Iterator References'), self::LINT_KEYWORD_CASING => pht('Keyword Conventions'), self::LINT_DOUBLE_QUOTE => pht('Unnecessary Double Quotes'), self::LINT_ELSEIF_USAGE => pht('ElseIf Usage'), self::LINT_SEMICOLON_SPACING => pht('Semicolon Spacing'), self::LINT_CONCATENATION_OPERATOR => pht('Concatenation Spacing'), self::LINT_PHP_COMPATIBILITY => pht('PHP Compatibility'), self::LINT_LANGUAGE_CONSTRUCT_PAREN => pht('Language Construct Parentheses'), self::LINT_EMPTY_STATEMENT => pht('Empty Block Statement'), self::LINT_ARRAY_SEPARATOR => pht('Array Separator'), self::LINT_CONSTRUCTOR_PARENTHESES => pht('Constructor Parentheses'), self::LINT_DUPLICATE_SWITCH_CASE => pht('Duplicate Case Statements'), self::LINT_BLACKLISTED_FUNCTION => pht('Use of Blacklisted Function'), self::LINT_IMPLICIT_VISIBILITY => pht('Implicit Method Visibility'), self::LINT_CALL_TIME_PASS_BY_REF => pht('Call-Time Pass-By-Reference'), self::LINT_FORMATTED_STRING => pht('Formatted String'), self::LINT_UNNECESSARY_FINAL_MODIFIER => pht('Unnecessary Final Modifier'), self::LINT_UNNECESSARY_SEMICOLON => pht('Unnecessary Semicolon'), self::LINT_SELF_MEMBER_REFERENCE => pht('Self Member Reference'), self::LINT_LOGICAL_OPERATORS => pht('Logical Operators'), self::LINT_INNER_FUNCTION => pht('Inner Functions'), self::LINT_DEFAULT_PARAMETERS => pht('Default Parameters'), self::LINT_LOWERCASE_FUNCTIONS => pht('Lowercase Functions'), self::LINT_CLASS_NAME_LITERAL => pht('Class Name Literal'), self::LINT_USELESS_OVERRIDING_METHOD => pht('Useless Overriding Method'), self::LINT_NO_PARENT_SCOPE => pht('No Parent Scope'), self::LINT_ALIAS_FUNCTION => pht('Alias Functions'), self::LINT_CAST_SPACING => pht('Cast Spacing'), self::LINT_TOSTRING_EXCEPTION => pht('Throwing Exception in %s Method', '__toString'), self::LINT_LAMBDA_FUNC_FUNCTION => pht('%s Function', '__lambda_func'), self::LINT_INSTANCEOF_OPERATOR => pht('%s Operator', 'instanceof'), self::LINT_INVALID_DEFAULT_PARAMETER => pht('Invalid Default Parameter'), self::LINT_MODIFIER_ORDERING => pht('Modifier Ordering'), self::LINT_INVALID_MODIFIERS => pht('Invalid Modifiers'), ); } public function getLinterName() { return 'XHP'; } public function getLinterConfigurationName() { return 'xhpast'; } public function getLintSeverityMap() { $disabled = ArcanistLintSeverity::SEVERITY_DISABLED; $advice = ArcanistLintSeverity::SEVERITY_ADVICE; $warning = ArcanistLintSeverity::SEVERITY_WARNING; return array( self::LINT_TODO_COMMENT => $disabled, self::LINT_UNABLE_TO_PARSE => $warning, self::LINT_NAMING_CONVENTIONS => $warning, self::LINT_PREG_QUOTE_MISUSE => $advice, self::LINT_BRACE_FORMATTING => $warning, self::LINT_PARENTHESES_SPACING => $warning, self::LINT_CONTROL_STATEMENT_SPACING => $warning, self::LINT_BINARY_EXPRESSION_SPACING => $warning, self::LINT_ARRAY_INDEX_SPACING => $warning, self::LINT_IMPLICIT_FALLTHROUGH => $warning, self::LINT_SLOWNESS => $warning, self::LINT_COMMENT_SPACING => $advice, self::LINT_CLOSING_CALL_PAREN => $warning, self::LINT_CLOSING_DECL_PAREN => $warning, self::LINT_REUSED_ITERATOR_REFERENCE => $warning, self::LINT_KEYWORD_CASING => $warning, self::LINT_DOUBLE_QUOTE => $advice, self::LINT_ELSEIF_USAGE => $advice, self::LINT_SEMICOLON_SPACING => $advice, self::LINT_CONCATENATION_OPERATOR => $warning, self::LINT_LANGUAGE_CONSTRUCT_PAREN => $warning, self::LINT_EMPTY_STATEMENT => $advice, self::LINT_ARRAY_SEPARATOR => $advice, self::LINT_CONSTRUCTOR_PARENTHESES => $advice, self::LINT_IMPLICIT_VISIBILITY => $advice, self::LINT_UNNECESSARY_FINAL_MODIFIER => $advice, self::LINT_UNNECESSARY_SEMICOLON => $advice, self::LINT_SELF_MEMBER_REFERENCE => $advice, self::LINT_LOGICAL_OPERATORS => $advice, self::LINT_INNER_FUNCTION => $warning, self::LINT_DEFAULT_PARAMETERS => $warning, self::LINT_LOWERCASE_FUNCTIONS => $advice, self::LINT_CLASS_NAME_LITERAL => $advice, self::LINT_USELESS_OVERRIDING_METHOD => $advice, self::LINT_ALIAS_FUNCTION => $advice, self::LINT_CAST_SPACING => $advice, self::LINT_MODIFIER_ORDERING => $advice, ); } public function getLinterConfigurationOptions() { return parent::getLinterConfigurationOptions() + array( 'xhpast.blacklisted.function' => array( 'type' => 'optional map', 'help' => pht('Blacklisted functions which should not be used.'), ), 'xhpast.naminghook' => array( 'type' => 'optional string', 'help' => pht( 'Name of a concrete subclass of ArcanistXHPASTLintNamingHook which '. 'enforces more granular naming convention rules for symbols.'), ), 'xhpast.printf-functions' => array( 'type' => 'optional map', 'help' => pht( '%s-style functions which take a format string and list of values '. 'as arguments. The value for the mapping is the start index of the '. 'function parameters (the index of the format string parameter).', 'printf()'), ), 'xhpast.switchhook' => array( 'type' => 'optional string', 'help' => pht( 'Name of a concrete subclass of ArcanistXHPASTLintSwitchHook which '. 'tunes the analysis of switch() statements for this linter.'), ), 'xhpast.php-version' => array( 'type' => 'optional string', 'help' => pht('PHP version to target.'), ), 'xhpast.php-version.windows' => array( 'type' => 'optional string', 'help' => pht('PHP version to target on Windows.'), ), ); } public function setLinterConfigurationValue($key, $value) { switch ($key) { case 'xhpast.blacklisted.function': $this->blacklistedFunctions = $value; return; case 'xhpast.naminghook': $this->naminghook = $value; return; case 'xhpast.printf-functions': $this->printfFunctions = $value; return; case 'xhpast.switchhook': $this->switchhook = $value; return; case 'xhpast.php-version': $this->version = $value; return; case 'xhpast.php-version.windows': $this->windowsVersion = $value; return; } return parent::setLinterConfigurationValue($key, $value); } public function getVersion() { // The version number should be incremented whenever a new rule is added. return '34'; } protected function resolveFuture($path, Future $future) { $tree = $this->getXHPASTTreeForPath($path); if (!$tree) { $ex = $this->getXHPASTExceptionForPath($path); if ($ex instanceof XHPASTSyntaxErrorException) { $this->raiseLintAtLine( $ex->getErrorLine(), 1, self::LINT_PHP_SYNTAX_ERROR, pht( 'This file contains a syntax error: %s', $ex->getMessage())); } else if ($ex instanceof Exception) { $this->raiseLintAtPath(self::LINT_UNABLE_TO_PARSE, $ex->getMessage()); } return; } $root = $tree->getRootNode(); $method_codes = array( 'lintStrstrUsedForCheck' => self::LINT_SLOWNESS, 'lintStrposUsedForStart' => self::LINT_SLOWNESS, 'lintImplicitFallthrough' => self::LINT_IMPLICIT_FALLTHROUGH, 'lintBraceFormatting' => self::LINT_BRACE_FORMATTING, 'lintTautologicalExpressions' => self::LINT_TAUTOLOGICAL_EXPRESSION, 'lintCommentSpaces' => self::LINT_COMMENT_SPACING, 'lintHashComments' => self::LINT_COMMENT_STYLE, 'lintReusedIterators' => self::LINT_REUSED_ITERATORS, 'lintReusedIteratorReferences' => self::LINT_REUSED_ITERATOR_REFERENCE, 'lintVariableVariables' => self::LINT_VARIABLE_VARIABLE, 'lintUndeclaredVariables' => array( self::LINT_EXTRACT_USE, self::LINT_REUSED_AS_ITERATOR, self::LINT_UNDECLARED_VARIABLE, ), 'lintPHPTagUse' => array( self::LINT_PHP_SHORT_TAG, self::LINT_PHP_ECHO_TAG, self::LINT_PHP_OPEN_TAG, self::LINT_PHP_CLOSE_TAG, ), 'lintNamingConventions' => self::LINT_NAMING_CONVENTIONS, 'lintSurpriseConstructors' => self::LINT_IMPLICIT_CONSTRUCTOR, 'lintParenthesesShouldHugExpressions' => self::LINT_PARENTHESES_SPACING, 'lintSpaceAfterControlStatementKeywords' => self::LINT_CONTROL_STATEMENT_SPACING, 'lintSpaceAroundBinaryOperators' => self::LINT_BINARY_EXPRESSION_SPACING, 'lintDynamicDefines' => self::LINT_DYNAMIC_DEFINE, 'lintUseOfThisInStaticMethods' => self::LINT_STATIC_THIS, 'lintPregQuote' => self::LINT_PREG_QUOTE_MISUSE, 'lintExitExpressions' => self::LINT_EXIT_EXPRESSION, 'lintArrayIndexWhitespace' => self::LINT_ARRAY_INDEX_SPACING, 'lintTodoComments' => self::LINT_TODO_COMMENT, 'lintPrimaryDeclarationFilenameMatch' => self::LINT_CLASS_FILENAME_MISMATCH, 'lintPlusOperatorOnStrings' => self::LINT_PLUS_OPERATOR_ON_STRINGS, 'lintDuplicateKeysInArray' => self::LINT_DUPLICATE_KEYS_IN_ARRAY, 'lintClosingCallParen' => self::LINT_CLOSING_CALL_PAREN, 'lintClosingDeclarationParen' => self::LINT_CLOSING_DECL_PAREN, 'lintKeywordCasing' => self::LINT_KEYWORD_CASING, 'lintStrings' => self::LINT_DOUBLE_QUOTE, 'lintElseIfStatements' => self::LINT_ELSEIF_USAGE, 'lintSemicolons' => self::LINT_SEMICOLON_SPACING, 'lintSpaceAroundConcatenationOperators' => self::LINT_CONCATENATION_OPERATOR, 'lintPHPCompatibility' => self::LINT_PHP_COMPATIBILITY, 'lintLanguageConstructParentheses' => self::LINT_LANGUAGE_CONSTRUCT_PAREN, 'lintEmptyBlockStatements' => self::LINT_EMPTY_STATEMENT, 'lintArraySeparator' => self::LINT_ARRAY_SEPARATOR, 'lintConstructorParentheses' => self::LINT_CONSTRUCTOR_PARENTHESES, 'lintSwitchStatements' => self::LINT_DUPLICATE_SWITCH_CASE, 'lintBlacklistedFunction' => self::LINT_BLACKLISTED_FUNCTION, 'lintMethodVisibility' => self::LINT_IMPLICIT_VISIBILITY, 'lintPropertyVisibility' => self::LINT_IMPLICIT_VISIBILITY, 'lintCallTimePassByReference' => self::LINT_CALL_TIME_PASS_BY_REF, 'lintFormattedString' => self::LINT_FORMATTED_STRING, 'lintUnnecessaryFinalModifier' => self::LINT_UNNECESSARY_FINAL_MODIFIER, 'lintUnnecessarySemicolons' => self::LINT_UNNECESSARY_SEMICOLON, 'lintConstantDefinitions' => self::LINT_NAMING_CONVENTIONS, 'lintSelfMemberReference' => self::LINT_SELF_MEMBER_REFERENCE, 'lintLogicalOperators' => self::LINT_LOGICAL_OPERATORS, 'lintInnerFunctions' => self::LINT_INNER_FUNCTION, 'lintDefaultParameters' => self::LINT_DEFAULT_PARAMETERS, 'lintLowercaseFunctions' => self::LINT_LOWERCASE_FUNCTIONS, 'lintClassNameLiteral' => self::LINT_CLASS_NAME_LITERAL, 'lintUselessOverridingMethods' => self::LINT_USELESS_OVERRIDING_METHOD, 'lintNoParentScope' => self::LINT_NO_PARENT_SCOPE, 'lintAliasFunctions' => self::LINT_ALIAS_FUNCTION, 'lintCastSpacing' => self::LINT_CAST_SPACING, 'lintThrowExceptionInToStringMethod' => self::LINT_TOSTRING_EXCEPTION, 'lintLambdaFuncFunction' => self::LINT_LAMBDA_FUNC_FUNCTION, 'lintInstanceOfOperator' => self::LINT_INSTANCEOF_OPERATOR, 'lintInvalidDefaultParameters' => self::LINT_INVALID_DEFAULT_PARAMETER, 'lintMethodModifierOrdering' => self::LINT_MODIFIER_ORDERING, 'lintPropertyModifierOrdering' => self::LINT_MODIFIER_ORDERING, 'lintInvalidModifiers' => self::LINT_INVALID_MODIFIERS, ); foreach ($method_codes as $method => $codes) { foreach ((array)$codes as $code) { if ($this->isCodeEnabled($code)) { call_user_func(array($this, $method), $root); break; } } } } private function lintStrstrUsedForCheck(XHPASTNode $root) { $expressions = $root->selectDescendantsOfType('n_BINARY_EXPRESSION'); foreach ($expressions as $expression) { $operator = $expression->getChildOfType(1, 'n_OPERATOR'); $operator = $operator->getConcreteString(); if ($operator !== '===' && $operator !== '!==') { continue; } $false = $expression->getChildByIndex(0); if ($false->getTypeName() === 'n_SYMBOL_NAME' && $false->getConcreteString() === 'false') { $strstr = $expression->getChildByIndex(2); } else { $strstr = $false; $false = $expression->getChildByIndex(2); if ($false->getTypeName() !== 'n_SYMBOL_NAME' || $false->getConcreteString() !== 'false') { continue; } } if ($strstr->getTypeName() !== 'n_FUNCTION_CALL') { continue; } $name = strtolower($strstr->getChildByIndex(0)->getConcreteString()); if ($name === 'strstr' || $name === 'strchr') { $this->raiseLintAtNode( $strstr, self::LINT_SLOWNESS, pht( 'Use %s for checking if the string contains something.', 'strpos()')); } else if ($name === 'stristr') { $this->raiseLintAtNode( $strstr, self::LINT_SLOWNESS, pht( 'Use %s for checking if the string contains something.', 'stripos()')); } } } private function lintStrposUsedForStart(XHPASTNode $root) { $expressions = $root->selectDescendantsOfType('n_BINARY_EXPRESSION'); foreach ($expressions as $expression) { $operator = $expression->getChildOfType(1, 'n_OPERATOR'); $operator = $operator->getConcreteString(); if ($operator !== '===' && $operator !== '!==') { continue; } $zero = $expression->getChildByIndex(0); if ($zero->getTypeName() === 'n_NUMERIC_SCALAR' && $zero->getConcreteString() === '0') { $strpos = $expression->getChildByIndex(2); } else { $strpos = $zero; $zero = $expression->getChildByIndex(2); if ($zero->getTypeName() !== 'n_NUMERIC_SCALAR' || $zero->getConcreteString() !== '0') { continue; } } if ($strpos->getTypeName() !== 'n_FUNCTION_CALL') { continue; } $name = strtolower($strpos->getChildByIndex(0)->getConcreteString()); if ($name === 'strpos') { $this->raiseLintAtNode( $strpos, self::LINT_SLOWNESS, pht( 'Use %s for checking if the string starts with something.', 'strncmp()')); } else if ($name === 'stripos') { $this->raiseLintAtNode( $strpos, self::LINT_SLOWNESS, pht( 'Use %s for checking if the string starts with something.', 'strncasecmp()')); } } } private function lintPHPCompatibility(XHPASTNode $root) { static $compat_info; if (!$this->version) { return; } if ($compat_info === null) { $target = phutil_get_library_root('phutil'). '/../resources/php_compat_info.json'; $compat_info = phutil_json_decode(Filesystem::readFile($target)); } // Create a whitelist for symbols which are being used conditionally. $whitelist = array( 'class' => array(), 'function' => array(), ); $conditionals = $root->selectDescendantsOfType('n_IF'); foreach ($conditionals as $conditional) { $condition = $conditional->getChildOfType(0, 'n_CONTROL_CONDITION'); $function = $condition->getChildByIndex(0); if ($function->getTypeName() != 'n_FUNCTION_CALL') { continue; } $function_token = $function ->getChildByIndex(0); if ($function_token->getTypeName() != 'n_SYMBOL_NAME') { // This may be `Class::method(...)` or `$var(...)`. continue; } $function_name = $function_token->getConcreteString(); switch ($function_name) { case 'class_exists': case 'function_exists': case 'interface_exists': $type = null; switch ($function_name) { case 'class_exists': $type = 'class'; break; case 'function_exists': $type = 'function'; break; case 'interface_exists': $type = 'interface'; break; } $params = $function->getChildOfType(1, 'n_CALL_PARAMETER_LIST'); $symbol = $params->getChildByIndex(0); if (!$symbol->isStaticScalar()) { continue; } $symbol_name = $symbol->evalStatic(); if (!idx($whitelist[$type], $symbol_name)) { $whitelist[$type][$symbol_name] = array(); } $span = $conditional ->getChildByIndex(1) ->getTokens(); $whitelist[$type][$symbol_name][] = range( head_key($span), last_key($span)); break; } } $calls = $root->selectDescendantsOfType('n_FUNCTION_CALL'); foreach ($calls as $call) { $node = $call->getChildByIndex(0); $name = $node->getConcreteString(); $version = idx($compat_info['functions'], $name, array()); $min = idx($version, 'php.min'); $max = idx($version, 'php.max'); // Check if whitelisted. $whitelisted = false; foreach (idx($whitelist['function'], $name, array()) as $range) { if (array_intersect($range, array_keys($node->getTokens()))) { $whitelisted = true; break; } } if ($whitelisted) { continue; } if ($min && version_compare($min, $this->version, '>')) { $this->raiseLintAtNode( $node, self::LINT_PHP_COMPATIBILITY, pht( 'This codebase targets PHP %s, but `%s()` was not '. 'introduced until PHP %s.', $this->version, $name, $min)); } else if ($max && version_compare($max, $this->version, '<')) { $this->raiseLintAtNode( $node, self::LINT_PHP_COMPATIBILITY, pht( 'This codebase targets PHP %s, but `%s()` was '. 'removed in PHP %s.', $this->version, $name, $max)); } else if (array_key_exists($name, $compat_info['params'])) { $params = $call->getChildOfType(1, 'n_CALL_PARAMETER_LIST'); foreach (array_values($params->getChildren()) as $i => $param) { $version = idx($compat_info['params'][$name], $i); if ($version && version_compare($version, $this->version, '>')) { $this->raiseLintAtNode( $param, self::LINT_PHP_COMPATIBILITY, pht( 'This codebase targets PHP %s, but parameter %d '. 'of `%s()` was not introduced until PHP %s.', $this->version, $i + 1, $name, $version)); } } } if ($this->windowsVersion) { $windows = idx($compat_info['functions_windows'], $name); if ($windows === false) { $this->raiseLintAtNode( $node, self::LINT_PHP_COMPATIBILITY, pht( 'This codebase targets PHP %s on Windows, '. 'but `%s()` is not available there.', $this->windowsVersion, $name)); } else if (version_compare($windows, $this->windowsVersion, '>')) { $this->raiseLintAtNode( $node, self::LINT_PHP_COMPATIBILITY, pht( 'This codebase targets PHP %s on Windows, '. 'but `%s()` is not available there until PHP %s.', $this->windowsVersion, $name, $windows)); } } } $classes = $root->selectDescendantsOfType('n_CLASS_NAME'); foreach ($classes as $node) { $name = $node->getConcreteString(); $version = idx($compat_info['interfaces'], $name, array()); $version = idx($compat_info['classes'], $name, $version); $min = idx($version, 'php.min'); $max = idx($version, 'php.max'); // Check if whitelisted. $whitelisted = false; foreach (idx($whitelist['class'], $name, array()) as $range) { if (array_intersect($range, array_keys($node->getTokens()))) { $whitelisted = true; break; } } if ($whitelisted) { continue; } if ($min && version_compare($min, $this->version, '>')) { $this->raiseLintAtNode( $node, self::LINT_PHP_COMPATIBILITY, pht( 'This codebase targets PHP %s, but `%s` was not '. 'introduced until PHP %s.', $this->version, $name, $min)); } else if ($max && version_compare($max, $this->version, '<')) { $this->raiseLintAtNode( $node, self::LINT_PHP_COMPATIBILITY, pht( 'This codebase targets PHP %s, but `%s` was '. 'removed in PHP %s.', $this->version, $name, $max)); } } // TODO: Technically, this will include function names. This is unlikely to // cause any issues (unless, of course, there existed a function that had // the same name as some constant). $constants = $root->selectDescendantsOfTypes(array( 'n_SYMBOL_NAME', 'n_MAGIC_SCALAR', )); foreach ($constants as $node) { $name = $node->getConcreteString(); $version = idx($compat_info['constants'], $name, array()); $min = idx($version, 'php.min'); $max = idx($version, 'php.max'); if ($min && version_compare($min, $this->version, '>')) { $this->raiseLintAtNode( $node, self::LINT_PHP_COMPATIBILITY, pht( 'This codebase targets PHP %s, but `%s` was not '. 'introduced until PHP %s.', $this->version, $name, $min)); } else if ($max && version_compare($max, $this->version, '<')) { $this->raiseLintAtNode( $node, self::LINT_PHP_COMPATIBILITY, pht( 'This codebase targets PHP %s, but `%s` was '. 'removed in PHP %s.', $this->version, $name, $max)); } } if (version_compare($this->version, '5.3.0') < 0) { $this->lintPHP53Features($root); } else { $this->lintPHP53Incompatibilities($root); } if (version_compare($this->version, '5.4.0') < 0) { $this->lintPHP54Features($root); } else { $this->lintPHP54Incompatibilities($root); } } private function lintPHP53Features(XHPASTNode $root) { $functions = $root->selectTokensOfType('T_FUNCTION'); foreach ($functions as $function) { $next = $function->getNextToken(); while ($next) { if ($next->isSemantic()) { break; } $next = $next->getNextToken(); } if ($next) { if ($next->getTypeName() === '(') { $this->raiseLintAtToken( $function, self::LINT_PHP_COMPATIBILITY, pht( 'This codebase targets PHP %s, but anonymous '. 'functions were not introduced until PHP 5.3.', $this->version)); } } } $namespaces = $root->selectTokensOfType('T_NAMESPACE'); foreach ($namespaces as $namespace) { $this->raiseLintAtToken( $namespace, self::LINT_PHP_COMPATIBILITY, pht( 'This codebase targets PHP %s, but namespaces were not '. 'introduced until PHP 5.3.', $this->version)); } // NOTE: This is only "use x;", in anonymous functions the node type is // n_LEXICAL_VARIABLE_LIST even though both tokens are T_USE. // TODO: We parse n_USE in a slightly crazy way right now; that would be // a better selector once it's fixed. $uses = $root->selectDescendantsOfType('n_USE_LIST'); foreach ($uses as $use) { $this->raiseLintAtNode( $use, self::LINT_PHP_COMPATIBILITY, pht( 'This codebase targets PHP %s, but namespaces were not '. 'introduced until PHP 5.3.', $this->version)); } $statics = $root->selectDescendantsOfType('n_CLASS_STATIC_ACCESS'); foreach ($statics as $static) { $name = $static->getChildByIndex(0); if ($name->getTypeName() != 'n_CLASS_NAME') { continue; } if ($name->getConcreteString() === 'static') { $this->raiseLintAtNode( $name, self::LINT_PHP_COMPATIBILITY, pht( 'This codebase targets PHP %s, but `static::` was not '. 'introduced until PHP 5.3.', $this->version)); } } $ternaries = $root->selectDescendantsOfType('n_TERNARY_EXPRESSION'); foreach ($ternaries as $ternary) { $yes = $ternary->getChildByIndex(1); if ($yes->getTypeName() === 'n_EMPTY') { $this->raiseLintAtNode( $ternary, self::LINT_PHP_COMPATIBILITY, pht( 'This codebase targets PHP %s, but short ternary was '. 'not introduced until PHP 5.3.', $this->version)); } } $heredocs = $root->selectDescendantsOfType('n_HEREDOC'); foreach ($heredocs as $heredoc) { if (preg_match('/^<<<[\'"]/', $heredoc->getConcreteString())) { $this->raiseLintAtNode( $heredoc, self::LINT_PHP_COMPATIBILITY, pht( 'This codebase targets PHP %s, but nowdoc was not '. 'introduced until PHP 5.3.', $this->version)); } } } private function lintPHP53Incompatibilities(XHPASTNode $root) {} private function lintPHP54Features(XHPASTNode $root) { $indexes = $root->selectDescendantsOfType('n_INDEX_ACCESS'); foreach ($indexes as $index) { switch ($index->getChildByIndex(0)->getTypeName()) { case 'n_FUNCTION_CALL': case 'n_METHOD_CALL': $this->raiseLintAtNode( $index->getChildByIndex(1), self::LINT_PHP_COMPATIBILITY, pht( 'The `%s` syntax was not introduced until PHP 5.4, but this '. 'codebase targets an earlier version of PHP. You can rewrite '. 'this expression using `%s`.', 'f()[...]', 'idx()')); break; } } } private function lintPHP54Incompatibilities(XHPASTNode $root) { $breaks = $root->selectDescendantsOfTypes(array('n_BREAK', 'n_CONTINUE')); foreach ($breaks as $break) { $arg = $break->getChildByIndex(0); switch ($arg->getTypeName()) { case 'n_EMPTY': break; case 'n_NUMERIC_SCALAR': if ($arg->getConcreteString() != '0') { break; } default: $this->raiseLintAtNode( $break->getChildByIndex(0), self::LINT_PHP_COMPATIBILITY, pht( 'The `%s` and `%s` statements no longer accept '. 'variable arguments.', 'break', 'continue')); break; } } } private function lintImplicitFallthrough(XHPASTNode $root) { $hook_obj = null; $working_copy = $this->getEngine()->getWorkingCopy(); if ($working_copy) { - $hook_class = $this->switchhook - ? $this->switchhook - : $this->getDeprecatedConfiguration('lint.xhpast.switchhook'); + $hook_class = $this->switchhook; if ($hook_class) { $hook_obj = newv($hook_class, array()); assert_instances_of(array($hook_obj), 'ArcanistXHPASTLintSwitchHook'); } } $switches = $root->selectDescendantsOfType('n_SWITCH'); foreach ($switches as $switch) { $blocks = array(); $cases = $switch->selectDescendantsOfType('n_CASE'); foreach ($cases as $case) { $blocks[] = $case; } $defaults = $switch->selectDescendantsOfType('n_DEFAULT'); foreach ($defaults as $default) { $blocks[] = $default; } foreach ($blocks as $key => $block) { // Collect all the tokens in this block which aren't at top level. // We want to ignore "break", and "continue" in these blocks. $lower_level = $block->selectDescendantsOfTypes(array( 'n_WHILE', 'n_DO_WHILE', 'n_FOR', 'n_FOREACH', 'n_SWITCH', )); $lower_level_tokens = array(); foreach ($lower_level as $lower_level_block) { $lower_level_tokens += $lower_level_block->getTokens(); } // Collect all the tokens in this block which aren't in this scope // (because they're inside class, function or interface declarations). // We want to ignore all of these tokens. $decls = $block->selectDescendantsOfTypes(array( 'n_FUNCTION_DECLARATION', 'n_CLASS_DECLARATION', // For completeness; these can't actually have anything. 'n_INTERFACE_DECLARATION', )); $different_scope_tokens = array(); foreach ($decls as $decl) { $different_scope_tokens += $decl->getTokens(); } $lower_level_tokens += $different_scope_tokens; // Get all the trailing nonsemantic tokens, since we need to look for // "fallthrough" comments past the end of the semantic block. $tokens = $block->getTokens(); $last = end($tokens); while ($last && $last = $last->getNextToken()) { if ($last->isSemantic()) { break; } $tokens[$last->getTokenID()] = $last; } $blocks[$key] = array( $tokens, $lower_level_tokens, $different_scope_tokens, ); } foreach ($blocks as $token_lists) { list( $tokens, $lower_level_tokens, $different_scope_tokens) = $token_lists; // Test each block (case or default statement) to see if it's OK. It's // OK if: // // - it is empty; or // - it ends in break, return, throw, continue or exit at top level; or // - it has a comment with "fallthrough" in its text. // Empty blocks are OK, so we start this at `true` and only set it to // false if we find a statement. $block_ok = true; // Keeps track of whether the current statement is one that validates // the block (break, return, throw, continue) or something else. $statement_ok = false; foreach ($tokens as $token_id => $token) { if (!$token->isSemantic()) { // Liberally match "fall" in the comment text so that comments like // "fallthru", "fall through", "fallthrough", etc., are accepted. if (preg_match('/fall/i', $token->getValue())) { $block_ok = true; break; } continue; } $tok_type = $token->getTypeName(); if ($tok_type === 'T_FUNCTION' || $tok_type === 'T_CLASS' || $tok_type === 'T_INTERFACE') { // These aren't statements, but mark the block as nonempty anyway. $block_ok = false; continue; } if ($tok_type === ';') { if ($statement_ok) { $statment_ok = false; } else { $block_ok = false; } continue; } if ($tok_type === 'T_BREAK' || $tok_type === 'T_CONTINUE') { if (empty($lower_level_tokens[$token_id])) { $statement_ok = true; $block_ok = true; } continue; } if ($tok_type === 'T_RETURN' || $tok_type === 'T_THROW' || $tok_type === 'T_EXIT' || ($hook_obj && $hook_obj->checkSwitchToken($token))) { if (empty($different_scope_tokens[$token_id])) { $statement_ok = true; $block_ok = true; } continue; } } if (!$block_ok) { $this->raiseLintAtToken( head($tokens), self::LINT_IMPLICIT_FALLTHROUGH, pht( "This '%s' or '%s' has a nonempty block which does not end ". "with '%s', '%s', '%s', '%s' or '%s'. Did you forget to add ". "one of those? If you intend to fall through, add a '%s' ". "comment to silence this warning.", 'case', 'default', 'break', 'continue', 'return', 'throw', 'exit', '// fallthrough')); } } } } private function lintBraceFormatting(XHPASTNode $root) { foreach ($root->selectDescendantsOfType('n_STATEMENT_LIST') as $list) { $tokens = $list->getTokens(); if (!$tokens || head($tokens)->getValue() != '{') { continue; } list($before, $after) = $list->getSurroundingNonsemanticTokens(); if (!$before) { $first = head($tokens); // Only insert the space if we're after a closing parenthesis. If // we're in a construct like "else{}", other rules will insert space // after the 'else' correctly. $prev = $first->getPrevToken(); if (!$prev || $prev->getValue() !== ')') { continue; } $this->raiseLintAtToken( $first, self::LINT_BRACE_FORMATTING, pht( 'Put opening braces on the same line as control statements and '. 'declarations, with a single space before them.'), ' '.$first->getValue()); } else if (count($before) === 1) { $before = reset($before); if ($before->getValue() !== ' ') { $this->raiseLintAtToken( $before, self::LINT_BRACE_FORMATTING, pht( 'Put opening braces on the same line as control statements and '. 'declarations, with a single space before them.'), ' '); } } } $nodes = $root->selectDescendantsOfType('n_STATEMENT'); foreach ($nodes as $node) { $parent = $node->getParentNode(); if (!$parent) { continue; } $type = $parent->getTypeName(); if ($type != 'n_STATEMENT_LIST' && $type != 'n_DECLARE') { $this->raiseLintAtNode( $node, self::LINT_BRACE_FORMATTING, pht('Use braces to surround a statement block.')); } } $nodes = $root->selectDescendantsOfTypes(array( 'n_DO_WHILE', 'n_ELSE', 'n_ELSEIF', )); foreach ($nodes as $list) { $tokens = $list->getTokens(); if (!$tokens || last($tokens)->getValue() != '}') { continue; } list($before, $after) = $list->getSurroundingNonsemanticTokens(); if (!$before) { $first = last($tokens); $this->raiseLintAtToken( $first, self::LINT_BRACE_FORMATTING, pht( 'Put opening braces on the same line as control statements and '. 'declarations, with a single space before them.'), ' '.$first->getValue()); } else if (count($before) === 1) { $before = reset($before); if ($before->getValue() !== ' ') { $this->raiseLintAtToken( $before, self::LINT_BRACE_FORMATTING, pht( 'Put opening braces on the same line as control statements and '. 'declarations, with a single space before them.'), ' '); } } } } private function lintTautologicalExpressions(XHPASTNode $root) { $expressions = $root->selectDescendantsOfType('n_BINARY_EXPRESSION'); static $operators = array( '-' => true, '/' => true, '-=' => true, '/=' => true, '<=' => true, '<' => true, '==' => true, '===' => true, '!=' => true, '!==' => true, '>=' => true, '>' => true, ); static $logical = array( '||' => true, '&&' => true, ); foreach ($expressions as $expr) { $operator = $expr->getChildByIndex(1)->getConcreteString(); if (!empty($operators[$operator])) { $left = $expr->getChildByIndex(0)->getSemanticString(); $right = $expr->getChildByIndex(2)->getSemanticString(); if ($left === $right) { $this->raiseLintAtNode( $expr, self::LINT_TAUTOLOGICAL_EXPRESSION, pht( 'Both sides of this expression are identical, so it always '. 'evaluates to a constant.')); } } if (!empty($logical[$operator])) { $left = $expr->getChildByIndex(0)->getSemanticString(); $right = $expr->getChildByIndex(2)->getSemanticString(); // NOTE: These will be null to indicate "could not evaluate". $left = $this->evaluateStaticBoolean($left); $right = $this->evaluateStaticBoolean($right); if (($operator === '||' && ($left === true || $right === true)) || ($operator === '&&' && ($left === false || $right === false))) { $this->raiseLintAtNode( $expr, self::LINT_TAUTOLOGICAL_EXPRESSION, pht( 'The logical value of this expression is static. '. 'Did you forget to remove some debugging code?')); } } } } /** * Statically evaluate a boolean value from an XHP tree. * * TODO: Improve this and move it to XHPAST proper? * * @param string The "semantic string" of a single value. * @return mixed ##true## or ##false## if the value could be evaluated * statically; ##null## if static evaluation was not possible. */ private function evaluateStaticBoolean($string) { switch (strtolower($string)) { case '0': case 'null': case 'false': return false; case '1': case 'true': return true; } return null; } protected function lintCommentSpaces(XHPASTNode $root) { foreach ($root->selectTokensOfType('T_COMMENT') as $comment) { $value = $comment->getValue(); if ($value[0] !== '#') { $match = null; if (preg_match('@^(/[/*]+)[^/*\s]@', $value, $match)) { $this->raiseLintAtOffset( $comment->getOffset(), self::LINT_COMMENT_SPACING, pht('Put space after comment start.'), $match[1], $match[1].' '); } } } } protected function lintHashComments(XHPASTNode $root) { foreach ($root->selectTokensOfType('T_COMMENT') as $comment) { $value = $comment->getValue(); if ($value[0] !== '#') { continue; } $this->raiseLintAtOffset( $comment->getOffset(), self::LINT_COMMENT_STYLE, pht('Use "%s" single-line comments, not "%s".', '//', '#'), '#', (preg_match('/^#\S/', $value) ? '// ' : '//')); } } /** * Find cases where loops get nested inside each other but use the same * iterator variable. For example: * * COUNTEREXAMPLE * foreach ($list as $thing) { * foreach ($stuff as $thing) { // <-- Raises an error for reuse of $thing * // ... * } * } * */ private function lintReusedIterators(XHPASTNode $root) { $used_vars = array(); $for_loops = $root->selectDescendantsOfType('n_FOR'); foreach ($for_loops as $for_loop) { $var_map = array(); // Find all the variables that are assigned to in the for() expression. $for_expr = $for_loop->getChildOfType(0, 'n_FOR_EXPRESSION'); $bin_exprs = $for_expr->selectDescendantsOfType('n_BINARY_EXPRESSION'); foreach ($bin_exprs as $bin_expr) { if ($bin_expr->getChildByIndex(1)->getConcreteString() === '=') { $var = $bin_expr->getChildByIndex(0); $var_map[$var->getConcreteString()] = $var; } } $used_vars[$for_loop->getID()] = $var_map; } $foreach_loops = $root->selectDescendantsOfType('n_FOREACH'); foreach ($foreach_loops as $foreach_loop) { $var_map = array(); $foreach_expr = $foreach_loop->getChildOfType(0, 'n_FOREACH_EXPRESSION'); // We might use one or two vars, i.e. "foreach ($x as $y => $z)" or // "foreach ($x as $y)". $possible_used_vars = array( $foreach_expr->getChildByIndex(1), $foreach_expr->getChildByIndex(2), ); foreach ($possible_used_vars as $var) { if ($var->getTypeName() === 'n_EMPTY') { continue; } $name = $var->getConcreteString(); $name = trim($name, '&'); // Get rid of ref silliness. $var_map[$name] = $var; } $used_vars[$foreach_loop->getID()] = $var_map; } $all_loops = $for_loops->add($foreach_loops); foreach ($all_loops as $loop) { $child_loops = $loop->selectDescendantsOfTypes(array( 'n_FOR', 'n_FOREACH', )); $outer_vars = $used_vars[$loop->getID()]; foreach ($child_loops as $inner_loop) { $inner_vars = $used_vars[$inner_loop->getID()]; $shared = array_intersect_key($outer_vars, $inner_vars); if ($shared) { $shared_desc = implode(', ', array_keys($shared)); $message = $this->raiseLintAtNode( $inner_loop->getChildByIndex(0), self::LINT_REUSED_ITERATORS, pht( 'This loop reuses iterator variables (%s) from an '. 'outer loop. You might be clobbering the outer iterator. '. 'Change the inner loop to use a different iterator name.', $shared_desc)); $locations = array(); foreach ($shared as $var) { $locations[] = $this->getOtherLocation($var->getOffset()); } $message->setOtherLocations($locations); } } } } /** * Find cases where a foreach loop is being iterated using a variable * reference and the same variable is used outside of the loop without * calling unset() or reassigning the variable to another variable * reference. * * COUNTEREXAMPLE * foreach ($ar as &$a) { * // ... * } * $a = 1; // <-- Raises an error for using $a * */ protected function lintReusedIteratorReferences(XHPASTNode $root) { $defs = $root->selectDescendantsOfTypes(array( 'n_FUNCTION_DECLARATION', 'n_METHOD_DECLARATION', )); foreach ($defs as $def) { $body = $def->getChildByIndex(5); if ($body->getTypeName() === 'n_EMPTY') { // Abstract method declaration. continue; } $exclude = array(); // Exclude uses of variables, unsets, and foreach loops // within closures - they are checked on their own $func_defs = $body->selectDescendantsOfType('n_FUNCTION_DECLARATION'); foreach ($func_defs as $func_def) { $vars = $func_def->selectDescendantsOfType('n_VARIABLE'); foreach ($vars as $var) { $exclude[$var->getID()] = true; } $unset_lists = $func_def->selectDescendantsOfType('n_UNSET_LIST'); foreach ($unset_lists as $unset_list) { $exclude[$unset_list->getID()] = true; } $foreaches = $func_def->selectDescendantsOfType('n_FOREACH'); foreach ($foreaches as $foreach) { $exclude[$foreach->getID()] = true; } } // Find all variables that are unset within the scope $unset_vars = array(); $unset_lists = $body->selectDescendantsOfType('n_UNSET_LIST'); foreach ($unset_lists as $unset_list) { if (isset($exclude[$unset_list->getID()])) { continue; } $unset_list_vars = $unset_list->selectDescendantsOfType('n_VARIABLE'); foreach ($unset_list_vars as $var) { $concrete = $this->getConcreteVariableString($var); $unset_vars[$concrete][] = $var->getOffset(); $exclude[$var->getID()] = true; } } // Find all reference variables in foreach expressions $reference_vars = array(); $foreaches = $body->selectDescendantsOfType('n_FOREACH'); foreach ($foreaches as $foreach) { if (isset($exclude[$foreach->getID()])) { continue; } $foreach_expr = $foreach->getChildOfType(0, 'n_FOREACH_EXPRESSION'); $var = $foreach_expr->getChildByIndex(2); if ($var->getTypeName() !== 'n_VARIABLE_REFERENCE') { continue; } $reference = $var->getChildByIndex(0); if ($reference->getTypeName() !== 'n_VARIABLE') { continue; } $reference_name = $this->getConcreteVariableString($reference); $reference_vars[$reference_name][] = $reference->getOffset(); $exclude[$reference->getID()] = true; // Exclude uses of the reference variable within the foreach loop $foreach_vars = $foreach->selectDescendantsOfType('n_VARIABLE'); foreach ($foreach_vars as $var) { $name = $this->getConcreteVariableString($var); if ($name === $reference_name) { $exclude[$var->getID()] = true; } } } // Allow usage if the reference variable is assigned to another // reference variable $binary = $body->selectDescendantsOfType('n_BINARY_EXPRESSION'); foreach ($binary as $expr) { if ($expr->getChildByIndex(1)->getConcreteString() !== '=') { continue; } $lval = $expr->getChildByIndex(0); if ($lval->getTypeName() !== 'n_VARIABLE') { continue; } $rval = $expr->getChildByIndex(2); if ($rval->getTypeName() !== 'n_VARIABLE_REFERENCE') { continue; } // Counts as unsetting a variable $concrete = $this->getConcreteVariableString($lval); $unset_vars[$concrete][] = $lval->getOffset(); $exclude[$lval->getID()] = true; } $all_vars = array(); $all = $body->selectDescendantsOfType('n_VARIABLE'); foreach ($all as $var) { if (isset($exclude[$var->getID()])) { continue; } $name = $this->getConcreteVariableString($var); if (!isset($reference_vars[$name])) { continue; } // Find the closest reference offset to this variable $reference_offset = null; foreach ($reference_vars[$name] as $offset) { if ($offset < $var->getOffset()) { $reference_offset = $offset; } else { break; } } if (!$reference_offset) { continue; } // Check if an unset exists between reference and usage of this // variable $warn = true; if (isset($unset_vars[$name])) { foreach ($unset_vars[$name] as $unset_offset) { if ($unset_offset > $reference_offset && $unset_offset < $var->getOffset()) { $warn = false; break; } } } if ($warn) { $this->raiseLintAtNode( $var, self::LINT_REUSED_ITERATOR_REFERENCE, pht( 'This variable was used already as a by-reference iterator '. 'variable. Such variables survive outside the foreach loop, '. 'do not reuse.')); } } } } protected function lintVariableVariables(XHPASTNode $root) { $vvars = $root->selectDescendantsOfType('n_VARIABLE_VARIABLE'); foreach ($vvars as $vvar) { $this->raiseLintAtNode( $vvar, self::LINT_VARIABLE_VARIABLE, pht( 'Rewrite this code to use an array. Variable variables are unclear '. 'and hinder static analysis.')); } } private function lintUndeclaredVariables(XHPASTNode $root) { // These things declare variables in a function: // Explicit parameters // Assignment // Assignment via list() // Static // Global // Lexical vars // Builtins ($this) // foreach() // catch // // These things make lexical scope unknowable: // Use of extract() // Assignment to variable variables ($$x) // Global with variable variables // // These things don't count as "using" a variable: // isset() // empty() // Static class variables // // The general approach here is to find each function/method declaration, // then: // // 1. Identify all the variable declarations, and where they first occur // in the function/method declaration. // 2. Identify all the uses that don't really count (as above). // 3. Everything else must be a use of a variable. // 4. For each variable, check if any uses occur before the declaration // and warn about them. // // We also keep track of where lexical scope becomes unknowable (e.g., // because the function calls extract() or uses dynamic variables, // preventing us from keeping track of which variables are defined) so we // can stop issuing warnings after that. // // TODO: Support functions defined inside other functions which is commonly // used with anonymous functions. $defs = $root->selectDescendantsOfTypes(array( 'n_FUNCTION_DECLARATION', 'n_METHOD_DECLARATION', )); foreach ($defs as $def) { // We keep track of the first offset where scope becomes unknowable, and // silence any warnings after that. Default it to INT_MAX so we can min() // it later to keep track of the first problem we encounter. $scope_destroyed_at = PHP_INT_MAX; $declarations = array( '$this' => 0, ) + array_fill_keys($this->getSuperGlobalNames(), 0); $declaration_tokens = array(); $exclude_tokens = array(); $vars = array(); // First up, find all the different kinds of declarations, as explained // above. Put the tokens into the $vars array. $param_list = $def->getChildOfType(3, 'n_DECLARATION_PARAMETER_LIST'); $param_vars = $param_list->selectDescendantsOfType('n_VARIABLE'); foreach ($param_vars as $var) { $vars[] = $var; } // This is PHP5.3 closure syntax: function () use ($x) {}; $lexical_vars = $def ->getChildByIndex(4) ->selectDescendantsOfType('n_VARIABLE'); foreach ($lexical_vars as $var) { $vars[] = $var; } $body = $def->getChildByIndex(5); if ($body->getTypeName() === 'n_EMPTY') { // Abstract method declaration. continue; } $static_vars = $body ->selectDescendantsOfType('n_STATIC_DECLARATION') ->selectDescendantsOfType('n_VARIABLE'); foreach ($static_vars as $var) { $vars[] = $var; } $global_vars = $body ->selectDescendantsOfType('n_GLOBAL_DECLARATION_LIST'); foreach ($global_vars as $var_list) { foreach ($var_list->getChildren() as $var) { if ($var->getTypeName() === 'n_VARIABLE') { $vars[] = $var; } else { // Dynamic global variable, i.e. "global $$x;". $scope_destroyed_at = min($scope_destroyed_at, $var->getOffset()); // An error is raised elsewhere, no need to raise here. } } } // Include "catch (Exception $ex)", but not variables in the body of the // catch block. $catches = $body->selectDescendantsOfType('n_CATCH'); foreach ($catches as $catch) { $vars[] = $catch->getChildOfType(1, 'n_VARIABLE'); } $binary = $body->selectDescendantsOfType('n_BINARY_EXPRESSION'); foreach ($binary as $expr) { if ($expr->getChildByIndex(1)->getConcreteString() !== '=') { continue; } $lval = $expr->getChildByIndex(0); if ($lval->getTypeName() === 'n_VARIABLE') { $vars[] = $lval; } else if ($lval->getTypeName() === 'n_LIST') { // Recursivey grab everything out of list(), since the grammar // permits list() to be nested. Also note that list() is ONLY valid // as an lval assignments, so we could safely lift this out of the // n_BINARY_EXPRESSION branch. $assign_vars = $lval->selectDescendantsOfType('n_VARIABLE'); foreach ($assign_vars as $var) { $vars[] = $var; } } if ($lval->getTypeName() === 'n_VARIABLE_VARIABLE') { $scope_destroyed_at = min($scope_destroyed_at, $lval->getOffset()); // No need to raise here since we raise an error elsewhere. } } $calls = $body->selectDescendantsOfType('n_FUNCTION_CALL'); foreach ($calls as $call) { $name = strtolower($call->getChildByIndex(0)->getConcreteString()); if ($name === 'empty' || $name === 'isset') { $params = $call ->getChildOfType(1, 'n_CALL_PARAMETER_LIST') ->selectDescendantsOfType('n_VARIABLE'); foreach ($params as $var) { $exclude_tokens[$var->getID()] = true; } continue; } if ($name !== 'extract') { continue; } $scope_destroyed_at = min($scope_destroyed_at, $call->getOffset()); $this->raiseLintAtNode( $call, self::LINT_EXTRACT_USE, pht( 'Avoid %s. It is confusing and hinders static analysis.', 'extract()')); } // Now we have every declaration except foreach(), handled below. Build // two maps, one which just keeps track of which tokens are part of // declarations ($declaration_tokens) and one which has the first offset // where a variable is declared ($declarations). foreach ($vars as $var) { $concrete = $this->getConcreteVariableString($var); $declarations[$concrete] = min( idx($declarations, $concrete, PHP_INT_MAX), $var->getOffset()); $declaration_tokens[$var->getID()] = true; } // Excluded tokens are ones we don't "count" as being used, described // above. Put them into $exclude_tokens. $class_statics = $body ->selectDescendantsOfType('n_CLASS_STATIC_ACCESS'); $class_static_vars = $class_statics ->selectDescendantsOfType('n_VARIABLE'); foreach ($class_static_vars as $var) { $exclude_tokens[$var->getID()] = true; } // Find all the variables in scope, and figure out where they are used. // We want to find foreach() iterators which are both declared before and // used after the foreach() loop. $uses = array(); $all_vars = $body->selectDescendantsOfType('n_VARIABLE'); $all = array(); // NOTE: $all_vars is not a real array so we can't unset() it. foreach ($all_vars as $var) { // Be strict since it's easier; we don't let you reuse an iterator you // declared before a loop after the loop, even if you're just assigning // to it. $concrete = $this->getConcreteVariableString($var); $uses[$concrete][$var->getID()] = $var->getOffset(); if (isset($declaration_tokens[$var->getID()])) { // We know this is part of a declaration, so it's fine. continue; } if (isset($exclude_tokens[$var->getID()])) { // We know this is part of isset() or similar, so it's fine. continue; } $all[$var->getOffset()] = $concrete; } // Do foreach() last, we want to handle implicit redeclaration of a // variable already in scope since this probably means we're ovewriting a // local. // NOTE: Processing foreach expressions in order allows programs which // reuse iterator variables in other foreach() loops -- this is fine. We // have a separate warning to prevent nested loops from reusing the same // iterators. $foreaches = $body->selectDescendantsOfType('n_FOREACH'); $all_foreach_vars = array(); foreach ($foreaches as $foreach) { $foreach_expr = $foreach->getChildOfType(0, 'n_FOREACH_EXPRESSION'); $foreach_vars = array(); // Determine the end of the foreach() loop. $foreach_tokens = $foreach->getTokens(); $last_token = end($foreach_tokens); $foreach_end = $last_token->getOffset(); $key_var = $foreach_expr->getChildByIndex(1); if ($key_var->getTypeName() === 'n_VARIABLE') { $foreach_vars[] = $key_var; } $value_var = $foreach_expr->getChildByIndex(2); if ($value_var->getTypeName() === 'n_VARIABLE') { $foreach_vars[] = $value_var; } else { // The root-level token may be a reference, as in: // foreach ($a as $b => &$c) { ... } // Reach into the n_VARIABLE_REFERENCE node to grab the n_VARIABLE // node. $var = $value_var->getChildByIndex(0); if ($var->getTypeName() === 'n_VARIABLE_VARIABLE') { $var = $var->getChildByIndex(0); } $foreach_vars[] = $var; } // Remove all uses of the iterators inside of the foreach() loop from // the $uses map. foreach ($foreach_vars as $var) { $concrete = $this->getConcreteVariableString($var); $offset = $var->getOffset(); foreach ($uses[$concrete] as $id => $use_offset) { if (($use_offset >= $offset) && ($use_offset < $foreach_end)) { unset($uses[$concrete][$id]); } } $all_foreach_vars[] = $var; } } foreach ($all_foreach_vars as $var) { $concrete = $this->getConcreteVariableString($var); $offset = $var->getOffset(); // If a variable was declared before a foreach() and is used after // it, raise a message. if (isset($declarations[$concrete])) { if ($declarations[$concrete] < $offset) { if (!empty($uses[$concrete]) && max($uses[$concrete]) > $offset) { $message = $this->raiseLintAtNode( $var, self::LINT_REUSED_AS_ITERATOR, 'This iterator variable is a previously declared local '. 'variable. To avoid overwriting locals, do not reuse them '. 'as iterator variables.'); $message->setOtherLocations(array( $this->getOtherLocation($declarations[$concrete]), $this->getOtherLocation(max($uses[$concrete])), )); } } } // This is a declaration, exclude it from the "declare variables prior // to use" check below. unset($all[$var->getOffset()]); $vars[] = $var; } // Now rebuild declarations to include foreach(). foreach ($vars as $var) { $concrete = $this->getConcreteVariableString($var); $declarations[$concrete] = min( idx($declarations, $concrete, PHP_INT_MAX), $var->getOffset()); $declaration_tokens[$var->getID()] = true; } foreach (array('n_STRING_SCALAR', 'n_HEREDOC') as $type) { foreach ($body->selectDescendantsOfType($type) as $string) { foreach ($string->getStringVariables() as $offset => $var) { $all[$string->getOffset() + $offset - 1] = '$'.$var; } } } // Issue a warning for every variable token, unless it appears in a // declaration, we know about a prior declaration, we have explicitly // exlcuded it, or scope has been made unknowable before it appears. $issued_warnings = array(); foreach ($all as $offset => $concrete) { if ($offset >= $scope_destroyed_at) { // This appears after an extract() or $$var so we have no idea // whether it's legitimate or not. We raised a harshly-worded warning // when scope was made unknowable, so just ignore anything we can't // figure out. continue; } if ($offset >= idx($declarations, $concrete, PHP_INT_MAX)) { // The use appears after the variable is declared, so it's fine. continue; } if (!empty($issued_warnings[$concrete])) { // We've already issued a warning for this variable so we don't need // to issue another one. continue; } $this->raiseLintAtOffset( $offset, self::LINT_UNDECLARED_VARIABLE, pht( 'Declare variables prior to use (even if you are passing them '. 'as reference parameters). You may have misspelled this '. 'variable name.'), $concrete); $issued_warnings[$concrete] = true; } } } private function getConcreteVariableString(XHPASTNode $var) { $concrete = $var->getConcreteString(); // Strip off curly braces as in $obj->{$property}. $concrete = trim($concrete, '{}'); return $concrete; } private function lintPHPTagUse(XHPASTNode $root) { $tokens = $root->getTokens(); foreach ($tokens as $token) { if ($token->getTypeName() === 'T_OPEN_TAG') { if (trim($token->getValue()) === 'raiseLintAtToken( $token, self::LINT_PHP_SHORT_TAG, pht( 'Use the full form of the PHP open tag, "%s".', 'getTypeName() === 'T_OPEN_TAG_WITH_ECHO') { $this->raiseLintAtToken( $token, self::LINT_PHP_ECHO_TAG, pht('Avoid the PHP echo short form, "%s".', 'getValue())) { $this->raiseLintAtToken( $token, self::LINT_PHP_OPEN_TAG, pht( 'PHP files should start with "%s", which may be preceded by '. 'a "%s" line for scripts.', 'selectTokensOfType('T_CLOSE_TAG') as $token) { $this->raiseLintAtToken( $token, self::LINT_PHP_CLOSE_TAG, pht('Do not use the PHP closing tag, "%s".', '?>')); } } private function lintNamingConventions(XHPASTNode $root) { // We're going to build up a list of tuples // and then try to instantiate a hook class which has the opportunity to // override us. $names = array(); $classes = $root->selectDescendantsOfType('n_CLASS_DECLARATION'); foreach ($classes as $class) { $name_token = $class->getChildByIndex(1); $name_string = $name_token->getConcreteString(); $names[] = array( 'class', $name_string, $name_token, ArcanistXHPASTLintNamingHook::isUpperCamelCase($name_string) ? null : pht( 'Follow naming conventions: classes should be named using '. 'UpperCamelCase.'), ); } $ifaces = $root->selectDescendantsOfType('n_INTERFACE_DECLARATION'); foreach ($ifaces as $iface) { $name_token = $iface->getChildByIndex(1); $name_string = $name_token->getConcreteString(); $names[] = array( 'interface', $name_string, $name_token, ArcanistXHPASTLintNamingHook::isUpperCamelCase($name_string) ? null : pht( 'Follow naming conventions: interfaces should be named using '. 'UpperCamelCase.'), ); } $functions = $root->selectDescendantsOfType('n_FUNCTION_DECLARATION'); foreach ($functions as $function) { $name_token = $function->getChildByIndex(2); if ($name_token->getTypeName() === 'n_EMPTY') { // Unnamed closure. continue; } $name_string = $name_token->getConcreteString(); $names[] = array( 'function', $name_string, $name_token, ArcanistXHPASTLintNamingHook::isLowercaseWithUnderscores( ArcanistXHPASTLintNamingHook::stripPHPFunction($name_string)) ? null : pht( 'Follow naming conventions: functions should be named using '. 'lowercase_with_underscores.'), ); } $methods = $root->selectDescendantsOfType('n_METHOD_DECLARATION'); foreach ($methods as $method) { $name_token = $method->getChildByIndex(2); $name_string = $name_token->getConcreteString(); $names[] = array( 'method', $name_string, $name_token, ArcanistXHPASTLintNamingHook::isLowerCamelCase( ArcanistXHPASTLintNamingHook::stripPHPFunction($name_string)) ? null : pht( 'Follow naming conventions: methods should be named using '. 'lowerCamelCase.'), ); } $param_tokens = array(); $params = $root->selectDescendantsOfType('n_DECLARATION_PARAMETER_LIST'); foreach ($params as $param_list) { foreach ($param_list->getChildren() as $param) { $name_token = $param->getChildByIndex(1); if ($name_token->getTypeName() === 'n_VARIABLE_REFERENCE') { $name_token = $name_token->getChildOfType(0, 'n_VARIABLE'); } $param_tokens[$name_token->getID()] = true; $name_string = $name_token->getConcreteString(); $names[] = array( 'parameter', $name_string, $name_token, ArcanistXHPASTLintNamingHook::isLowercaseWithUnderscores( ArcanistXHPASTLintNamingHook::stripPHPVariable($name_string)) ? null : pht( 'Follow naming conventions: parameters should be named using '. 'lowercase_with_underscores.'), ); } } $constants = $root->selectDescendantsOfType( 'n_CLASS_CONSTANT_DECLARATION_LIST'); foreach ($constants as $constant_list) { foreach ($constant_list->getChildren() as $constant) { $name_token = $constant->getChildByIndex(0); $name_string = $name_token->getConcreteString(); $names[] = array( 'constant', $name_string, $name_token, ArcanistXHPASTLintNamingHook::isUppercaseWithUnderscores($name_string) ? null : pht( 'Follow naming conventions: class constants should be named '. 'using UPPERCASE_WITH_UNDERSCORES.'), ); } } $member_tokens = array(); $props = $root->selectDescendantsOfType('n_CLASS_MEMBER_DECLARATION_LIST'); foreach ($props as $prop_list) { foreach ($prop_list->getChildren() as $token_id => $prop) { if ($prop->getTypeName() === 'n_CLASS_MEMBER_MODIFIER_LIST') { continue; } $name_token = $prop->getChildByIndex(0); $member_tokens[$name_token->getID()] = true; $name_string = $name_token->getConcreteString(); $names[] = array( 'member', $name_string, $name_token, ArcanistXHPASTLintNamingHook::isLowerCamelCase( ArcanistXHPASTLintNamingHook::stripPHPVariable($name_string)) ? null : pht( 'Follow naming conventions: class properties should be named '. 'using lowerCamelCase.'), ); } } $superglobal_map = array_fill_keys( $this->getSuperGlobalNames(), true); $defs = $root->selectDescendantsOfTypes(array( 'n_FUNCTION_DECLARATION', 'n_METHOD_DECLARATION', )); foreach ($defs as $def) { $globals = $def->selectDescendantsOfType('n_GLOBAL_DECLARATION_LIST'); $globals = $globals->selectDescendantsOfType('n_VARIABLE'); $globals_map = array(); foreach ($globals as $global) { $global_string = $global->getConcreteString(); $globals_map[$global_string] = true; $names[] = array( 'user', $global_string, $global, // No advice for globals, but hooks have an option to provide some. null, ); } // Exclude access of static properties, since lint will be raised at // their declaration if they're invalid and they may not conform to // variable rules. This is slightly overbroad (includes the entire // RHS of a "Class::..." token) to cover cases like "Class:$x[0]". These // variables are simply made exempt from naming conventions. $exclude_tokens = array(); $statics = $def->selectDescendantsOfType('n_CLASS_STATIC_ACCESS'); foreach ($statics as $static) { $rhs = $static->getChildByIndex(1); if ($rhs->getTypeName() == 'n_VARIABLE') { $exclude_tokens[$rhs->getID()] = true; } else { $rhs_vars = $rhs->selectDescendantsOfType('n_VARIABLE'); foreach ($rhs_vars as $var) { $exclude_tokens[$var->getID()] = true; } } } $vars = $def->selectDescendantsOfType('n_VARIABLE'); foreach ($vars as $token_id => $var) { if (isset($member_tokens[$token_id])) { continue; } if (isset($param_tokens[$token_id])) { continue; } if (isset($exclude_tokens[$token_id])) { continue; } $var_string = $var->getConcreteString(); // Awkward artifact of "$o->{$x}". $var_string = trim($var_string, '{}'); if (isset($superglobal_map[$var_string])) { continue; } if (isset($globals_map[$var_string])) { continue; } $names[] = array( 'variable', $var_string, $var, ArcanistXHPASTLintNamingHook::isLowercaseWithUnderscores( ArcanistXHPASTLintNamingHook::stripPHPVariable($var_string)) ? null : pht( 'Follow naming conventions: variables should be named using '. 'lowercase_with_underscores.'), ); } } $engine = $this->getEngine(); $working_copy = $engine->getWorkingCopy(); if ($working_copy) { // If a naming hook is configured, give it a chance to override the // default results for all the symbol names. - $hook_class = $this->naminghook - ? $this->naminghook - : $working_copy->getProjectConfig('lint.xhpast.naminghook'); + $hook_class = $this->naminghook; if ($hook_class) { $hook_obj = newv($hook_class, array()); foreach ($names as $k => $name_attrs) { list($type, $name, $token, $default) = $name_attrs; $result = $hook_obj->lintSymbolName($type, $name, $default); $names[$k][3] = $result; } } } // Raise anything we're left with. foreach ($names as $k => $name_attrs) { list($type, $name, $token, $result) = $name_attrs; if ($result) { $this->raiseLintAtNode( $token, self::LINT_NAMING_CONVENTIONS, $result); } } } private function lintSurpriseConstructors(XHPASTNode $root) { $classes = $root->selectDescendantsOfType('n_CLASS_DECLARATION'); foreach ($classes as $class) { $class_name = $class->getChildByIndex(1)->getConcreteString(); $methods = $class->selectDescendantsOfType('n_METHOD_DECLARATION'); foreach ($methods as $method) { $method_name_token = $method->getChildByIndex(2); $method_name = $method_name_token->getConcreteString(); if (strtolower($class_name) === strtolower($method_name)) { $this->raiseLintAtNode( $method_name_token, self::LINT_IMPLICIT_CONSTRUCTOR, pht( 'Name constructors %s explicitly. This method is a constructor '. ' because it has the same name as the class it is defined in.', '__construct()')); } } } } private function lintParenthesesShouldHugExpressions(XHPASTNode $root) { $all_paren_groups = $root->selectDescendantsOfTypes(array( 'n_CALL_PARAMETER_LIST', 'n_CONTROL_CONDITION', 'n_FOR_EXPRESSION', 'n_FOREACH_EXPRESSION', 'n_DECLARATION_PARAMETER_LIST', )); foreach ($all_paren_groups as $group) { $tokens = $group->getTokens(); $token_o = array_shift($tokens); $token_c = array_pop($tokens); if ($token_o->getTypeName() !== '(') { throw new Exception(pht('Expected open parentheses.')); } if ($token_c->getTypeName() !== ')') { throw new Exception(pht('Expected close parentheses.')); } $nonsem_o = $token_o->getNonsemanticTokensAfter(); $nonsem_c = $token_c->getNonsemanticTokensBefore(); if (!$nonsem_o) { continue; } $raise = array(); $string_o = implode('', mpull($nonsem_o, 'getValue')); if (preg_match('/^[ ]+$/', $string_o)) { $raise[] = array($nonsem_o, $string_o); } if ($nonsem_o !== $nonsem_c) { $string_c = implode('', mpull($nonsem_c, 'getValue')); if (preg_match('/^[ ]+$/', $string_c)) { $raise[] = array($nonsem_c, $string_c); } } foreach ($raise as $warning) { list($tokens, $string) = $warning; $this->raiseLintAtOffset( reset($tokens)->getOffset(), self::LINT_PARENTHESES_SPACING, pht('Parentheses should hug their contents.'), $string, ''); } } } private function lintSpaceAfterControlStatementKeywords(XHPASTNode $root) { foreach ($root->getTokens() as $id => $token) { switch ($token->getTypeName()) { case 'T_IF': case 'T_ELSE': case 'T_FOR': case 'T_FOREACH': case 'T_WHILE': case 'T_DO': case 'T_SWITCH': $after = $token->getNonsemanticTokensAfter(); if (empty($after)) { $this->raiseLintAtToken( $token, self::LINT_CONTROL_STATEMENT_SPACING, pht('Convention: put a space after control statements.'), $token->getValue().' '); } else if (count($after) === 1) { $space = head($after); // If we have an else clause with braces, $space may not be // a single white space. e.g., // // if ($x) // echo 'foo' // else // <- $space is not " " but "\n ". // echo 'bar' // // We just require it starts with either a whitespace or a newline. if ($token->getTypeName() === 'T_ELSE' || $token->getTypeName() === 'T_DO') { break; } if ($space->isAnyWhitespace() && $space->getValue() !== ' ') { $this->raiseLintAtToken( $space, self::LINT_CONTROL_STATEMENT_SPACING, pht('Convention: put a single space after control statements.'), ' '); } } break; } } } private function lintSpaceAroundBinaryOperators(XHPASTNode $root) { $expressions = $root->selectDescendantsOfType('n_BINARY_EXPRESSION'); foreach ($expressions as $expression) { $operator = $expression->getChildByIndex(1); $operator_value = $operator->getConcreteString(); list($before, $after) = $operator->getSurroundingNonsemanticTokens(); $replace = null; if (empty($before) && empty($after)) { $replace = " {$operator_value} "; } else if (empty($before)) { $replace = " {$operator_value}"; } else if (empty($after)) { $replace = "{$operator_value} "; } if ($replace !== null) { $this->raiseLintAtNode( $operator, self::LINT_BINARY_EXPRESSION_SPACING, pht( 'Convention: logical and arithmetic operators should be '. 'surrounded by whitespace.'), $replace); } } $tokens = $root->selectTokensOfType(','); foreach ($tokens as $token) { $next = $token->getNextToken(); switch ($next->getTypeName()) { case ')': case 'T_WHITESPACE': break; default: $this->raiseLintAtToken( $token, self::LINT_BINARY_EXPRESSION_SPACING, pht('Convention: comma should be followed by space.'), ', '); break; } } $tokens = $root->selectTokensOfType('T_DOUBLE_ARROW'); foreach ($tokens as $token) { $prev = $token->getPrevToken(); $next = $token->getNextToken(); $prev_type = $prev->getTypeName(); $next_type = $next->getTypeName(); $prev_space = ($prev_type === 'T_WHITESPACE'); $next_space = ($next_type === 'T_WHITESPACE'); $replace = null; if (!$prev_space && !$next_space) { $replace = ' => '; } else if ($prev_space && !$next_space) { $replace = '=> '; } else if (!$prev_space && $next_space) { $replace = ' =>'; } if ($replace !== null) { $this->raiseLintAtToken( $token, self::LINT_BINARY_EXPRESSION_SPACING, pht('Convention: double arrow should be surrounded by whitespace.'), $replace); } } $parameters = $root->selectDescendantsOfType('n_DECLARATION_PARAMETER'); foreach ($parameters as $parameter) { if ($parameter->getChildByIndex(2)->getTypeName() == 'n_EMPTY') { continue; } $operator = head($parameter->selectTokensOfType('=')); $before = $operator->getNonsemanticTokensBefore(); $after = $operator->getNonsemanticTokensAfter(); $replace = null; if (empty($before) && empty($after)) { $replace = ' = '; } else if (empty($before)) { $replace = ' ='; } else if (empty($after)) { $replace = '= '; } if ($replace !== null) { $this->raiseLintAtToken( $operator, self::LINT_BINARY_EXPRESSION_SPACING, pht( 'Convention: logical and arithmetic operators should be '. 'surrounded by whitespace.'), $replace); } } } private function lintSpaceAroundConcatenationOperators(XHPASTNode $root) { $tokens = $root->selectTokensOfType('.'); foreach ($tokens as $token) { $prev = $token->getPrevToken(); $next = $token->getNextToken(); foreach (array('prev' => $prev, 'next' => $next) as $wtoken) { if ($wtoken->getTypeName() !== 'T_WHITESPACE') { continue; } $value = $wtoken->getValue(); if (strpos($value, "\n") !== false) { // If the whitespace has a newline, it's conventional. continue; } $next = $wtoken->getNextToken(); if ($next && $next->getTypeName() === 'T_COMMENT') { continue; } $this->raiseLintAtToken( $wtoken, self::LINT_CONCATENATION_OPERATOR, pht( 'Convention: no spaces around "%s" '. '(string concatenation) operator.', '.'), ''); } } } private function lintDynamicDefines(XHPASTNode $root) { $calls = $this->getFunctionCalls($root, array('define')); foreach ($calls as $call) { $parameter_list = $call->getChildOfType(1, 'n_CALL_PARAMETER_LIST'); $defined = $parameter_list->getChildByIndex(0); if (!$defined->isStaticScalar()) { $this->raiseLintAtNode( $defined, self::LINT_DYNAMIC_DEFINE, pht( 'First argument to %s must be a string literal.', 'define()')); } } } private function lintUseOfThisInStaticMethods(XHPASTNode $root) { $classes = $root->selectDescendantsOfType('n_CLASS_DECLARATION'); foreach ($classes as $class) { $methods = $class->selectDescendantsOfType('n_METHOD_DECLARATION'); foreach ($methods as $method) { $attributes = $method ->getChildByIndex(0, 'n_METHOD_MODIFIER_LIST') ->selectDescendantsOfType('n_STRING'); $method_is_static = false; $method_is_abstract = false; foreach ($attributes as $attribute) { if (strtolower($attribute->getConcreteString()) === 'static') { $method_is_static = true; } if (strtolower($attribute->getConcreteString()) === 'abstract') { $method_is_abstract = true; } } if ($method_is_abstract) { continue; } if (!$method_is_static) { continue; } $body = $method->getChildOfType(5, 'n_STATEMENT_LIST'); $variables = $body->selectDescendantsOfType('n_VARIABLE'); foreach ($variables as $variable) { if ($method_is_static && strtolower($variable->getConcreteString()) === '$this') { $this->raiseLintAtNode( $variable, self::LINT_STATIC_THIS, pht( 'You can not reference `%s` inside a static method.', '$this')); } } } } } /** * preg_quote() takes two arguments, but the second one is optional because * it is possible to use (), [] or {} as regular expression delimiters. If * you don't pass a second argument, you're probably going to get something * wrong. */ private function lintPregQuote(XHPASTNode $root) { $function_calls = $this->getFunctionCalls($root, array('preg_quote')); foreach ($function_calls as $call) { $parameter_list = $call->getChildOfType(1, 'n_CALL_PARAMETER_LIST'); if (count($parameter_list->getChildren()) !== 2) { $this->raiseLintAtNode( $call, self::LINT_PREG_QUOTE_MISUSE, pht( 'If you use pattern delimiters that require escaping '. '(such as `%s`, but not `%s`) then you should pass two '. 'arguments to %s, so that %s knows which delimiter to escape.', '//', '()', 'preg_quote()', 'preg_quote()')); } } } /** * Exit is parsed as an expression, but using it as such is almost always * wrong. That is, this is valid: * * strtoupper(33 * exit - 6); * * When exit is used as an expression, it causes the program to terminate with * exit code 0. This is likely not what is intended; these statements have * different effects: * * exit(-1); * exit -1; * * The former exits with a failure code, the latter with a success code! */ private function lintExitExpressions(XHPASTNode $root) { $unaries = $root->selectDescendantsOfType('n_UNARY_PREFIX_EXPRESSION'); foreach ($unaries as $unary) { $operator = $unary->getChildByIndex(0)->getConcreteString(); if (strtolower($operator) === 'exit') { if ($unary->getParentNode()->getTypeName() !== 'n_STATEMENT') { $this->raiseLintAtNode( $unary, self::LINT_EXIT_EXPRESSION, pht('Use `%s` as a statement, not an expression.', 'exit')); } } } } private function lintArrayIndexWhitespace(XHPASTNode $root) { $indexes = $root->selectDescendantsOfType('n_INDEX_ACCESS'); foreach ($indexes as $index) { $tokens = $index->getChildByIndex(0)->getTokens(); $last = array_pop($tokens); $trailing = $last->getNonsemanticTokensAfter(); $trailing_text = implode('', mpull($trailing, 'getValue')); if (preg_match('/^ +$/', $trailing_text)) { $this->raiseLintAtOffset( $last->getOffset() + strlen($last->getValue()), self::LINT_ARRAY_INDEX_SPACING, pht('Convention: no spaces before index access.'), $trailing_text, ''); } } } private function lintTodoComments(XHPASTNode $root) { $comments = $root->selectTokensOfTypes(array( 'T_COMMENT', 'T_DOC_COMMENT', )); foreach ($comments as $token) { $value = $token->getValue(); if ($token->getTypeName() === 'T_DOC_COMMENT') { $regex = '/(TODO|@todo)/'; } else { $regex = '/TODO/'; } $matches = null; $preg = preg_match_all( $regex, $value, $matches, PREG_OFFSET_CAPTURE); foreach ($matches[0] as $match) { list($string, $offset) = $match; $this->raiseLintAtOffset( $token->getOffset() + $offset, self::LINT_TODO_COMMENT, pht('This comment has a TODO.'), $string); } } } /** * Lint that if the file declares exactly one interface or class, * the name of the file matches the name of the class, * unless the classname is funky like an XHP element. */ private function lintPrimaryDeclarationFilenameMatch(XHPASTNode $root) { $classes = $root->selectDescendantsOfType('n_CLASS_DECLARATION'); $interfaces = $root->selectDescendantsOfType('n_INTERFACE_DECLARATION'); if (count($classes) + count($interfaces) !== 1) { return; } $declarations = count($classes) ? $classes : $interfaces; $declarations->rewind(); $declaration = $declarations->current(); $decl_name = $declaration->getChildByIndex(1); $decl_string = $decl_name->getConcreteString(); // Exclude strangely named classes, e.g. XHP tags. if (!preg_match('/^\w+$/', $decl_string)) { return; } $rename = $decl_string.'.php'; $path = $this->getActivePath(); $filename = basename($path); if ($rename === $filename) { return; } $this->raiseLintAtNode( $decl_name, self::LINT_CLASS_FILENAME_MISMATCH, pht( "The name of this file differs from the name of the ". "class or interface it declares. Rename the file to '%s'.", $rename)); } private function lintPlusOperatorOnStrings(XHPASTNode $root) { $binops = $root->selectDescendantsOfType('n_BINARY_EXPRESSION'); foreach ($binops as $binop) { $op = $binop->getChildByIndex(1); if ($op->getConcreteString() !== '+') { continue; } $left = $binop->getChildByIndex(0); $right = $binop->getChildByIndex(2); if (($left->getTypeName() === 'n_STRING_SCALAR') || ($right->getTypeName() === 'n_STRING_SCALAR')) { $this->raiseLintAtNode( $binop, self::LINT_PLUS_OPERATOR_ON_STRINGS, pht( "In PHP, '%s' is the string concatenation operator, not '%s'. ". "This expression uses '+' with a string literal as an operand.", '.', '+')); } } } /** * Finds duplicate keys in array initializers, as in * array(1 => 'anything', 1 => 'foo'). Since the first entry is ignored, * this is almost certainly an error. */ private function lintDuplicateKeysInArray(XHPASTNode $root) { $array_literals = $root->selectDescendantsOfType('n_ARRAY_LITERAL'); foreach ($array_literals as $array_literal) { $nodes_by_key = array(); $keys_warn = array(); $list_node = $array_literal->getChildByIndex(0); foreach ($list_node->getChildren() as $array_entry) { $key_node = $array_entry->getChildByIndex(0); switch ($key_node->getTypeName()) { case 'n_STRING_SCALAR': case 'n_NUMERIC_SCALAR': // Scalars: array(1 => 'v1', '1' => 'v2'); $key = 'scalar:'.(string)$key_node->evalStatic(); break; case 'n_SYMBOL_NAME': case 'n_VARIABLE': case 'n_CLASS_STATIC_ACCESS': // Constants: array(CONST => 'v1', CONST => 'v2'); // Variables: array($a => 'v1', $a => 'v2'); // Class constants and vars: array(C::A => 'v1', C::A => 'v2'); $key = $key_node->getTypeName().':'.$key_node->getConcreteString(); break; default: $key = null; break; } if ($key !== null) { if (isset($nodes_by_key[$key])) { $keys_warn[$key] = true; } $nodes_by_key[$key][] = $key_node; } } foreach ($keys_warn as $key => $_) { $node = array_pop($nodes_by_key[$key]); $message = $this->raiseLintAtNode( $node, self::LINT_DUPLICATE_KEYS_IN_ARRAY, pht( 'Duplicate key in array initializer. PHP will ignore all '. 'but the last entry.')); $locations = array(); foreach ($nodes_by_key[$key] as $node) { $locations[] = $this->getOtherLocation($node->getOffset()); } $message->setOtherLocations($locations); } } } private function lintClosingCallParen(XHPASTNode $root) { $calls = $root->selectDescendantsOfTypes(array( 'n_FUNCTION_CALL', 'n_METHOD_CALL', )); foreach ($calls as $call) { // If the last parameter of a call is a HEREDOC, don't apply this rule. $params = $call ->getChildOfType(1, 'n_CALL_PARAMETER_LIST') ->getChildren(); if ($params) { $last_param = last($params); if ($last_param->getTypeName() === 'n_HEREDOC') { continue; } } $tokens = $call->getTokens(); $last = array_pop($tokens); $trailing = $last->getNonsemanticTokensBefore(); $trailing_text = implode('', mpull($trailing, 'getValue')); if (preg_match('/^\s+$/', $trailing_text)) { $this->raiseLintAtOffset( $last->getOffset() - strlen($trailing_text), self::LINT_CLOSING_CALL_PAREN, pht('Convention: no spaces before closing parenthesis in calls.'), $trailing_text, ''); } } } private function lintClosingDeclarationParen(XHPASTNode $root) { $decs = $root->selectDescendantsOfTypes(array( 'n_FUNCTION_DECLARATION', 'n_METHOD_DECLARATION', )); foreach ($decs as $dec) { $params = $dec->getChildOfType(3, 'n_DECLARATION_PARAMETER_LIST'); $tokens = $params->getTokens(); $last = array_pop($tokens); $trailing = $last->getNonsemanticTokensBefore(); $trailing_text = implode('', mpull($trailing, 'getValue')); if (preg_match('/^\s+$/', $trailing_text)) { $this->raiseLintAtOffset( $last->getOffset() - strlen($trailing_text), self::LINT_CLOSING_DECL_PAREN, pht( 'Convention: no spaces before closing parenthesis in '. 'function and method declarations.'), $trailing_text, ''); } } } private function lintKeywordCasing(XHPASTNode $root) { $keywords = $root->selectTokensOfTypes(array( 'T_REQUIRE_ONCE', 'T_REQUIRE', 'T_EVAL', 'T_INCLUDE_ONCE', 'T_INCLUDE', 'T_LOGICAL_OR', 'T_LOGICAL_XOR', 'T_LOGICAL_AND', 'T_PRINT', 'T_INSTANCEOF', 'T_CLONE', 'T_NEW', 'T_EXIT', 'T_IF', 'T_ELSEIF', 'T_ELSE', 'T_ENDIF', 'T_ECHO', 'T_DO', 'T_WHILE', 'T_ENDWHILE', 'T_FOR', 'T_ENDFOR', 'T_FOREACH', 'T_ENDFOREACH', 'T_DECLARE', 'T_ENDDECLARE', 'T_AS', 'T_SWITCH', 'T_ENDSWITCH', 'T_CASE', 'T_DEFAULT', 'T_BREAK', 'T_CONTINUE', 'T_GOTO', 'T_FUNCTION', 'T_CONST', 'T_RETURN', 'T_TRY', 'T_CATCH', 'T_THROW', 'T_USE', 'T_GLOBAL', 'T_PUBLIC', 'T_PROTECTED', 'T_PRIVATE', 'T_FINAL', 'T_ABSTRACT', 'T_STATIC', 'T_VAR', 'T_UNSET', 'T_ISSET', 'T_EMPTY', 'T_HALT_COMPILER', 'T_CLASS', 'T_INTERFACE', 'T_EXTENDS', 'T_IMPLEMENTS', 'T_LIST', 'T_ARRAY', 'T_NAMESPACE', 'T_INSTEADOF', 'T_CALLABLE', 'T_TRAIT', 'T_YIELD', 'T_FINALLY', )); foreach ($keywords as $keyword) { $value = $keyword->getValue(); if ($value != strtolower($value)) { $this->raiseLintAtToken( $keyword, self::LINT_KEYWORD_CASING, pht( "Convention: spell keyword '%s' as '%s'.", $value, strtolower($value)), strtolower($value)); } } $symbols = $root->selectDescendantsOfType('n_SYMBOL_NAME'); foreach ($symbols as $symbol) { static $interesting_symbols = array( 'false' => true, 'null' => true, 'true' => true, ); $symbol_name = $symbol->getConcreteString(); if ($symbol->getParentNode()->getTypeName() == 'n_FUNCTION_CALL') { continue; } if (idx($interesting_symbols, strtolower($symbol_name))) { if ($symbol_name != strtolower($symbol_name)) { $this->raiseLintAtNode( $symbol, self::LINT_KEYWORD_CASING, pht( "Convention: spell keyword '%s' as '%s'.", $symbol_name, strtolower($symbol_name)), strtolower($symbol_name)); } } } $magic_constants = $root->selectTokensOfTypes(array( 'T_CLASS_C', 'T_METHOD_C', 'T_FUNC_C', 'T_LINE', 'T_FILE', 'T_NS_C', 'T_DIR', 'T_TRAIT_C', )); foreach ($magic_constants as $magic_constant) { $value = $magic_constant->getValue(); if ($value != strtoupper($value)) { $this->raiseLintAtToken( $magic_constant, self::LINT_KEYWORD_CASING, pht('Magic constants should be uppercase.'), strtoupper($value)); } } } private function lintStrings(XHPASTNode $root) { $nodes = $root->selectDescendantsOfTypes(array( 'n_CONCATENATION_LIST', 'n_STRING_SCALAR', )); foreach ($nodes as $node) { $strings = array(); if ($node->getTypeName() === 'n_CONCATENATION_LIST') { $strings = $node->selectDescendantsOfType('n_STRING_SCALAR'); } else if ($node->getTypeName() === 'n_STRING_SCALAR') { $strings = array($node); if ($node->getParentNode()->getTypeName() === 'n_CONCATENATION_LIST') { continue; } } $valid = false; $invalid_nodes = array(); $fixes = array(); foreach ($strings as $string) { $concrete_string = $string->getConcreteString(); $single_quoted = ($concrete_string[0] === "'"); $contents = substr($concrete_string, 1, -1); // Double quoted strings are allowed when the string contains the // following characters. static $allowed_chars = array( '\n', '\r', '\t', '\v', '\e', '\f', '\'', '\0', '\1', '\2', '\3', '\4', '\5', '\6', '\7', '\x', ); $contains_special_chars = false; foreach ($allowed_chars as $allowed_char) { if (strpos($contents, $allowed_char) !== false) { $contains_special_chars = true; } } if (!$string->isConstantString()) { $valid = true; } else if ($contains_special_chars && !$single_quoted) { $valid = true; } else if (!$contains_special_chars && !$single_quoted) { $invalid_nodes[] = $string; $fixes[$string->getID()] = "'".str_replace('\"', '"', $contents)."'"; } } if (!$valid) { foreach ($invalid_nodes as $invalid_node) { $this->raiseLintAtNode( $invalid_node, self::LINT_DOUBLE_QUOTE, pht( 'String does not require double quotes. For consistency, '. 'prefer single quotes.'), $fixes[$invalid_node->getID()]); } } } } protected function lintElseIfStatements(XHPASTNode $root) { $tokens = $root->selectTokensOfType('T_ELSEIF'); foreach ($tokens as $token) { $this->raiseLintAtToken( $token, self::LINT_ELSEIF_USAGE, pht('Usage of `%s` is preferred over `%s`.', 'else if', 'elseif'), 'else if'); } } protected function lintSemicolons(XHPASTNode $root) { $tokens = $root->selectTokensOfType(';'); foreach ($tokens as $token) { $prev = $token->getPrevToken(); if ($prev->isAnyWhitespace()) { $this->raiseLintAtToken( $prev, self::LINT_SEMICOLON_SPACING, pht('Space found before semicolon.'), ''); } } } protected function lintLanguageConstructParentheses(XHPASTNode $root) { $nodes = $root->selectDescendantsOfTypes(array( 'n_INCLUDE_FILE', 'n_ECHO_LIST', )); foreach ($nodes as $node) { $child = head($node->getChildren()); if ($child->getTypeName() === 'n_PARENTHETICAL_EXPRESSION') { list($before, $after) = $child->getSurroundingNonsemanticTokens(); $replace = preg_replace( '/^\((.*)\)$/', '$1', $child->getConcreteString()); if (!$before) { $replace = ' '.$replace; } $this->raiseLintAtNode( $child, self::LINT_LANGUAGE_CONSTRUCT_PAREN, pht('Language constructs do not require parentheses.'), $replace); } } } protected function lintEmptyBlockStatements(XHPASTNode $root) { $nodes = $root->selectDescendantsOfType('n_STATEMENT_LIST'); foreach ($nodes as $node) { $tokens = $node->getTokens(); $token = head($tokens); if (count($tokens) <= 2) { continue; } // Safety check... if the first token isn't an opening brace then // there's nothing to do here. if ($token->getTypeName() != '{') { continue; } $only_whitespace = true; for ($token = $token->getNextToken(); $token && $token->getTypeName() != '}'; $token = $token->getNextToken()) { $only_whitespace = $only_whitespace && $token->isAnyWhitespace(); } if (count($tokens) > 2 && $only_whitespace) { $this->raiseLintAtNode( $node, self::LINT_EMPTY_STATEMENT, pht( "Braces for an empty block statement shouldn't ". "contain only whitespace."), '{}'); } } } protected function lintArraySeparator(XHPASTNode $root) { $arrays = $root->selectDescendantsOfType('n_ARRAY_LITERAL'); foreach ($arrays as $array) { $value_list = $array->getChildOfType(0, 'n_ARRAY_VALUE_LIST'); $values = $value_list->getChildrenOfType('n_ARRAY_VALUE'); if (!$values) { // There is no need to check an empty array. continue; } $multiline = $array->getLineNumber() != $array->getEndLineNumber(); $value = last($values); $after = last($value->getTokens())->getNextToken(); if ($multiline) { if (!$after || $after->getValue() != ',') { if ($value->getChildByIndex(1)->getTypeName() == 'n_HEREDOC') { continue; } list($before, $after) = $value->getSurroundingNonsemanticTokens(); $after = implode('', mpull($after, 'getValue')); $original = $value->getConcreteString(); $replacement = $value->getConcreteString().','; if (strpos($after, "\n") === false) { $original .= $after; $replacement .= $after."\n".$array->getIndentation(); } $this->raiseLintAtOffset( $value->getOffset(), self::LINT_ARRAY_SEPARATOR, pht('Multi-lined arrays should have trailing commas.'), $original, $replacement); } else if ($value->getLineNumber() == $array->getEndLineNumber()) { $close = last($array->getTokens()); $this->raiseLintAtToken( $close, self::LINT_ARRAY_SEPARATOR, pht('Closing parenthesis should be on a new line.'), "\n".$array->getIndentation().$close->getValue()); } } else if ($after && $after->getValue() == ',') { $this->raiseLintAtToken( $after, self::LINT_ARRAY_SEPARATOR, pht('Single lined arrays should not have a trailing comma.'), ''); } } } private function lintConstructorParentheses(XHPASTNode $root) { $nodes = $root->selectDescendantsOfType('n_NEW'); foreach ($nodes as $node) { $class = $node->getChildByIndex(0); $params = $node->getChildByIndex(1); if ($params->getTypeName() == 'n_EMPTY') { $this->raiseLintAtNode( $class, self::LINT_CONSTRUCTOR_PARENTHESES, pht('Use parentheses when invoking a constructor.'), $class->getConcreteString().'()'); } } } private function lintSwitchStatements(XHPASTNode $root) { $switch_statements = $root->selectDescendantsOfType('n_SWITCH'); foreach ($switch_statements as $switch_statement) { $case_statements = $switch_statement ->getChildOfType(1, 'n_STATEMENT_LIST') ->getChildrenOfType('n_CASE'); $nodes_by_case = array(); foreach ($case_statements as $case_statement) { $case = $case_statement ->getChildByIndex(0) ->getSemanticString(); $nodes_by_case[$case][] = $case_statement; } foreach ($nodes_by_case as $case => $nodes) { if (count($nodes) <= 1) { continue; } $node = array_pop($nodes_by_case[$case]); $message = $this->raiseLintAtNode( $node, self::LINT_DUPLICATE_SWITCH_CASE, pht( 'Duplicate case in switch statement. PHP will ignore all '. 'but the first case.')); $locations = array(); foreach ($nodes_by_case[$case] as $node) { $locations[] = $this->getOtherLocation($node->getOffset()); } $message->setOtherLocations($locations); } } } private function lintBlacklistedFunction(XHPASTNode $root) { $calls = $root->selectDescendantsOfType('n_FUNCTION_CALL'); foreach ($calls as $call) { $node = $call->getChildByIndex(0); $name = $node->getConcreteString(); $reason = idx($this->blacklistedFunctions, $name); if ($reason) { $this->raiseLintAtNode( $node, self::LINT_BLACKLISTED_FUNCTION, $reason); } } } private function lintMethodVisibility(XHPASTNode $root) { static $visibilities = array( 'public', 'protected', 'private', ); $methods = $root->selectDescendantsOfType('n_METHOD_DECLARATION'); foreach ($methods as $method) { $modifiers_list = $method->getChildOfType( 0, 'n_METHOD_MODIFIER_LIST'); foreach ($modifiers_list->getChildren() as $modifier) { if (in_array($modifier->getConcreteString(), $visibilities)) { continue 2; } } if ($modifiers_list->getChildren()) { $node = $modifiers_list; } else { $node = $method; } $this->raiseLintAtNode( $node, self::LINT_IMPLICIT_VISIBILITY, pht('Methods should have their visibility declared explicitly.'), 'public '.$node->getConcreteString()); } } private function lintPropertyVisibility(XHPASTNode $root) { static $visibilities = array( 'public', 'protected', 'private', ); $nodes = $root->selectDescendantsOfType('n_CLASS_MEMBER_MODIFIER_LIST'); foreach ($nodes as $node) { $modifiers = $node->getChildren(); foreach ($modifiers as $modifier) { if ($modifier->getConcreteString() == 'var') { $this->raiseLintAtNode( $modifier, self::LINT_IMPLICIT_VISIBILITY, pht( 'Use `%s` instead of `%s` to indicate public visibility.', 'public', 'var'), 'public'); continue 2; } if (in_array($modifier->getConcreteString(), $visibilities)) { continue 2; } } $this->raiseLintAtNode( $node, self::LINT_IMPLICIT_VISIBILITY, pht('Properties should have their visibility declared explicitly.'), 'public '.$node->getConcreteString()); } } private function lintCallTimePassByReference(XHPASTNode $root) { $nodes = $root->selectDescendantsOfType('n_CALL_PARAMETER_LIST'); foreach ($nodes as $node) { $parameters = $node->getChildrenOfType('n_VARIABLE_REFERENCE'); foreach ($parameters as $parameter) { $this->raiseLintAtNode( $parameter, self::LINT_CALL_TIME_PASS_BY_REF, pht('Call-time pass-by-reference calls are prohibited.')); } } } private function lintFormattedString(XHPASTNode $root) { static $functions = array( // Core PHP 'fprintf' => 1, 'printf' => 0, 'sprintf' => 0, 'vfprintf' => 1, // libphutil 'csprintf' => 0, 'execx' => 0, 'exec_manual' => 0, 'hgsprintf' => 0, 'hsprintf' => 0, 'jsprintf' => 0, 'pht' => 0, 'phutil_passthru' => 0, 'qsprintf' => 1, 'queryfx' => 1, 'queryfx_all' => 1, 'queryfx_one' => 1, 'vcsprintf' => 0, 'vqsprintf' => 1, ); $function_calls = $root->selectDescendantsOfType('n_FUNCTION_CALL'); foreach ($function_calls as $call) { $name = $call->getChildByIndex(0)->getConcreteString(); $name = strtolower($name); $start = idx($functions + $this->printfFunctions, $name); if ($start === null) { continue; } $parameters = $call->getChildOfType(1, 'n_CALL_PARAMETER_LIST'); $argc = count($parameters->getChildren()) - $start; if ($argc < 1) { $this->raiseLintAtNode( $call, self::LINT_FORMATTED_STRING, pht('This function is expected to have a format string.')); continue; } $format = $parameters->getChildByIndex($start); if ($format->getTypeName() != 'n_STRING_SCALAR') { continue; } $argv = array($format->evalStatic()) + array_fill(0, $argc, null); try { xsprintf(null, null, $argv); } catch (BadFunctionCallException $ex) { $this->raiseLintAtNode( $call, self::LINT_FORMATTED_STRING, str_replace('xsprintf', $name, $ex->getMessage())); } catch (InvalidArgumentException $ex) { // Ignore. } } } private function lintUnnecessaryFinalModifier(XHPASTNode $root) { $classes = $root->selectDescendantsOfType('n_CLASS_DECLARATION'); foreach ($classes as $class) { $attributes = $class->getChildOfType(0, 'n_CLASS_ATTRIBUTES'); $is_final = false; foreach ($attributes->getChildren() as $attribute) { if ($attribute->getConcreteString() == 'final') { $is_final = true; break; } } if (!$is_final) { continue; } $methods = $class->selectDescendantsOfType('n_METHOD_DECLARATION'); foreach ($methods as $method) { $attributes = $method->getChildOfType(0, 'n_METHOD_MODIFIER_LIST'); foreach ($attributes->getChildren() as $attribute) { if ($attribute->getConcreteString() == 'final') { $this->raiseLintAtNode( $attribute, self::LINT_UNNECESSARY_FINAL_MODIFIER, pht( 'Unnecessary %s modifier in %s class.', 'final', 'final')); } } } } } private function lintUnnecessarySemicolons(XHPASTNode $root) { $statements = $root->selectDescendantsOfType('n_STATEMENT'); foreach ($statements as $statement) { if ($statement->getParentNode()->getTypeName() == 'n_DECLARE') { continue; } if (count($statement->getChildren()) > 1) { continue; } else if ($statement->getChildByIndex(0)->getTypeName() != 'n_EMPTY') { continue; } if ($statement->getConcreteString() == ';') { $this->raiseLintAtNode( $statement, self::LINT_UNNECESSARY_SEMICOLON, pht('Unnecessary semicolons after statement.'), ''); } } } private function lintConstantDefinitions(XHPASTNode $root) { $defines = $this ->getFunctionCalls($root, array('define')) ->add($root->selectDescendantsOfTypes(array( 'n_CLASS_CONSTANT_DECLARATION', 'n_CONSTANT_DECLARATION', ))); foreach ($defines as $define) { switch ($define->getTypeName()) { case 'n_CLASS_CONSTANT_DECLARATION': case 'n_CONSTANT_DECLARATION': $constant = $define->getChildByIndex(0); if ($constant->getTypeName() !== 'n_STRING') { $constant = null; } break; case 'n_FUNCTION_CALL': $constant = $define ->getChildOfType(1, 'n_CALL_PARAMETER_LIST') ->getChildByIndex(0); if ($constant->getTypeName() !== 'n_STRING_SCALAR') { $constant = null; } break; default: $constant = null; break; } if (!$constant) { continue; } $constant_name = $constant->getConcreteString(); if ($constant_name !== strtoupper($constant_name)) { $this->raiseLintAtNode( $constant, self::LINT_NAMING_CONVENTIONS, pht('Constants should be uppercase.')); } } } private function lintSelfMemberReference(XHPASTNode $root) { $class_declarations = $root->selectDescendantsOfType('n_CLASS_DECLARATION'); foreach ($class_declarations as $class_declaration) { $class_name = $class_declaration ->getChildOfType(1, 'n_CLASS_NAME') ->getConcreteString(); $class_static_accesses = $class_declaration ->selectDescendantsOfType('n_CLASS_STATIC_ACCESS'); foreach ($class_static_accesses as $class_static_access) { $double_colons = $class_static_access ->selectTokensOfType('T_PAAMAYIM_NEKUDOTAYIM'); $class_ref = $class_static_access->getChildByIndex(0); if ($class_ref->getTypeName() != 'n_CLASS_NAME') { continue; } $class_ref_name = $class_ref->getConcreteString(); if (strtolower($class_name) == strtolower($class_ref_name)) { $this->raiseLintAtNode( $class_ref, self::LINT_SELF_MEMBER_REFERENCE, pht('Use `%s` for local static member references.', 'self::'), 'self'); } static $self_refs = array( 'parent', 'self', 'static', ); if (!in_array(strtolower($class_ref_name), $self_refs)) { continue; } if ($class_ref_name != strtolower($class_ref_name)) { $this->raiseLintAtNode( $class_ref, self::LINT_SELF_MEMBER_REFERENCE, pht('PHP keywords should be lowercase.'), strtolower($class_ref_name)); } } } $double_colons = $root ->selectTokensOfType('T_PAAMAYIM_NEKUDOTAYIM'); foreach ($double_colons as $double_colon) { $tokens = $double_colon->getNonsemanticTokensBefore() + $double_colon->getNonsemanticTokensAfter(); foreach ($tokens as $token) { if ($token->isAnyWhitespace()) { if (strpos($token->getValue(), "\n") !== false) { continue; } $this->raiseLintAtToken( $token, self::LINT_SELF_MEMBER_REFERENCE, pht('Unnecessary whitespace around double colon operator.'), ''); } } } } private function lintLogicalOperators(XHPASTNode $root) { $logical_ands = $root->selectTokensOfType('T_LOGICAL_AND'); $logical_ors = $root->selectTokensOfType('T_LOGICAL_OR'); foreach ($logical_ands as $logical_and) { $this->raiseLintAtToken( $logical_and, self::LINT_LOGICAL_OPERATORS, pht('Use `%s` instead of `%s`.', '&&', 'and'), '&&'); } foreach ($logical_ors as $logical_or) { $this->raiseLintAtToken( $logical_or, self::LINT_LOGICAL_OPERATORS, pht('Use `%s` instead of `%s`.', '||', 'or'), '||'); } } private function lintInnerFunctions(XHPASTNode $root) { $function_decls = $root->selectDescendantsOfType('n_FUNCTION_DECLARATION'); foreach ($function_decls as $function_declaration) { $inner_functions = $function_declaration ->selectDescendantsOfType('n_FUNCTION_DECLARATION'); foreach ($inner_functions as $inner_function) { if ($inner_function->getChildByIndex(2)->getTypeName() == 'n_EMPTY') { // Anonymous closure. continue; } $this->raiseLintAtNode( $inner_function, self::LINT_INNER_FUNCTION, pht('Avoid the use of inner functions.')); } } } private function lintDefaultParameters(XHPASTNode $root) { $parameter_lists = $root->selectDescendantsOfType( 'n_DECLARATION_PARAMETER_LIST'); foreach ($parameter_lists as $parameter_list) { $default_found = false; $parameters = $parameter_list->selectDescendantsOfType( 'n_DECLARATION_PARAMETER'); foreach ($parameters as $parameter) { $default_value = $parameter->getChildByIndex(2); if ($default_value->getTypeName() != 'n_EMPTY') { $default_found = true; } else if ($default_found) { $this->raiseLintAtNode( $parameter_list, self::LINT_DEFAULT_PARAMETERS, pht( 'Arguments with default values must be at the end '. 'of the argument list.')); } } } } private function lintLowercaseFunctions(XHPASTNode $root) { static $builtin_functions = null; if ($builtin_functions === null) { $builtin_functions = array_fuse( idx(get_defined_functions(), 'internal', array())); } $function_calls = $root->selectDescendantsOfType('n_FUNCTION_CALL'); foreach ($function_calls as $function_call) { $function = $function_call->getChildByIndex(0); if ($function->getTypeName() != 'n_SYMBOL_NAME') { continue; } $function_name = $function->getConcreteString(); if (!idx($builtin_functions, strtolower($function_name))) { continue; } if ($function_name != strtolower($function_name)) { $this->raiseLintAtNode( $function, self::LINT_LOWERCASE_FUNCTIONS, pht('Calls to built-in PHP functions should be lowercase.'), strtolower($function_name)); } } } private function lintClassNameLiteral(XHPASTNode $root) { $class_declarations = $root->selectDescendantsOfType('n_CLASS_DECLARATION'); foreach ($class_declarations as $class_declaration) { $class_name = $class_declaration ->getChildOfType(1, 'n_CLASS_NAME') ->getConcreteString(); $strings = $class_declaration->selectDescendantsOfType('n_STRING_SCALAR'); foreach ($strings as $string) { $contents = substr($string->getSemanticString(), 1, -1); $replacement = null; if ($contents == $class_name) { $replacement = '__CLASS__'; } $regex = '/\b'.preg_quote($class_name, '/').'\b/'; if (!preg_match($regex, $contents)) { continue; } $this->raiseLintAtNode( $string, self::LINT_CLASS_NAME_LITERAL, pht( "Don't hard-code class names, use %s instead.", '__CLASS__'), $replacement); } } } private function lintUselessOverridingMethods(XHPASTNode $root) { $methods = $root->selectDescendantsOfType('n_METHOD_DECLARATION'); foreach ($methods as $method) { $method_name = $method ->getChildOfType(2, 'n_STRING') ->getConcreteString(); $parameter_list = $method ->getChildOfType(3, 'n_DECLARATION_PARAMETER_LIST'); $parameters = array(); foreach ($parameter_list->getChildren() as $parameter) { $parameter = $parameter->getChildByIndex(1); if ($parameter->getTypeName() == 'n_VARIABLE_REFERENCE') { $parameter = $parameter->getChildOfType(0, 'n_VARIABLE'); } $parameters[] = $parameter->getConcreteString(); } $statements = $method->getChildByIndex(5); if ($statements->getTypeName() != 'n_STATEMENT_LIST') { continue; } if (count($statements->getChildren()) != 1) { continue; } $statement = $statements ->getChildOfType(0, 'n_STATEMENT') ->getChildByIndex(0); if ($statement->getTypeName() == 'n_RETURN') { $statement = $statement->getChildByIndex(0); } if ($statement->getTypeName() != 'n_FUNCTION_CALL') { continue; } $function = $statement->getChildByIndex(0); if ($function->getTypeName() != 'n_CLASS_STATIC_ACCESS') { continue; } $called_class = $function->getChildOfType(0, 'n_CLASS_NAME'); $called_method = $function->getChildOfType(1, 'n_STRING'); if ($called_class->getConcreteString() != 'parent') { continue; } else if ($called_method->getConcreteString() != $method_name) { continue; } $params = $statement ->getChildOfType(1, 'n_CALL_PARAMETER_LIST') ->getChildren(); foreach ($params as $param) { if ($param->getTypeName() != 'n_VARIABLE') { continue 2; } $expected = array_shift($parameters); if ($param->getConcreteString() != $expected) { continue 2; } } $this->raiseLintAtNode( $method, self::LINT_USELESS_OVERRIDING_METHOD, pht('Useless overriding method.')); } } private function lintNoParentScope(XHPASTNode $root) { $classes = $root->selectDescendantsOfType('n_CLASS_DECLARATION'); foreach ($classes as $class) { $methods = $class->selectDescendantsOfType('n_METHOD_DECLARATION'); if ($class->getChildByIndex(2)->getTypeName() == 'n_EXTENDS_LIST') { continue; } foreach ($methods as $method) { $static_accesses = $method ->selectDescendantsOfType('n_CLASS_STATIC_ACCESS'); foreach ($static_accesses as $static_access) { $called_class = $static_access->getChildByIndex(0); if ($called_class->getTypeName() != 'n_CLASS_NAME') { continue; } if ($called_class->getConcreteString() == 'parent') { $this->raiseLintAtNode( $static_access, self::LINT_NO_PARENT_SCOPE, pht( 'Cannot access %s when current class scope has no parent.', 'parent::')); } } } } } private function lintAliasFunctions(XHPASTNode $root) { static $aliases = array( '_' => 'gettext', 'chop' => 'rtrim', 'close' => 'closedir', 'com_get' => 'com_propget', 'com_propset' => 'com_propput', 'com_set' => 'com_propput', 'die' => 'exit', 'diskfreespace' => 'disk_free_space', 'doubleval' => 'floatval', 'drawarc' => 'swfshape_drawarc', 'drawcircle' => 'swfshape_drawcircle', 'drawcubic' => 'swfshape_drawcubic', 'drawcubicto' => 'swfshape_drawcubicto', 'drawcurve' => 'swfshape_drawcurve', 'drawcurveto' => 'swfshape_drawcurveto', 'drawglyph' => 'swfshape_drawglyph', 'drawline' => 'swfshape_drawline', 'drawlineto' => 'swfshape_drawlineto', 'fbsql' => 'fbsql_db_query', 'fputs' => 'fwrite', 'gzputs' => 'gzwrite', 'i18n_convert' => 'mb_convert_encoding', 'i18n_discover_encoding' => 'mb_detect_encoding', 'i18n_http_input' => 'mb_http_input', 'i18n_http_output' => 'mb_http_output', 'i18n_internal_encoding' => 'mb_internal_encoding', 'i18n_ja_jp_hantozen' => 'mb_convert_kana', 'i18n_mime_header_decode' => 'mb_decode_mimeheader', 'i18n_mime_header_encode' => 'mb_encode_mimeheader', 'imap_create' => 'imap_createmailbox', 'imap_fetchtext' => 'imap_body', 'imap_getmailboxes' => 'imap_list_full', 'imap_getsubscribed' => 'imap_lsub_full', 'imap_header' => 'imap_headerinfo', 'imap_listmailbox' => 'imap_list', 'imap_listsubscribed' => 'imap_lsub', 'imap_rename' => 'imap_renamemailbox', 'imap_scan' => 'imap_listscan', 'imap_scanmailbox' => 'imap_listscan', 'ini_alter' => 'ini_set', 'is_double' => 'is_float', 'is_integer' => 'is_int', 'is_long' => 'is_int', 'is_real' => 'is_float', 'is_writeable' => 'is_writable', 'join' => 'implode', 'key_exists' => 'array_key_exists', 'ldap_close' => 'ldap_unbind', 'magic_quotes_runtime' => 'set_magic_quotes_runtime', 'mbstrcut' => 'mb_strcut', 'mbstrlen' => 'mb_strlen', 'mbstrpos' => 'mb_strpos', 'mbstrrpos' => 'mb_strrpos', 'mbsubstr' => 'mb_substr', 'ming_setcubicthreshold' => 'ming_setCubicThreshold', 'ming_setscale' => 'ming_setScale', 'msql' => 'msql_db_query', 'msql_createdb' => 'msql_create_db', 'msql_dbname' => 'msql_result', 'msql_dropdb' => 'msql_drop_db', 'msql_fieldflags' => 'msql_field_flags', 'msql_fieldlen' => 'msql_field_len', 'msql_fieldname' => 'msql_field_name', 'msql_fieldtable' => 'msql_field_table', 'msql_fieldtype' => 'msql_field_type', 'msql_freeresult' => 'msql_free_result', 'msql_listdbs' => 'msql_list_dbs', 'msql_listfields' => 'msql_list_fields', 'msql_listtables' => 'msql_list_tables', 'msql_numfields' => 'msql_num_fields', 'msql_numrows' => 'msql_num_rows', 'msql_regcase' => 'sql_regcase', 'msql_selectdb' => 'msql_select_db', 'msql_tablename' => 'msql_result', 'mssql_affected_rows' => 'sybase_affected_rows', 'mssql_close' => 'sybase_close', 'mssql_connect' => 'sybase_connect', 'mssql_data_seek' => 'sybase_data_seek', 'mssql_fetch_array' => 'sybase_fetch_array', 'mssql_fetch_field' => 'sybase_fetch_field', 'mssql_fetch_object' => 'sybase_fetch_object', 'mssql_fetch_row' => 'sybase_fetch_row', 'mssql_field_seek' => 'sybase_field_seek', 'mssql_free_result' => 'sybase_free_result', 'mssql_get_last_message' => 'sybase_get_last_message', 'mssql_min_client_severity' => 'sybase_min_client_severity', 'mssql_min_error_severity' => 'sybase_min_error_severity', 'mssql_min_message_severity' => 'sybase_min_message_severity', 'mssql_min_server_severity' => 'sybase_min_server_severity', 'mssql_num_fields' => 'sybase_num_fields', 'mssql_num_rows' => 'sybase_num_rows', 'mssql_pconnect' => 'sybase_pconnect', 'mssql_query' => 'sybase_query', 'mssql_result' => 'sybase_result', 'mssql_select_db' => 'sybase_select_db', 'multcolor' => 'swfdisplayitem_multColor', 'mysql' => 'mysql_db_query', 'mysql_createdb' => 'mysql_create_db', 'mysql_db_name' => 'mysql_result', 'mysql_dbname' => 'mysql_result', 'mysql_dropdb' => 'mysql_drop_db', 'mysql_fieldflags' => 'mysql_field_flags', 'mysql_fieldlen' => 'mysql_field_len', 'mysql_fieldname' => 'mysql_field_name', 'mysql_fieldtable' => 'mysql_field_table', 'mysql_fieldtype' => 'mysql_field_type', 'mysql_freeresult' => 'mysql_free_result', 'mysql_listdbs' => 'mysql_list_dbs', 'mysql_listfields' => 'mysql_list_fields', 'mysql_listtables' => 'mysql_list_tables', 'mysql_numfields' => 'mysql_num_fields', 'mysql_numrows' => 'mysql_num_rows', 'mysql_selectdb' => 'mysql_select_db', 'mysql_tablename' => 'mysql_result', 'ociassignelem' => 'OCI-Collection::assignElem', 'ocibindbyname' => 'oci_bind_by_name', 'ocicancel' => 'oci_cancel', 'ocicloselob' => 'OCI-Lob::close', 'ocicollappend' => 'OCI-Collection::append', 'ocicollassign' => 'OCI-Collection::assign', 'ocicollmax' => 'OCI-Collection::max', 'ocicollsize' => 'OCI-Collection::size', 'ocicolltrim' => 'OCI-Collection::trim', 'ocicolumnisnull' => 'oci_field_is_null', 'ocicolumnname' => 'oci_field_name', 'ocicolumnprecision' => 'oci_field_precision', 'ocicolumnscale' => 'oci_field_scale', 'ocicolumnsize' => 'oci_field_size', 'ocicolumntype' => 'oci_field_type', 'ocicolumntyperaw' => 'oci_field_type_raw', 'ocicommit' => 'oci_commit', 'ocidefinebyname' => 'oci_define_by_name', 'ocierror' => 'oci_error', 'ociexecute' => 'oci_execute', 'ocifetch' => 'oci_fetch', 'ocifetchinto' => 'oci_fetch_array(),', 'ocifetchstatement' => 'oci_fetch_all', 'ocifreecollection' => 'OCI-Collection::free', 'ocifreecursor' => 'oci_free_statement', 'ocifreedesc' => 'oci_free_descriptor', 'ocifreestatement' => 'oci_free_statement', 'ocigetelem' => 'OCI-Collection::getElem', 'ociinternaldebug' => 'oci_internal_debug', 'ociloadlob' => 'OCI-Lob::load', 'ocilogon' => 'oci_connect', 'ocinewcollection' => 'oci_new_collection', 'ocinewcursor' => 'oci_new_cursor', 'ocinewdescriptor' => 'oci_new_descriptor', 'ocinlogon' => 'oci_new_connect', 'ocinumcols' => 'oci_num_fields', 'ociparse' => 'oci_parse', 'ocipasswordchange' => 'oci_password_change', 'ociplogon' => 'oci_pconnect', 'ociresult' => 'oci_result', 'ocirollback' => 'oci_rollback', 'ocisavelob' => 'OCI-Lob::save', 'ocisavelobfile' => 'OCI-Lob::import', 'ociserverversion' => 'oci_server_version', 'ocisetprefetch' => 'oci_set_prefetch', 'ocistatementtype' => 'oci_statement_type', 'ociwritelobtofile' => 'OCI-Lob::export', 'ociwritetemporarylob' => 'OCI-Lob::writeTemporary', 'odbc_do' => 'odbc_exec', 'odbc_field_precision' => 'odbc_field_len', 'pdf_add_outline' => 'pdf_add_bookmark', 'pg_clientencoding' => 'pg_client_encoding', 'pg_setclientencoding' => 'pg_set_client_encoding', 'pos' => 'current', 'recode' => 'recode_string', 'show_source' => 'highlight_file', 'sizeof' => 'count', 'snmpwalkoid' => 'snmprealwalk', 'strchr' => 'strstr', 'streammp3' => 'swfmovie_streamMp3', 'swfaction' => 'swfaction_init', 'swfbitmap' => 'swfbitmap_init', 'swfbutton' => 'swfbutton_init', 'swffill' => 'swffill_init', 'swffont' => 'swffont_init', 'swfgradient' => 'swfgradient_init', 'swfmorph' => 'swfmorph_init', 'swfmovie' => 'swfmovie_init', 'swfshape' => 'swfshape_init', 'swfsprite' => 'swfsprite_init', 'swftext' => 'swftext_init', 'swftextfield' => 'swftextfield_init', 'xptr_new_context' => 'xpath_new_context', ); $functions = $this->getFunctionCalls($root, array_keys($aliases)); foreach ($functions as $function) { $function_name = $function->getChildByIndex(0); $this->raiseLintAtNode( $function_name, self::LINT_ALIAS_FUNCTION, pht('Alias functions should be avoided.'), $aliases[phutil_utf8_strtolower($function_name->getConcreteString())]); } } private function lintCastSpacing(XHPASTNode $root) { $cast_expressions = $root->selectDescendantsOfType('n_CAST_EXPRESSION'); foreach ($cast_expressions as $cast_expression) { $cast = $cast_expression->getChildOfType(0, 'n_CAST'); list($before, $after) = $cast->getSurroundingNonsemanticTokens(); $after = head($after); if ($after) { $this->raiseLintAtToken( $after, self::LINT_CAST_SPACING, pht('A cast statement must not be followed by a space.'), ''); } } } private function lintThrowExceptionInToStringMethod(XHPASTNode $root) { $methods = $root->selectDescendantsOfType('n_METHOD_DECLARATION'); foreach ($methods as $method) { $name = $method ->getChildOfType(2, 'n_STRING') ->getConcreteString(); if ($name != '__toString') { continue; } $statements = $method->getChildByIndex(5); if ($statements->getTypeName() != 'n_STATEMENT_LIST') { continue; } $throws = $statements->selectDescendantsOfType('n_THROW'); foreach ($throws as $throw) { $this->raiseLintAtNode( $throw, self::LINT_TOSTRING_EXCEPTION, pht( 'It is not possible to throw an %s from within the %s method.', 'Exception', '__toString')); } } } private function lintLambdaFuncFunction(XHPASTNode $root) { $function_declarations = $root ->selectDescendantsOfType('n_FUNCTION_DECLARATION'); foreach ($function_declarations as $function_declaration) { $function_name = $function_declaration->getChildByIndex(2); if ($function_name->getTypeName() == 'n_EMPTY') { // Anonymous closure. continue; } if ($function_name->getConcreteString() != '__lambda_func') { continue; } $this->raiseLintAtNode( $function_declaration, self::LINT_LAMBDA_FUNC_FUNCTION, pht( 'Declaring a function named %s causes any call to %s to fail. '. 'This is because %s eval-declares the function %s, then '. 'modifies the symbol table so that the function is instead '. 'named %s, and returns that name.', '__lambda_func', 'create_function', 'create_function', '__lambda_func', '"\0lambda_".(++$i)')); } } private function lintInstanceOfOperator(XHPASTNode $root) { $expressions = $root->selectDescendantsOfType('n_BINARY_EXPRESSION'); foreach ($expressions as $expression) { $operator = $expression->getChildOfType(1, 'n_OPERATOR'); if (strtolower($operator->getConcreteString()) != 'instanceof') { continue; } $object = $expression->getChildByIndex(0); if ($object->isStaticScalar() || $object->getTypeName() == 'n_SYMBOL_NAME') { $this->raiseLintAtNode( $object, self::LINT_INSTANCEOF_OPERATOR, pht( '%s expects an object instance, constant given.', 'instanceof')); } } } private function lintInvalidDefaultParameters(XHPASTNode $root) { $parameters = $root->selectDescendantsOfType('n_DECLARATION_PARAMETER'); foreach ($parameters as $parameter) { $type = $parameter->getChildByIndex(0); $default = $parameter->getChildByIndex(2); if ($type->getTypeName() == 'n_EMPTY') { continue; } if ($default->getTypeName() == 'n_EMPTY') { continue; } $default_is_null = $default->getTypeName() == 'n_SYMBOL_NAME' && strtolower($default->getConcreteString()) == 'null'; switch (strtolower($type->getConcreteString())) { case 'array': if ($default->getTypeName() == 'n_ARRAY_LITERAL') { break; } if ($default_is_null) { break; } $this->raiseLintAtNode( $default, self::LINT_INVALID_DEFAULT_PARAMETER, pht( 'Default value for parameters with %s type hint '. 'can only be an %s or %s.', 'array', 'array', 'null')); break; case 'callable': if ($default_is_null) { break; } $this->raiseLintAtNode( $default, self::LINT_INVALID_DEFAULT_PARAMETER, pht( 'Default value for parameters with %s type hint can only be %s.', 'callable', 'null')); break; default: // Class/interface parameter. if ($default_is_null) { break; } $this->raiseLintAtNode( $default, self::LINT_INVALID_DEFAULT_PARAMETER, pht( 'Default value for parameters with a class type hint '. 'can only be %s.', 'null')); break; } } } private function lintMethodModifierOrdering(XHPASTNode $root) { static $modifiers = array( 'abstract', 'final', 'public', 'protected', 'private', 'static', ); $methods = $root->selectDescendantsOfType('n_METHOD_MODIFIER_LIST'); foreach ($methods as $method) { $modifier_ordering = array_values( mpull($method->getChildren(), 'getConcreteString')); $expected_modifier_ordering = array_values( array_intersect( $modifiers, $modifier_ordering)); if (count($modifier_ordering) != count($expected_modifier_ordering)) { continue; } if ($modifier_ordering != $expected_modifier_ordering) { $this->raiseLintAtNode( $method, self::LINT_MODIFIER_ORDERING, pht('Non-conventional modifier ordering.'), implode(' ', $expected_modifier_ordering)); } } } private function lintPropertyModifierOrdering(XHPASTNode $root) { static $modifiers = array( 'public', 'protected', 'private', 'static', ); $properties = $root->selectDescendantsOfType( 'n_CLASS_MEMBER_MODIFIER_LIST'); foreach ($properties as $property) { $modifier_ordering = array_values( mpull($property->getChildren(), 'getConcreteString')); $expected_modifier_ordering = array_values( array_intersect( $modifiers, $modifier_ordering)); if (count($modifier_ordering) != count($expected_modifier_ordering)) { continue; } if ($modifier_ordering != $expected_modifier_ordering) { $this->raiseLintAtNode( $property, self::LINT_MODIFIER_ORDERING, pht('Non-conventional modifier ordering.'), implode(' ', $expected_modifier_ordering)); } } } private function lintInvalidModifiers(XHPASTNode $root) { $methods = $root->selectDescendantsOfTypes(array( 'n_CLASS_MEMBER_MODIFIER_LIST', 'n_METHOD_MODIFIER_LIST', )); foreach ($methods as $method) { $modifiers = $method->getChildren(); $is_abstract = false; $is_final = false; $is_static = false; $visibility = null; foreach ($modifiers as $modifier) { switch ($modifier->getConcreteString()) { case 'abstract': if ($method->getTypeName() == 'n_CLASS_MEMBER_MODIFIER_LIST') { $this->raiseLintAtNode( $modifier, self::LINT_INVALID_MODIFIERS, pht( 'Properties cannot be declared %s.', 'abstract')); } if ($is_abstract) { $this->raiseLintAtNode( $modifier, self::LINT_INVALID_MODIFIERS, pht( 'Multiple %s modifiers are not allowed.', 'abstract')); } if ($is_final) { $this->raiseLintAtNode( $modifier, self::LINT_INVALID_MODIFIERS, pht( 'Cannot use the %s modifier on an %s class member', 'final', 'abstract')); } $is_abstract = true; break; case 'final': if ($is_abstract) { $this->raiseLintAtNode( $modifier, self::LINT_INVALID_MODIFIERS, pht( 'Cannot use the %s modifier on an %s class member', 'final', 'abstract')); } if ($is_final) { $this->raiseLintAtNode( $modifier, self::LINT_INVALID_MODIFIERS, pht( 'Multiple %s modifiers are not allowed.', 'final')); } $is_final = true; break; case 'public': case 'protected': case 'private': if ($visibility) { $this->raiseLintAtNode( $modifier, self::LINT_INVALID_MODIFIERS, pht('Multiple access type modifiers are not allowed.')); } $visibility = $modifier->getConcreteString(); break; case 'static': if ($is_static) { $this->raiseLintAtNode( $modifier, self::LINT_INVALID_MODIFIERS, pht( 'Multiple %s modifiers are not allowed.', 'static')); } break; } } } } }