2017-01-27 07:23:12 +01:00
|
|
|
<?php
|
2021-12-15 04:58:32 +01:00
|
|
|
|
2017-01-27 07:23:12 +01:00
|
|
|
namespace Psalm\Issue;
|
|
|
|
|
2021-12-03 20:11:20 +01:00
|
|
|
use Psalm\CodeLocation;
|
|
|
|
|
2019-01-14 07:27:51 +01:00
|
|
|
class PropertyNotSetInConstructor extends PropertyIssue
|
2017-01-27 07:23:12 +01:00
|
|
|
{
|
2020-09-20 18:54:46 +02:00
|
|
|
public const ERROR_LEVEL = 2;
|
|
|
|
public const SHORTCODE = 74;
|
2020-09-11 04:44:35 +02:00
|
|
|
|
|
|
|
public function __construct(
|
|
|
|
string $message,
|
2021-12-03 20:11:20 +01:00
|
|
|
CodeLocation $code_location,
|
2020-09-11 04:44:35 +02:00
|
|
|
string $property_id
|
|
|
|
) {
|
|
|
|
parent::__construct($message, $code_location, $property_id);
|
|
|
|
$this->dupe_key = $property_id;
|
|
|
|
}
|
2017-01-27 07:23:12 +01:00
|
|
|
}
|