src/Psalm/Config/ErrorLevelFileFilter.php 1 location
|
@@ 28-36 (lines=9) @@
|
25 |
|
) { |
26 |
|
$filter = parent::loadFromXMLElement($e, $base_dir, $inclusive); |
27 |
|
|
28 |
|
if (isset($e['type'])) { |
29 |
|
$filter->error_level = (string) $e['type']; |
30 |
|
|
31 |
|
if (!in_array($filter->error_level, \Psalm\Config::$ERROR_LEVELS, true)) { |
32 |
|
throw new \Psalm\Exception\ConfigException('Unexpected error level ' . $filter->error_level); |
33 |
|
} |
34 |
|
} else { |
35 |
|
throw new \Psalm\Exception\ConfigException('<type> element expects a level'); |
36 |
|
} |
37 |
|
|
38 |
|
return $filter; |
39 |
|
} |
src/Psalm/Config/IssueHandler.php 1 location
|
@@ 36-42 (lines=7) @@
|
33 |
|
{ |
34 |
|
$handler = new self(); |
35 |
|
|
36 |
|
if (isset($e['errorLevel'])) { |
37 |
|
$handler->error_level = (string) $e['errorLevel']; |
38 |
|
|
39 |
|
if (!in_array($handler->error_level, \Psalm\Config::$ERROR_LEVELS, true)) { |
40 |
|
throw new \Psalm\Exception\ConfigException('Unexpected error level ' . $handler->error_level); |
41 |
|
} |
42 |
|
} |
43 |
|
|
44 |
|
/** @var \SimpleXMLElement $error_level */ |
45 |
|
foreach ($e->errorLevel as $error_level) { |