2019-01-07 14:38:56 +01:00
|
|
|
|
<?php
|
|
|
|
|
namespace Psalm\Example\Plugin;
|
|
|
|
|
|
|
|
|
|
use PhpParser;
|
|
|
|
|
use Psalm\Checker;
|
|
|
|
|
use Psalm\Codebase;
|
|
|
|
|
use Psalm\CodeLocation;
|
|
|
|
|
use Psalm\Context;
|
|
|
|
|
use Psalm\FileManipulation;
|
|
|
|
|
use Psalm\Plugin\Hook\AfterExpressionAnalysisInterface;
|
|
|
|
|
use Psalm\StatementsSource;
|
|
|
|
|
|
|
|
|
|
/**
|
|
|
|
|
* Prevents any assignment to a float value
|
|
|
|
|
*/
|
|
|
|
|
class PreventFloatAssignmentChecker implements AfterExpressionAnalysisInterface
|
|
|
|
|
{
|
|
|
|
|
/**
|
|
|
|
|
* Called after an expression has been checked
|
|
|
|
|
*
|
|
|
|
|
* @param FileManipulation[] $file_replacements
|
|
|
|
|
*
|
|
|
|
|
* @return null|false
|
|
|
|
|
*/
|
|
|
|
|
public static function afterExpressionAnalysis(
|
|
|
|
|
PhpParser\Node\Expr $expr,
|
|
|
|
|
Context $context,
|
|
|
|
|
StatementsSource $statements_source,
|
|
|
|
|
Codebase $codebase,
|
|
|
|
|
array &$file_replacements = []
|
2020-09-13 22:39:06 +02:00
|
|
|
|
): ?bool {
|
2019-01-07 14:38:56 +01:00
|
|
|
|
if ($expr instanceof PhpParser\Node\Expr\Assign
|
2019-11-25 17:27:53 +01:00
|
|
|
|
&& ($expr_type = $statements_source->getNodeTypeProvider()->getType($expr->expr))
|
2019-11-25 17:44:54 +01:00
|
|
|
|
&& $expr_type->hasFloat()
|
2019-01-07 14:38:56 +01:00
|
|
|
|
) {
|
|
|
|
|
if (\Psalm\IssueBuffer::accepts(
|
|
|
|
|
new NoFloatAssignment(
|
|
|
|
|
'Don’t assign to floats',
|
|
|
|
|
new CodeLocation($statements_source, $expr)
|
|
|
|
|
),
|
|
|
|
|
$statements_source->getSuppressedIssues()
|
|
|
|
|
)) {
|
|
|
|
|
// fall through
|
|
|
|
|
}
|
|
|
|
|
}
|
2020-09-13 22:39:06 +02:00
|
|
|
|
|
|
|
|
|
return null;
|
2019-01-07 14:38:56 +01:00
|
|
|
|
}
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
class NoFloatAssignment extends \Psalm\Issue\PluginIssue {
|
|
|
|
|
}
|