2024-07-13 18:49:39 +02:00
|
|
|
<?xml version="1.0"?>
|
|
|
|
<psalm
|
|
|
|
xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"
|
|
|
|
xmlns="https://getpsalm.org/schema/config"
|
|
|
|
xsi:schemaLocation="https://getpsalm.org/schema/config vendor/vimeo/psalm/config.xsd"
|
|
|
|
errorLevel="1"
|
|
|
|
resolveFromConfigFile="true"
|
|
|
|
findUnusedBaselineEntry="true"
|
|
|
|
findUnusedCode="true"
|
|
|
|
findUnusedVariablesAndParams="true"
|
2024-09-30 19:37:29 +02:00
|
|
|
reportMixedIssues="false"
|
2024-07-13 18:49:39 +02:00
|
|
|
>
|
|
|
|
<issueHandlers>
|
2024-07-13 21:37:20 +02:00
|
|
|
<!--
|
2024-09-30 19:37:29 +02:00
|
|
|
Psalm doesn't recognize some variables always being set because of prior validation.
|
2024-07-13 21:37:20 +02:00
|
|
|
-->
|
2024-09-30 19:37:29 +02:00
|
|
|
<PossiblyNullReference>
|
2024-07-13 21:37:20 +02:00
|
|
|
<errorLevel type="suppress">
|
2024-09-30 19:37:29 +02:00
|
|
|
<file name="src/Console/UpdateFormatsCommand.php"/>
|
2024-07-13 21:37:20 +02:00
|
|
|
</errorLevel>
|
2024-09-30 19:37:29 +02:00
|
|
|
</PossiblyNullReference>
|
|
|
|
<!--
|
|
|
|
DBAL entities require getter/setter methods even if they are never called directly.
|
|
|
|
-->
|
2024-07-13 21:37:20 +02:00
|
|
|
<PossiblyUnusedMethod errorLevel="suppress"/>
|
|
|
|
<PossiblyUnusedReturnValue errorLevel="suppress"/>
|
2024-09-30 19:37:29 +02:00
|
|
|
<!--
|
|
|
|
Some properties are not set in the constructor and hence checked for initialization.
|
|
|
|
-->
|
2024-07-13 21:37:20 +02:00
|
|
|
<PropertyNotSetInConstructor errorLevel="suppress"/>
|
|
|
|
<RedundantPropertyInitializationCheck errorLevel="suppress"/>
|
2024-09-30 19:37:29 +02:00
|
|
|
<!--
|
|
|
|
We deliberately want to evaluate empty strings as FALSE in those files.
|
|
|
|
-->
|
|
|
|
<RiskyTruthyFalsyComparison>
|
|
|
|
<errorLevel type="suppress">
|
|
|
|
<file name="src/Console/AddRecordCommand.php"/>
|
|
|
|
<file name="src/Console/AddSetCommand.php"/>
|
|
|
|
</errorLevel>
|
|
|
|
</RiskyTruthyFalsyComparison>
|
|
|
|
<!--
|
|
|
|
Those classes are dynamically used depending on the given OAI verb.
|
|
|
|
@see src/Middleware/Dispatcher.php:95
|
|
|
|
-->
|
2024-07-13 21:37:20 +02:00
|
|
|
<UnusedClass>
|
|
|
|
<errorLevel type="suppress">
|
|
|
|
<referencedClass name="OCC\OaiPmh2\Middleware\GetRecord"/>
|
|
|
|
<referencedClass name="OCC\OaiPmh2\Middleware\Identify"/>
|
|
|
|
<referencedClass name="OCC\OaiPmh2\Middleware\ListIdentifiers"/>
|
|
|
|
<referencedClass name="OCC\OaiPmh2\Middleware\ListMetadataFormats"/>
|
|
|
|
<referencedClass name="OCC\OaiPmh2\Middleware\ListRecords"/>
|
|
|
|
<referencedClass name="OCC\OaiPmh2\Middleware\ListSets"/>
|
|
|
|
</errorLevel>
|
|
|
|
</UnusedClass>
|
2024-07-13 18:49:39 +02:00
|
|
|
</issueHandlers>
|
|
|
|
<projectFiles>
|
2024-07-13 21:37:20 +02:00
|
|
|
<file name="bin/cli"/>
|
|
|
|
<directory name="public"/>
|
2024-07-13 18:49:39 +02:00
|
|
|
<directory name="src"/>
|
|
|
|
<ignoreFiles>
|
|
|
|
<directory name="vendor"/>
|
|
|
|
</ignoreFiles>
|
|
|
|
</projectFiles>
|
|
|
|
</psalm>
|