php-uuid/psalm.xml at c935fbb0d96396d3508abf79cbcf3460b532cc9d - php-uuid - Mediatoday GIT repository

contrib/php-uuid

mirror of https://github.com/ramsey/uuid.git synced 2026-06-14 15:56:48 +03:00

Files

T

Marco Pivetta c935fbb0d9 Added minimal static analysis test suite to ensure purity/immutability of UUID API

This covers most of the commonly used `Uuid` and `UuidInterface` API, and allows us
to pass around `UuidInterface` references as if they were pure.

Note that this only verifies the *contract* of a `UuidInterface`: it is still very
much possible to write mutable `UuidInterface` implementations (and `Uuid` itself
has such an edge-case, allowing for replacement of the static `UuidFactory` reference),
but if you really do mutate UUIDs at runtime, then your code is very much hurting your
project, and you should get rid of that detail.

2020-01-18 12:13:55 -06:00

13 lines

376 B

XML

Raw Blame History

 <?xml version="1.0"?>
 <psalm
     totallyTyped="true"
     resolveFromConfigFile="true"
     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"
 >
     <projectFiles>
         <directory name="static-analysis" />
     </projectFiles>
 </psalm>