D10541.id25686.diff
No OneTemporary
Actions

Size

123 KB

Referenced Files

None

Subscribers

None

D10541.id25686.diff
View Options

	diff --git a/src/__phutil_library_map__.php b/src/__phutil_library_map__.php
	--- a/src/__phutil_library_map__.php
	+++ b/src/__phutil_library_map__.php
	@@ -68,6 +68,8 @@
	'ArcanistDifferentialRevisionHash' => 'differential/constants/ArcanistDifferentialRevisionHash.php',
	'ArcanistDifferentialRevisionStatus' => 'differential/constants/ArcanistDifferentialRevisionStatus.php',
	'ArcanistDownloadWorkflow' => 'workflow/ArcanistDownloadWorkflow.php',
	+ 'ArcanistElseIfUsageXHPASTLinterRule' => 'lint/linter/xhpast/rules/ArcanistElseIfUsageXHPASTLinterRule.php',
	+ 'ArcanistEmptyBlockStatementXHPASTLinterRule' => 'lint/linter/xhpast/rules/ArcanistEmptyBlockStatementXHPASTLinterRule.php',
	'ArcanistEventType' => 'events/constant/ArcanistEventType.php',
	'ArcanistExportWorkflow' => 'workflow/ArcanistExportWorkflow.php',
	'ArcanistExternalLinter' => 'lint/linter/ArcanistExternalLinter.php',
	@@ -104,6 +106,7 @@
	'ArcanistJscsLinter' => 'lint/linter/ArcanistJscsLinter.php',
	'ArcanistJscsLinterTestCase' => 'lint/linter/__tests__/ArcanistJscsLinterTestCase.php',
	'ArcanistLandWorkflow' => 'workflow/ArcanistLandWorkflow.php',
	+ 'ArcanistLanguageConstructParenthesesXHPASTLinterRule' => 'lint/linter/xhpast/rules/ArcanistLanguageConstructParenthesesXHPASTLinterRule.php',
	'ArcanistLesscLinter' => 'lint/linter/ArcanistLesscLinter.php',
	'ArcanistLesscLinterTestCase' => 'lint/linter/__tests__/ArcanistLesscLinterTestCase.php',
	'ArcanistLiberateWorkflow' => 'workflow/ArcanistLiberateWorkflow.php',
	@@ -123,6 +126,7 @@
	'ArcanistMercurialParserTestCase' => 'repository/parser/__tests__/ArcanistMercurialParserTestCase.php',
	'ArcanistMergeConflictLinter' => 'lint/linter/ArcanistMergeConflictLinter.php',
	'ArcanistMergeConflictLinterTestCase' => 'lint/linter/__tests__/ArcanistMergeConflictLinterTestCase.php',
	+ 'ArcanistNamingConventionXHPASTLinterRule' => 'lint/linter/xhpast/rules/ArcanistNamingConventionXHPASTLinterRule.php',
	'ArcanistNoEffectException' => 'exception/usage/ArcanistNoEffectException.php',
	'ArcanistNoEngineException' => 'exception/usage/ArcanistNoEngineException.php',
	'ArcanistNoLintLinter' => 'lint/linter/ArcanistNoLintLinter.php',
	@@ -144,6 +148,7 @@
	'ArcanistPhutilTestTerminatedException' => 'unit/engine/phutil/testcase/ArcanistPhutilTestTerminatedException.php',
	'ArcanistPhutilXHPASTLinter' => 'lint/linter/ArcanistPhutilXHPASTLinter.php',
	'ArcanistPhutilXHPASTLinterTestCase' => 'lint/linter/__tests__/ArcanistPhutilXHPASTLinterTestCase.php',
	+ 'ArcanistPlusOperatorOnStringsXHPASTLinterRule' => 'lint/linter/xhpast/rules/ArcanistPlusOperatorOnStringsXHPASTLinterRule.php',
	'ArcanistPuppetLintLinter' => 'lint/linter/ArcanistPuppetLintLinter.php',
	'ArcanistPuppetLintLinterTestCase' => 'lint/linter/__tests__/ArcanistPuppetLintLinterTestCase.php',
	'ArcanistPyFlakesLinter' => 'lint/linter/ArcanistPyFlakesLinter.php',
	@@ -157,6 +162,7 @@
	'ArcanistRubyLinter' => 'lint/linter/ArcanistRubyLinter.php',
	'ArcanistRubyLinterTestCase' => 'lint/linter/__tests__/ArcanistRubyLinterTestCase.php',
	'ArcanistScriptAndRegexLinter' => 'lint/linter/ArcanistScriptAndRegexLinter.php',
	+ 'ArcanistSemicolonSpacingXHPASTLinterRule' => 'lint/linter/xhpast/rules/ArcanistSemicolonSpacingXHPASTLinterRule.php',
	'ArcanistSetConfigWorkflow' => 'workflow/ArcanistSetConfigWorkflow.php',
	'ArcanistSettings' => 'configuration/ArcanistSettings.php',
	'ArcanistShellCompleteWorkflow' => 'workflow/ArcanistShellCompleteWorkflow.php',
	@@ -170,6 +176,7 @@
	'ArcanistSummaryLintRenderer' => 'lint/renderer/ArcanistSummaryLintRenderer.php',
	'ArcanistSvnHookPreCommitWorkflow' => 'workflow/ArcanistSvnHookPreCommitWorkflow.php',
	'ArcanistTasksWorkflow' => 'workflow/ArcanistTasksWorkflow.php',
	+ 'ArcanistTautologicalExpressionXHPASTLinterRule' => 'lint/linter/xhpast/rules/ArcanistTautologicalExpressionXHPASTLinterRule.php',
	'ArcanistTestCase' => 'infrastructure/testing/ArcanistTestCase.php',
	'ArcanistTestResultParser' => 'unit/engine/ArcanistTestResultParser.php',
	'ArcanistTextLinter' => 'lint/linter/ArcanistTextLinter.php',
	@@ -195,6 +202,7 @@
	'ArcanistXHPASTLintSwitchHook' => 'lint/linter/xhpast/ArcanistXHPASTLintSwitchHook.php',
	'ArcanistXHPASTLintTestSwitchHook' => 'lint/linter/__tests__/ArcanistXHPASTLintTestSwitchHook.php',
	'ArcanistXHPASTLinter' => 'lint/linter/ArcanistXHPASTLinter.php',
	+ 'ArcanistXHPASTLinterRule' => 'lint/linter/xhpast/ArcanistXHPASTLinterRule.php',
	'ArcanistXHPASTLinterTestCase' => 'lint/linter/__tests__/ArcanistXHPASTLinterTestCase.php',
	'ArcanistXMLLinter' => 'lint/linter/ArcanistXMLLinter.php',
	'ArcanistXMLLinterTestCase' => 'lint/linter/__tests__/ArcanistXMLLinterTestCase.php',
	@@ -262,6 +270,8 @@
	'ArcanistDifferentialCommitMessageParserException' => 'Exception',
	'ArcanistDifferentialDependencyGraph' => 'AbstractDirectedGraph',
	'ArcanistDownloadWorkflow' => 'ArcanistWorkflow',
	+ 'ArcanistElseIfUsageXHPASTLinterRule' => 'ArcanistXHPASTLinterRule',
	+ 'ArcanistEmptyBlockStatementXHPASTLinterRule' => 'ArcanistXHPASTLinterRule',
	'ArcanistEventType' => 'PhutilEventType',
	'ArcanistExportWorkflow' => 'ArcanistWorkflow',
	'ArcanistExternalLinter' => 'ArcanistFutureLinter',
	@@ -295,6 +305,7 @@
	'ArcanistJscsLinter' => 'ArcanistExternalLinter',
	'ArcanistJscsLinterTestCase' => 'ArcanistArcanistLinterTestCase',
	'ArcanistLandWorkflow' => 'ArcanistWorkflow',
	+ 'ArcanistLanguageConstructParenthesesXHPASTLinterRule' => 'ArcanistXHPASTLinterRule',
	'ArcanistLesscLinter' => 'ArcanistExternalLinter',
	'ArcanistLesscLinterTestCase' => 'ArcanistArcanistLinterTestCase',
	'ArcanistLiberateWorkflow' => 'ArcanistWorkflow',
	@@ -306,6 +317,7 @@
	'ArcanistMercurialParserTestCase' => 'ArcanistTestCase',
	'ArcanistMergeConflictLinter' => 'ArcanistLinter',
	'ArcanistMergeConflictLinterTestCase' => 'ArcanistArcanistLinterTestCase',
	+ 'ArcanistNamingConventionXHPASTLinterRule' => 'ArcanistXHPASTLinterRule',
	'ArcanistNoEffectException' => 'ArcanistUsageException',
	'ArcanistNoEngineException' => 'ArcanistUsageException',
	'ArcanistNoLintLinter' => 'ArcanistLinter',
	@@ -326,6 +338,7 @@
	'ArcanistPhutilTestTerminatedException' => 'Exception',
	'ArcanistPhutilXHPASTLinter' => 'ArcanistBaseXHPASTLinter',
	'ArcanistPhutilXHPASTLinterTestCase' => 'ArcanistArcanistLinterTestCase',
	+ 'ArcanistPlusOperatorOnStringsXHPASTLinterRule' => 'ArcanistXHPASTLinterRule',
	'ArcanistPuppetLintLinter' => 'ArcanistExternalLinter',
	'ArcanistPuppetLintLinterTestCase' => 'ArcanistArcanistLinterTestCase',
	'ArcanistPyFlakesLinter' => 'ArcanistExternalLinter',
	@@ -338,6 +351,7 @@
	'ArcanistRubyLinter' => 'ArcanistExternalLinter',
	'ArcanistRubyLinterTestCase' => 'ArcanistArcanistLinterTestCase',
	'ArcanistScriptAndRegexLinter' => 'ArcanistLinter',
	+ 'ArcanistSemicolonSpacingXHPASTLinterRule' => 'ArcanistXHPASTLinterRule',
	'ArcanistSetConfigWorkflow' => 'ArcanistWorkflow',
	'ArcanistShellCompleteWorkflow' => 'ArcanistWorkflow',
	'ArcanistSingleLintEngine' => 'ArcanistLintEngine',
	@@ -350,6 +364,7 @@
	'ArcanistSummaryLintRenderer' => 'ArcanistLintRenderer',
	'ArcanistSvnHookPreCommitWorkflow' => 'ArcanistWorkflow',
	'ArcanistTasksWorkflow' => 'ArcanistWorkflow',
	+ 'ArcanistTautologicalExpressionXHPASTLinterRule' => 'ArcanistXHPASTLinterRule',
	'ArcanistTestCase' => 'ArcanistPhutilTestCase',
	'ArcanistTextLinter' => 'ArcanistLinter',
	'ArcanistTextLinterTestCase' => 'ArcanistArcanistLinterTestCase',
	diff --git a/src/lint/linter/ArcanistXHPASTLinter.php b/src/lint/linter/ArcanistXHPASTLinter.php
	--- a/src/lint/linter/ArcanistXHPASTLinter.php
	+++ b/src/lint/linter/ArcanistXHPASTLinter.php
	@@ -5,56 +5,6 @@
	*/
	final class ArcanistXHPASTLinter extends ArcanistBaseXHPASTLinter {

	- const LINT_PHP_SYNTAX_ERROR = 1;
	- const LINT_UNABLE_TO_PARSE = 2;
	- const LINT_VARIABLE_VARIABLE = 3;
	- const LINT_EXTRACT_USE = 4;
	- const LINT_UNDECLARED_VARIABLE = 5;
	- const LINT_PHP_SHORT_TAG = 6;
	- const LINT_PHP_ECHO_TAG = 7;
	- const LINT_PHP_CLOSE_TAG = 8;
	- const LINT_NAMING_CONVENTIONS = 9;
	- const LINT_IMPLICIT_CONSTRUCTOR = 10;
	- const LINT_DYNAMIC_DEFINE = 12;
	- const LINT_STATIC_THIS = 13;
	- const LINT_PREG_QUOTE_MISUSE = 14;
	- const LINT_PHP_OPEN_TAG = 15;
	- const LINT_TODO_COMMENT = 16;
	- const LINT_EXIT_EXPRESSION = 17;
	- const LINT_COMMENT_STYLE = 18;
	- const LINT_CLASS_FILENAME_MISMATCH = 19;
	- const LINT_TAUTOLOGICAL_EXPRESSION = 20;
	- const LINT_PLUS_OPERATOR_ON_STRINGS = 21;
	- const LINT_DUPLICATE_KEYS_IN_ARRAY = 22;
	- const LINT_REUSED_ITERATORS = 23;
	- const LINT_BRACE_FORMATTING = 24;
	- const LINT_PARENTHESES_SPACING = 25;
	- const LINT_CONTROL_STATEMENT_SPACING = 26;
	- const LINT_BINARY_EXPRESSION_SPACING = 27;
	- const LINT_ARRAY_INDEX_SPACING = 28;
	- const LINT_IMPLICIT_FALLTHROUGH = 30;
	- const LINT_REUSED_AS_ITERATOR = 32;
	- const LINT_COMMENT_SPACING = 34;
	- const LINT_SLOWNESS = 36;
	- const LINT_CLOSING_CALL_PAREN = 37;
	- const LINT_CLOSING_DECL_PAREN = 38;
	- const LINT_REUSED_ITERATOR_REFERENCE = 39;
	- const LINT_KEYWORD_CASING = 40;
	- const LINT_DOUBLE_QUOTE = 41;
	- const LINT_ELSEIF_USAGE = 42;
	- const LINT_SEMICOLON_SPACING = 43;
	- const LINT_CONCATENATION_OPERATOR = 44;
	- const LINT_PHP_COMPATIBILITY = 45;
	- const LINT_LANGUAGE_CONSTRUCT_PAREN = 46;
	- const LINT_EMPTY_STATEMENT = 47;
	- const LINT_ARRAY_SEPARATOR = 48;
	- const LINT_CONSTRUCTOR_PARENTHESES = 49;
	-
	- private $naminghook;
	- private $switchhook;
	- private $version;
	- private $windowsVersion;
	-
	public function getInfoName() {
	return 'XHPAST Lint';
	}
	@@ -64,52 +14,7 @@
	}

	public function getLintNameMap() {
	- return array(
	- self::LINT_PHP_SYNTAX_ERROR => 'PHP Syntax Error!',
	- self::LINT_UNABLE_TO_PARSE => 'Unable to Parse',
	- self::LINT_VARIABLE_VARIABLE => 'Use of Variable Variable',
	- self::LINT_EXTRACT_USE => 'Use of extract()',
	- self::LINT_UNDECLARED_VARIABLE => 'Use of Undeclared Variable',
	- self::LINT_PHP_SHORT_TAG => 'Use of Short Tag "<?"',
	- self::LINT_PHP_ECHO_TAG => 'Use of Echo Tag "<?="',
	- self::LINT_PHP_CLOSE_TAG => 'Use of Close Tag "?>"',
	- self::LINT_NAMING_CONVENTIONS => 'Naming Conventions',
	- self::LINT_IMPLICIT_CONSTRUCTOR => 'Implicit Constructor',
	- self::LINT_DYNAMIC_DEFINE => 'Dynamic define()',
	- self::LINT_STATIC_THIS => 'Use of $this in Static Context',
	- self::LINT_PREG_QUOTE_MISUSE => 'Misuse of preg_quote()',
	- self::LINT_PHP_OPEN_TAG => 'Expected Open Tag',
	- self::LINT_TODO_COMMENT => 'TODO Comment',
	- self::LINT_EXIT_EXPRESSION => 'Exit Used as Expression',
	- self::LINT_COMMENT_STYLE => 'Comment Style',
	- self::LINT_CLASS_FILENAME_MISMATCH => 'Class-Filename Mismatch',
	- self::LINT_TAUTOLOGICAL_EXPRESSION => 'Tautological Expression',
	- self::LINT_PLUS_OPERATOR_ON_STRINGS => 'Not String Concatenation',
	- self::LINT_DUPLICATE_KEYS_IN_ARRAY => 'Duplicate Keys in Array',
	- self::LINT_REUSED_ITERATORS => 'Reuse of Iterator Variable',
	- self::LINT_BRACE_FORMATTING => 'Brace placement',
	- self::LINT_PARENTHESES_SPACING => 'Spaces Inside Parentheses',
	- self::LINT_CONTROL_STATEMENT_SPACING => 'Space After Control Statement',
	- self::LINT_BINARY_EXPRESSION_SPACING => 'Space Around Binary Operator',
	- self::LINT_ARRAY_INDEX_SPACING => 'Spacing Before Array Index',
	- self::LINT_IMPLICIT_FALLTHROUGH => 'Implicit Fallthrough',
	- self::LINT_REUSED_AS_ITERATOR => 'Variable Reused As Iterator',
	- self::LINT_COMMENT_SPACING => 'Comment Spaces',
	- self::LINT_SLOWNESS => 'Slow Construct',
	- self::LINT_CLOSING_CALL_PAREN => 'Call Formatting',
	- self::LINT_CLOSING_DECL_PAREN => 'Declaration Formatting',
	- self::LINT_REUSED_ITERATOR_REFERENCE => 'Reuse of Iterator References',
	- self::LINT_KEYWORD_CASING => 'Keyword Conventions',
	- self::LINT_DOUBLE_QUOTE => 'Unnecessary Double Quotes',
	- self::LINT_ELSEIF_USAGE => 'ElseIf Usage',
	- self::LINT_SEMICOLON_SPACING => 'Semicolon Spacing',
	- self::LINT_CONCATENATION_OPERATOR => 'Concatenation Spacing',
	- self::LINT_PHP_COMPATIBILITY => 'PHP Compatibility',
	- self::LINT_LANGUAGE_CONSTRUCT_PAREN => 'Language Construct Parentheses',
	- self::LINT_EMPTY_STATEMENT => 'Empty Block Statement',
	- self::LINT_ARRAY_SEPARATOR => 'Array Separator',
	- self::LINT_CONSTRUCTOR_PARENTHESES => 'Constructor Parentheses',
	- );
	+ return mpull($this->getLinterRules(), 'getLintName', 'getID');
	}

	public function getLinterName() {
	@@ -121,85 +26,31 @@
	}

	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,
	- );
	+ return mpull($this->getLinterRules(), 'getLintSeverity', 'getID');
	}

	public function getLinterConfigurationOptions() {
	return parent::getLinterConfigurationOptions() + array(
	- '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.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.naminghook':
	- $this->naminghook = $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 '10';
	+ return count($this->getLinterRules());
	+ }
	+
	+ protected function getLinterRules() {
	+ return id(new PhutilSymbolLoader())
	+ ->setAncestorClass('ArcanistXHPASTLinterRule')
	+ ->loadObjects();
	}

	protected function resolveFuture($path, Future $future) {
	@@ -210,2627 +61,22 @@
	$this->raiseLintAtLine(
	$ex->getErrorLine(),
	1,
	- self::LINT_PHP_SYNTAX_ERROR,
	+ 1, //self::LINT_PHP_SYNTAX_ERROR,
	'This file contains a syntax error: '.$ex->getMessage());
	} else if ($ex instanceof Exception) {
	- $this->raiseLintAtPath(self::LINT_UNABLE_TO_PARSE, $ex->getMessage());
	+ $this->raiseLintAtPath(2 /self::LINT_UNABLE_TO_PARSE/, $ex->getMessage());
	}
	return;
	}

	$root = $tree->getRootNode();
	+ $rules = $this->getLinterRules();

	- $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,
	- );
	-
	- 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,
	- 'Use strpos() for checking if the string contains something.');
	- } else if ($name === 'stristr') {
	- $this->raiseLintAtNode(
	- $strstr,
	- self::LINT_SLOWNESS,
	- 'Use stripos() for checking if the string contains something.');
	- }
	- }
	- }
	-
	- 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,
	- 'Use strncmp() for checking if the string starts with something.');
	- } else if ($name === 'stripos') {
	- $this->raiseLintAtNode(
	- $strpos,
	- self::LINT_SLOWNESS,
	- 'Use strncasecmp() for checking if the string starts with '.
	- 'something.');
	- }
	- }
	- }
	-
	- private function lintPHPCompatibility(XHPASTNode $root) {
	- if (!$this->version) {
	- return;
	- }
	-
	- $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);
	-
	- if ($version && version_compare($version['min'], $this->version, '>')) {
	- // 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;
	- }
	-
	- $this->raiseLintAtNode(
	- $node,
	- self::LINT_PHP_COMPATIBILITY,
	- "This codebase targets PHP {$this->version}, but `{$name}()` was ".
	- "not introduced until PHP {$version['min']}.");
	- } 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,
	- "This codebase targets PHP {$this->version}, but parameter ".
	- ($i + 1)." of `{$name}()` was not introduced until PHP ".
	- "{$version}.");
	- }
	- }
	- }
	-
	- if ($this->windowsVersion) {
	- $windows = idx($compat_info['functions_windows'], $name);
	-
	- if ($windows === false) {
	- $this->raiseLintAtNode(
	- $node,
	- self::LINT_PHP_COMPATIBILITY,
	- "This codebase targets PHP {$this->windowsVersion} on Windows, ".
	- "but `{$name}()` is not available there.");
	- } else if (version_compare($windows, $this->windowsVersion, '>')) {
	- $this->raiseLintAtNode(
	- $node,
	- self::LINT_PHP_COMPATIBILITY,
	- "This codebase targets PHP {$this->windowsVersion} on Windows, ".
	- "but `{$name}()` is not available there until PHP ".
	- "{$this->windowsVersion}.");
	- }
	- }
	- }
	-
	- $classes = $root->selectDescendantsOfType('n_CLASS_NAME');
	- foreach ($classes as $node) {
	- $name = $node->getConcreteString();
	- $version = idx($compat_info['interfaces'], $name);
	- $version = idx($compat_info['classes'], $name, $version);
	- if ($version && version_compare($version['min'], $this->version, '>')) {
	- // 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;
	- }
	-
	- $this->raiseLintAtNode(
	- $node,
	- self::LINT_PHP_COMPATIBILITY,
	- "This codebase targets PHP {$this->version}, but `{$name}` was not ".
	- "introduced until PHP {$version['min']}.");
	- }
	- }
	-
	- // 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->selectDescendantsOfType('n_SYMBOL_NAME');
	- foreach ($constants as $node) {
	- $name = $node->getConcreteString();
	- $version = idx($compat_info['constants'], $name);
	- if ($version && version_compare($version['min'], $this->version, '>')) {
	- $this->raiseLintAtNode(
	- $node,
	- self::LINT_PHP_COMPATIBILITY,
	- "This codebase targets PHP {$this->version}, but `{$name}` was not ".
	- "introduced until PHP {$version['min']}.");
	- }
	- }
	-
	- 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,
	- "This codebase targets PHP {$this->version}, but anonymous ".
	- "functions were not introduced until PHP 5.3.");
	- }
	- }
	- }
	-
	- $namespaces = $root->selectTokensOfType('T_NAMESPACE');
	- foreach ($namespaces as $namespace) {
	- $this->raiseLintAtToken(
	- $namespace,
	- self::LINT_PHP_COMPATIBILITY,
	- "This codebase targets PHP {$this->version}, but namespaces were not ".
	- "introduced until PHP 5.3.");
	- }
	-
	- // 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,
	- "This codebase targets PHP {$this->version}, but namespaces were not ".
	- "introduced until PHP 5.3.");
	- }
	-
	- $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,
	- "This codebase targets PHP {$this->version}, but `static::` was not ".
	- "introduced until PHP 5.3.");
	- }
	- }
	-
	- $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,
	- "This codebase targets PHP {$this->version}, but short ternary was ".
	- "not introduced until PHP 5.3.");
	- }
	- }
	-
	- $heredocs = $root->selectDescendantsOfType('n_HEREDOC');
	- foreach ($heredocs as $heredoc) {
	- if (preg_match('/^<<<[\'"]/', $heredoc->getConcreteString())) {
	- $this->raiseLintAtNode(
	- $heredoc,
	- self::LINT_PHP_COMPATIBILITY,
	- "This codebase targets PHP {$this->version}, but nowdoc was not ".
	- "introduced until PHP 5.3.");
	- }
	- }
	- }
	-
	- 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');
	- 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->selectDescendantsOfType('n_WHILE');
	- $lower_level->add($block->selectDescendantsOfType('n_DO_WHILE'));
	- $lower_level->add($block->selectDescendantsOfType('n_FOR'));
	- $lower_level->add($block->selectDescendantsOfType('n_FOREACH'));
	- $lower_level->add($block->selectDescendantsOfType('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->selectDescendantsOfType('n_FUNCTION_DECLARATION');
	- $decls->add($block->selectDescendantsOfType('n_CLASS_DECLARATION'));
	- // For completeness; these can't actually have anything.
	- $decls->add($block->selectDescendantsOfType('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 ($rules as $rule) {
	+ if ($this->isCodeEnabled($rule->getID())) {
	+ $rule->process($root);
	}
	-
	- 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,
	- "This 'case' or 'default' has a nonempty block which does not ".
	- "end with 'break', 'continue', 'return', 'throw' or 'exit'. Did ".
	- "you forget to add one of those? If you intend to fall through, ".
	- "add a '// fallthrough' comment to silence this warning.");
	- }
	- }
	- }
	- }
	-
	- 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,
	- '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,
	- '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,
	- '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,
	- '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,
	- '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,
	- 'Use "//" single-line comments, not "#".',
	- '#',
	- (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_for_loops = $loop->selectDescendantsOfType('n_FOR');
	- $child_foreach_loops = $loop->selectDescendantsOfType('n_FOREACH');
	- $child_loops = $child_for_loops->add($child_foreach_loops);
	-
	- $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,
	- "This loop reuses iterator variables ({$shared_desc}) from an ".
	- "outer loop. You might be clobbering the outer iterator. Change ".
	- "the inner loop to use a different iterator name.");
	-
	- $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) {
	-
	- $fdefs = $root->selectDescendantsOfType('n_FUNCTION_DECLARATION');
	- $mdefs = $root->selectDescendantsOfType('n_METHOD_DECLARATION');
	- $defs = $fdefs->add($mdefs);
	-
	- 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,
	- '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,
	- '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.
	-
	- $fdefs = $root->selectDescendantsOfType('n_FUNCTION_DECLARATION');
	- $mdefs = $root->selectDescendantsOfType('n_METHOD_DECLARATION');
	- $defs = $fdefs->add($mdefs);
	-
	- 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,
	- 'Avoid extract(). It is confusing and hinders static analysis.');
	- }
	-
	- // 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,
	- '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()) === '<?') {
	- $this->raiseLintAtToken(
	- $token,
	- self::LINT_PHP_SHORT_TAG,
	- 'Use the full form of the PHP open tag, "<?php".',
	- "<?php\n");
	- }
	- break;
	- } else if ($token->getTypeName() === 'T_OPEN_TAG_WITH_ECHO') {
	- $this->raiseLintAtToken(
	- $token,
	- self::LINT_PHP_ECHO_TAG,
	- 'Avoid the PHP echo short form, "<?=".');
	- break;
	- } else {
	- if (!preg_match('/^#!/', $token->getValue())) {
	- $this->raiseLintAtToken(
	- $token,
	- self::LINT_PHP_OPEN_TAG,
	- 'PHP files should start with "<?php", which may be preceded by '.
	- 'a "#!" line for scripts.');
	- }
	- break;
	- }
	- }
	-
	- foreach ($root->selectTokensOfType('T_CLOSE_TAG') as $token) {
	- $this->raiseLintAtToken(
	- $token,
	- self::LINT_PHP_CLOSE_TAG,
	- 'Do not use the PHP closing tag, "?>".');
	- }
	- }
	-
	- private function lintNamingConventions(XHPASTNode $root) {
	- // We're going to build up a list of <type, name, token, error> 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
	- : '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
	- : '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
	- : '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
	- : '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
	- : '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
	- : '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
	- : 'Follow naming conventions: class properties should be named '.
	- 'using lowerCamelCase.',
	- );
	- }
	- }
	-
	- $superglobal_map = array_fill_keys(
	- $this->getSuperGlobalNames(),
	- true);
	-
	-
	- $fdefs = $root->selectDescendantsOfType('n_FUNCTION_DECLARATION');
	- $mdefs = $root->selectDescendantsOfType('n_METHOD_DECLARATION');
	- $defs = $fdefs->add($mdefs);
	-
	- 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);
	- $rhs_vars = $def->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
	- : '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');
	- 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,
	- 'Name constructors __construct() explicitly. This method is a '.
	- 'constructor because it has the same name as the class it is '.
	- 'defined in.');
	- }
	- }
	- }
	- }
	-
	- private function lintParenthesesShouldHugExpressions(XHPASTNode $root) {
	- $calls = $root->selectDescendantsOfType('n_CALL_PARAMETER_LIST');
	- $controls = $root->selectDescendantsOfType('n_CONTROL_CONDITION');
	- $fors = $root->selectDescendantsOfType('n_FOR_EXPRESSION');
	- $foreach = $root->selectDescendantsOfType('n_FOREACH_EXPRESSION');
	- $decl = $root->selectDescendantsOfType('n_DECLARATION_PARAMETER_LIST');
	-
	- $all_paren_groups = $calls
	- ->add($controls)
	- ->add($fors)
	- ->add($foreach)
	- ->add($decl);
	- 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('Expected open paren!');
	- }
	- if ($token_c->getTypeName() !== ')') {
	- throw new Exception('Expected close paren!');
	- }
	-
	- $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,
	- '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,
	- '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,
	- '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,
	- '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,
	- '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,
	- '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,
	- '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,
	- 'Convention: no spaces around "." (string concatenation) operator.',
	- '');
	- }
	- }
	- }
	-
	- private function lintDynamicDefines(XHPASTNode $root) {
	- $calls = $root->selectDescendantsOfType('n_FUNCTION_CALL');
	- foreach ($calls as $call) {
	- $name = $call->getChildByIndex(0)->getConcreteString();
	- if (strtolower($name) === 'define') {
	- $parameter_list = $call->getChildOfType(1, 'n_CALL_PARAMETER_LIST');
	- $defined = $parameter_list->getChildByIndex(0);
	- if (!$defined->isStaticScalar()) {
	- $this->raiseLintAtNode(
	- $defined,
	- self::LINT_DYNAMIC_DEFINE,
	- 'First argument to define() must be a string literal.');
	- }
	- }
	- }
	- }
	-
	- 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,
	- 'You can not reference "$this" inside a static method.');
	- }
	- }
	- }
	- }
	- }
	-
	- /**
	- * 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 = $root->selectDescendantsOfType('n_FUNCTION_CALL');
	- foreach ($function_calls as $call) {
	- $name = $call->getChildByIndex(0)->getConcreteString();
	- if (strtolower($name) === 'preg_quote') {
	- $parameter_list = $call->getChildOfType(1, 'n_CALL_PARAMETER_LIST');
	- if (count($parameter_list->getChildren()) !== 2) {
	- $this->raiseLintAtNode(
	- $call,
	- self::LINT_PREG_QUOTE_MISUSE,
	- 'If you use pattern delimiters that require escaping (such as //, '.
	- 'but not ()) then you should pass two arguments to preg_quote(), '.
	- 'so that preg_quote() knows which delimiter to escape.');
	- }
	- }
	- }
	- }
	-
	- /**
	- * 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,
	- 'Use exit as a statement, not an expression.');
	- }
	- }
	- }
	- }
	-
	- 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,
	- 'Convention: no spaces before index access.',
	- $trailing_text,
	- '');
	- }
	- }
	- }
	-
	- private function lintTODOComments(XHPASTNode $root) {
	- $comments = $root->selectTokensOfType('T_COMMENT') +
	- $root->selectTokensOfType('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,
	- '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,
	- "The name of this file differs from the name of the class or interface ".
	- "it declares. Rename the file to '{$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,
	- "In PHP, '.' is the string concatenation operator, not '+'. 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,
	- '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->selectDescendantsOfType('n_FUNCTION_CALL');
	- $calls = $calls->add($root->selectDescendantsOfType('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,
	- 'Convention: no spaces before closing parenthesis in calls.',
	- $trailing_text,
	- '');
	- }
	- }
	- }
	-
	- private function lintClosingDeclarationParen(XHPASTNode $root) {
	- $decs = $root->selectDescendantsOfType('n_FUNCTION_DECLARATION');
	- $decs = $decs->add($root->selectDescendantsOfType('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,
	- 'Convention: no spaces before closing parenthesis in function and '.
	- 'method declarations.',
	- $trailing_text,
	- '');
	- }
	- }
	- }
	-
	- private function lintKeywordCasing(XHPASTNode $root) {
	- $keywords = array();
	-
	- $symbols = $root->selectDescendantsOfType('n_SYMBOL_NAME');
	- foreach ($symbols as $symbol) {
	- $keywords[] = head($symbol->getTokens());
	- }
	-
	- $arrays = $root->selectDescendantsOfType('n_ARRAY_LITERAL');
	- foreach ($arrays as $array) {
	- $keywords[] = head($array->getTokens());
	- }
	-
	- $typehints = $root->selectDescendantsOfType('n_TYPE_NAME');
	- foreach ($typehints as $typehint) {
	- $keywords[] = head($typehint->getTokens());
	- }
	-
	- $new_invocations = $root->selectDescendantsOfType('n_NEW');
	- foreach ($new_invocations as $invocation) {
	- $keywords[] = head($invocation->getTokens());
	- }
	-
	- $class_declarations = $root->selectDescendantsOfType('n_CLASS_DECLARATION');
	- foreach ($class_declarations as $declaration) {
	- $keywords[] = head($declaration->getTokens());
	- }
	-
	- // NOTE: Although PHP generally allows arbitrary casing for all language
	- // keywords, it's exceedingly rare for anyone to type, e.g., "CLASS" or
	- // "cLaSs" in the wild. This list just attempts to cover unconventional
	- // spellings which see some level of use, not all keywords exhaustively.
	- // There is no token or node type which spans all keywords, so this is
	- // significantly simpler.
	-
	- static $keyword_map = array(
	- 'true' => 'true',
	- 'false' => 'false',
	- 'null' => 'null',
	- 'array' => 'array',
	- 'new' => 'new',
	- 'class' => 'class',
	- );
	-
	- foreach ($keywords as $keyword) {
	- $value = $keyword->getValue();
	- $value_key = strtolower($value);
	- if (!isset($keyword_map[$value_key])) {
	- continue;
	- }
	- $expected_spelling = $keyword_map[$value_key];
	- if ($value !== $expected_spelling) {
	- $this->raiseLintAtToken(
	- $keyword,
	- self::LINT_KEYWORD_CASING,
	- "Convention: spell keyword '{$value}' as '{$expected_spelling}'.",
	- $expected_spelling);
	- }
	- }
	- }
	-
	- 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 `else if` is preferred over `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 && (!$after \|\| $after->getValue() != ',')) {
	- if ($value->getChildByIndex(1)->getTypeName() == 'n_HEREDOC') {
	- continue;
	- }
	-
	- $this->raiseLintAtNode(
	- $value,
	- self::LINT_ARRAY_SEPARATOR,
	- pht('Multi-lined arrays should have trailing commas.'),
	- $value->getConcreteString().',');
	- } else if (!$multiline && $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().'()');
	- }
	- }
	- }
	-
	- public function getSuperGlobalNames() {
	- return array(
	- '$GLOBALS',
	- '$_SERVER',
	- '$_GET',
	- '$_POST',
	- '$_FILES',
	- '$_COOKIE',
	- '$_SESSION',
	- '$_REQUEST',
	- '$_ENV',
	- );
	- }
	-
	}
	diff --git a/src/lint/linter/xhpast/ArcanistXHPASTLinterRule.php b/src/lint/linter/xhpast/ArcanistXHPASTLinterRule.php
	new file mode 100644
	--- /dev/null
	+++ b/src/lint/linter/xhpast/ArcanistXHPASTLinterRule.php
	@@ -0,0 +1,64 @@
	+<?php
	+
	+abstract class ArcanistXHPASTLinterRule {
	+
	+ private $linter = null;
	+
	+ public final function getID() {
	+ $class = new ReflectionClass($this);
	+
	+ $const = $class->getConstant('ID');
	+ if ($const === false) {
	+ throw new Exception(
	+ pht(
	+ '%s class "%s" must define an ID property.',
	+ __CLASS__,
	+ get_class($this)));
	+ }
	+
	+ if (!is_int($const)) {
	+ throw new Exception(
	+ pht(
	+ '%s class "%s" has an invalid ID property. '.
	+ 'ID must be an integer.',
	+ __CLASS__,
	+ get_class($this)));
	+ }
	+
	+ return $const;
	+ }
	+
	+ public abstract function getLintName();
	+
	+ public function getLintSeverity() {
	+ return ArcanistLintSeverity::SEVERITY_ERROR;
	+ }
	+
	+ public abstract function process(XHPASTNode $root);
	+
	+ public final function setLinter(ArcanistXHPASTLinter $linter) {
	+ $this->linter = $linter;
	+ }
	+
	+ protected final function raiseLintAtToken(
	+ XHPASTToken $token,
	+ $desc,
	+ $replace = null) {
	+
	+ $method = new ReflectionMethod($this->linter, 'raiseLintAtToken');
	+ $method->setAccessible(true);
	+ return $method->invoke($this, $token, $this->getID(), $desc, $replace);
	+ }
	+
	+ protected final function raiseLintAtNode(
	+ XHPASTNode $node,
	+ $code,
	+ $desc,
	+ $replace = null) {
	+
	+ $method = new ReflectionMethod($this->linter, 'raiseLintAtNode');
	+ $method->setAccessible(true);
	+ return $method->invoke($this, $node, $this->getID(), $desc, $replace);
	+ }
	+
	+}
	diff --git a/src/lint/linter/xhpast/rules/ArcanistElseIfUsageXHPASTLinterRule.php b/src/lint/linter/xhpast/rules/ArcanistElseIfUsageXHPASTLinterRule.php
	new file mode 100644
	--- /dev/null
	+++ b/src/lint/linter/xhpast/rules/ArcanistElseIfUsageXHPASTLinterRule.php
	@@ -0,0 +1,27 @@
	+<?php
	+
	+final class ArcanistElseIfUsageXHPASTLinterRule
	+ extends ArcanistXHPASTLinterRule {
	+
	+ const ID = 42;
	+
	+ public function getLintName() {
	+ return pht('ElseIf Usage');
	+ }
	+
	+ public function getLintSeverity() {
	+ return ArcanistLintSeverity::SEVERITY_ADVICE;
	+ }
	+
	+ public function process(XHPASTNode $root) {
	+ $tokens = $root->selectTokensOfType('T_ELSEIF');
	+
	+ foreach ($tokens as $token) {
	+ $this->raiseLintAtToken(
	+ $token,
	+ pht('Usage of `else if` is preferred over `elseif`.'),
	+ 'else if');
	+ }
	+ }
	+
	+}
	diff --git a/src/lint/linter/xhpast/rules/ArcanistEmptyBlockStatementXHPASTLinterRule.php b/src/lint/linter/xhpast/rules/ArcanistEmptyBlockStatementXHPASTLinterRule.php
	new file mode 100644
	--- /dev/null
	+++ b/src/lint/linter/xhpast/rules/ArcanistEmptyBlockStatementXHPASTLinterRule.php
	@@ -0,0 +1,51 @@
	+<?php
	+
	+final class ArcanistEmptyBlockStatementXHPASTLinterRule
	+ extends ArcanistXHPASTLinterRule {
	+
	+ const ID = 47;
	+
	+ public function getLintName() {
	+ return pht('Empty Block Statement');
	+ }
	+
	+ public function getLintSeverity() {
	+ return ArcanistLintSeverity::SEVERITY_ADVICE;
	+ }
	+
	+ public function process(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,
	+ pht(
	+ "Braces for an empty block statement shouldn't ".
	+ "contain only whitespace."),
	+ '{}');
	+ }
	+ }
	+ }
	+
	+}
	diff --git a/src/lint/linter/xhpast/rules/ArcanistLanguageConstructParenthesesXHPASTLinterRule.php b/src/lint/linter/xhpast/rules/ArcanistLanguageConstructParenthesesXHPASTLinterRule.php
	new file mode 100644
	--- /dev/null
	+++ b/src/lint/linter/xhpast/rules/ArcanistLanguageConstructParenthesesXHPASTLinterRule.php
	@@ -0,0 +1,45 @@
	+<?php
	+
	+final class ArcanistLanguageConstructParenthesesXHPASTLinterRule
	+ extends ArcanistXHPASTLinterRule {
	+
	+ const ID = 46;
	+
	+ public function getLintName() {
	+ return pht('Language Construct Parentheses');
	+ }
	+
	+ public function getLintSeverity() {
	+ return ArcanistLintSeverity::SEVERITY_WARNING;
	+ }
	+
	+ public function process(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,
	+ pht('Language constructs do not require parentheses.'),
	+ $replace);
	+ }
	+ }
	+ }
	+
	+}
	diff --git a/src/lint/linter/xhpast/rules/ArcanistNamingConventionXHPASTLinterRule.php b/src/lint/linter/xhpast/rules/ArcanistNamingConventionXHPASTLinterRule.php
	new file mode 100644
	--- /dev/null
	+++ b/src/lint/linter/xhpast/rules/ArcanistNamingConventionXHPASTLinterRule.php
	@@ -0,0 +1,265 @@
	+<?php
	+
	+final class ArcanistNamingConventionXHPASTLinterRule
	+ extends ArcanistXHPASTLinterRule {
	+
	+ const ID = 9;
	+
	+ public function getLintName() {
	+ return pht('Naming Conventions');
	+ }
	+
	+ public function getLintSeverity() {
	+ return ArcanistLintSeverity::SEVERITY_WARNING;
	+ }
	+
	+ public function process(XHPASTNode $root) {
	+ // We're going to build up a list of <type, name, token, error> 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
	+ : '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
	+ : '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
	+ : '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
	+ : '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
	+ : '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
	+ : '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
	+ : 'Follow naming conventions: class properties should be named '.
	+ 'using lowerCamelCase.',
	+ );
	+ }
	+ }
	+
	+ $superglobal_map = array_fill_keys(
	+ $this->getSuperGlobalNames(),
	+ true);
	+
	+
	+ $fdefs = $root->selectDescendantsOfType('n_FUNCTION_DECLARATION');
	+ $mdefs = $root->selectDescendantsOfType('n_METHOD_DECLARATION');
	+ $defs = $fdefs->add($mdefs);
	+
	+ 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);
	+ $rhs_vars = $def->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
	+ : 'Follow naming conventions: variables should be named using '.
	+ 'lowercase_with_underscores.',
	+ );
	+ }
	+ }
	+
	+ // 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);
	+ }
	+ }
	+ }
	+
	+ public function getSuperGlobalNames() {
	+ return array(
	+ '$GLOBALS',
	+ '$_SERVER',
	+ '$_GET',
	+ '$_POST',
	+ '$_FILES',
	+ '$_COOKIE',
	+ '$_SESSION',
	+ '$_REQUEST',
	+ '$_ENV',
	+ );
	+ }
	+
	+}
	diff --git a/src/lint/linter/xhpast/rules/ArcanistPlusOperatorOnStringsXHPASTLinterRule.php b/src/lint/linter/xhpast/rules/ArcanistPlusOperatorOnStringsXHPASTLinterRule.php
	new file mode 100644
	--- /dev/null
	+++ b/src/lint/linter/xhpast/rules/ArcanistPlusOperatorOnStringsXHPASTLinterRule.php
	@@ -0,0 +1,32 @@
	+<?php
	+
	+final class ArcanistPlusOperatorOnStringsXHPASTLinterRule
	+ extends ArcanistXHPASTLinterRule {
	+
	+ const ID = 21;
	+
	+ public function getLintName() {
	+ return pht('Not String Concatenation');
	+ }
	+
	+ public function process(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,
	+ "In PHP, '.' is the string concatenation operator, not '+'. This ".
	+ "expression uses '+' with a string literal as an operand.");
	+ }
	+ }
	+ }
	+
	+}
	diff --git a/src/lint/linter/xhpast/rules/ArcanistSemicolonSpacingXHPASTLinterRule.php b/src/lint/linter/xhpast/rules/ArcanistSemicolonSpacingXHPASTLinterRule.php
	new file mode 100644
	--- /dev/null
	+++ b/src/lint/linter/xhpast/rules/ArcanistSemicolonSpacingXHPASTLinterRule.php
	@@ -0,0 +1,31 @@
	+<?php
	+
	+final class ArcanistSemicolonSpacingXHPASTLinterRule
	+ extends ArcanistXHPASTLinterRule {
	+
	+ const ID = 43;
	+
	+ public function getLintName() {
	+ return pht('Semicolon Spacing');
	+ }
	+
	+ public function getLintSeverity() {
	+ return ArcanistLintSeverity::SEVERITY_ADVICE;
	+ }
	+
	+ public function process(XHPASTNode $root) {
	+ $tokens = $root->selectTokensOfType(';');
	+
	+ foreach ($tokens as $token) {
	+ $prev = $token->getPrevToken();
	+
	+ if ($prev->isAnyWhitespace()) {
	+ $this->raiseLintAtToken(
	+ $prev,
	+ pht('Space found before semicolon.'),
	+ '');
	+ }
	+ }
	+ }
	+
	+}
	diff --git a/src/lint/linter/xhpast/rules/ArcanistTautologicalExpressionXHPASTLinterRule.php b/src/lint/linter/xhpast/rules/ArcanistTautologicalExpressionXHPASTLinterRule.php
	new file mode 100644
	--- /dev/null
	+++ b/src/lint/linter/xhpast/rules/ArcanistTautologicalExpressionXHPASTLinterRule.php
	@@ -0,0 +1,68 @@
	+<?php
	+
	+final class ArcanistTautologicalExpressionXHPASTLinterRule
	+ extends ArcanistXHPASTLinterRule {
	+
	+ const ID = 20;
	+
	+ public function getLintName() {
	+ return pht('Tautological Expression');
	+ }
	+
	+ public function process(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,
	+ '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,
	+ 'The logical value of this expression is static. Did you forget '.
	+ 'to remove some debugging code?');
	+ }
	+ }
	+ }
	+ }
	+
	+}

File Metadata

Mime Type: text/plain
Expires: Mar 22 2025, 11:59 PM (4 w, 3 d ago)
Storage Engine: amazon-s3
Storage Format: Encrypted (AES-256-CBC)
Storage Handle: phabricator/secure/j4/fg/kvf2p5kvdcxk6udq
Default Alt Text: D10541.id25686.diff (123 KB)

D10541.id25686.diffNo OneTemporaryActions

D10541.id25686.diffView Options

File Metadata

Event Timeline

D10541.id25686.diff
No OneTemporary
Actions

D10541.id25686.diff
View Options