includes:
    - vendor/nunomaduro/larastan/extension.neon
    - vendor/thecodingmachine/phpstan-safe-rule/phpstan-safe-rule.neon

parameters:
    paths:
        - app
        - database/factories
        - database/seeders
        - routes

    inferPrivatePropertyTypeFromConstructor: true

    excludePaths:
        - */app/Domains/Vault/ManageCalendar/Web/ViewHelpers/VaultCalendarIndexViewHelper.php

    level: 5
    ignoreErrors:
        # Global ignore of VCard properties access
        - '#Access to an undefined property Sabre\\VObject\\Component\\VCard::\$.*\.#'

        # Specific column loaded with DB::raw
        - message: '#Access to an undefined property App\\Models\\Post::\$year\.#'
          path: */app/Domains/Vault/ManageJournals/Web/ViewHelpers/JournalShowViewHelper.php

        # unsearchable scout global method
        - message: '#Call to an undefined method Illuminate\\Database\\Eloquent\\Relations\\HasMany<App\\Models\\Note>::unsearchable\(\)\.#'
          path: */app/Models/Contact.php
        - message: '#Call to an undefined method Illuminate\\Database\\Eloquent\\Relations\\HasMany<App\\Models\\Note>::unsearchable\(\)\.#'
          path: */app/Models/Vault.php
        - message: '#Call to an undefined method Illuminate\\Database\\Eloquent\\Relations\\HasMany<App\\Models\\Contact>::unsearchable\(\)\.#'
          path: */app/Models/Vault.php

        # larastan false positive with Collection::random
        - message: '#Parameter \#1 \$number of method Illuminate\\Support\\Collection<int,.*>::random\(\) expects .*, Closure\(Illuminate\\Support\\Collection\): int.* given\.#'
          path: */app/Domains/Vault/ManageVault/Web/ViewHelpers/VaultIndexViewHelper.php

        # larastan needs to manage ->pivot properties
        - '#Access to an undefined property App\\Models\\[^:]*::\$pivot\.#'

        # Attributes
        - message: '#Access to an undefined property App\\Models\\AddressBookSubscription::\$isWayPush\.#'
          path: */app/Domains/Contact/DavClient/Services/Utils/AddressBookSynchronizer.php
        - message: '#Access to an undefined property App\\Models\\AddressBookSubscription::\$isWayGet\.#'
          path: */app/Domains/Contact/DavClient/Services/Utils/AddressBookSynchronizer.php

        - message: '#Access to an undefined property App\\Logging\\Loggable::\$id\.#'
          path: */app/Logging/LoggingHandler.php