phpstan.neon

includes:
  - phar://phpstan.phar/conf/bleedingEdge.neon
  - vendor/phpstan/phpstan-strict-rules/rules.neon
parameters:
  level: max
  scanFiles:
    - libs/component/runtime/resources/stubs/aliases.stub.php
    - libs/component/runtime/resources/stubs/saucer.stub.php
    - libs/component/runtime/resources/stubs/saucer-webview-events.stub.php
    - libs/component/runtime/resources/stubs/saucer-window-events.stub.php
    - libs/component/runtime/resources/stubs/kernel32.stub.php
  strictRules:
    allRules: true
  fileExtensions:
    - php
  paths:
    # Bridges
    - libs/bridge/http-bridge/src
    - libs/bridge/laravel-http-bridge/src
    - libs/bridge/psr-http-bridge/src
    - libs/bridge/symfony-http-bridge/src
    # Components
    - libs/component/cpu-info/src
    - libs/component/globals-provider/src
    - libs/component/http/src
    - libs/component/http-body-decoder/src
    - libs/component/http-static-provider/src
    - libs/component/os-info/src
    - libs/component/runtime/src
    - libs/component/weak-types/src
    # Contracts
    - libs/contracts/http-contracts/src
  excludePaths:
    - libs/component/runtime/src/Internal/Saucer/LibSaucer.php
    - libs/component/runtime/src/Internal/Win32/LibKernel32.php
  tmpDir: vendor/.cache.phpstan
  reportUnmatchedIgnoredErrors: true
  treatPhpDocTypesAsCertain: false
  ignoreErrors:
    # PHPStan does not support FFI
    - '#^Access to an undefined property FFI\\CData#'
    - '#does not accept FFI\\CData#'
    # PHPStan does not support DbC invariants
    - '#will always evaluate to true#'