phpstan.neon

parameters:
	level: 8

	paths:
		- src

	excludePaths:
		- src/compatibility.php

	fileExtensions:
		- php
		- phtml

	ignoreErrors:
		# $refPath is populated via @param-out by getRefTable() — PHPStan doesn't track this
		-
			identifier: variable.undefined
			message: '#^Undefined variable: \$refPath$#'
			count: 1
			path: src/Database/Table/Selection.php

		# Readonly lazy-loading via __get magic (Reflection::$tables, Table::$columns/$indexes/$primaryKey/$foreignKeys)
		-
			identifier: property.uninitializedReadonly
			count: 2
			path: src/Database/Reflection.php
		-
			identifier: property.uninitializedReadonly
			count: 8
			path: src/Database/Reflection/Table.php
		-
			identifier: unset.readOnlyProperty
			count: 1
			path: src/Database/Reflection.php
		-
			identifier: unset.readOnlyProperty
			count: 4
			path: src/Database/Reflection/Table.php
		-
			identifier: property.readOnlyAssignNotInConstructor
			count: 1
			path: src/Database/Reflection.php
		-
			identifier: property.readOnlyAssignNotInConstructor
			count: 4
			path: src/Database/Reflection/Table.php

		# Generic conflicts from deprecated IRowContainer/IRow extending Traversable without type params
		-
			identifier: generics.interfaceConflict
			count: 2
			path: src/Database/Result.php
		-
			identifier: generics.interfaceConflict
			count: 3
			path: src/Database/Row.php
		-
			identifier: generics.interfaceConflict
			count: 2
			path: src/Database/Table/GroupedSelection.php
		-
			identifier: generics.interfaceConflict
			count: 1
			path: src/Database/Table/ActiveRow.php
		-
			identifier: generics.interfaceConflict
			count: 2
			path: src/Database/Table/Selection.php

		# Iterator/ArrayAccess covariance/contravariance (PHP interface limitation): current() may return false, offset methods take int|string
		-
			identifier: method.childReturnType
			message: '#::current\(\) should be covariant#'
			count: 1
			path: src/Database/Result.php
		-
			identifier: method.childReturnType
			message: '#::current\(\) should be covariant#'
			count: 1
			path: src/Database/Table/Selection.php
		-
			identifier: method.childParameterType
			message: '#\$key \(int\|string\) of method Nette\\Database\\Row::offset#'
			count: 4
			path: src/Database/Row.php
		-
			identifier: method.childParameterType
			message: '#::offsetSet\(\) should be contravariant#'
			count: 1
			path: src/Database/Table/Selection.php

		# Intentional new static() in exception hierarchy
		-
			identifier: new.static
			message: '#^Unsafe usage of new static\(\)\.$#'
			count: 1
			path: src/Database/DriverException.php

		# DI extension: $this->config is array|object from Nette Schema
		-
			identifier: foreach.nonIterable
			count: 2
			path: src/Bridges/DatabaseDI/DatabaseExtension.php

		# PDOException::$queryString is set by PDO engine, not formally declared
		-
			identifier: property.notFound
			message: '#PDOException::\$queryString#'
			count: 1
			path: src/Bridges/DatabaseTracy/ConnectionPanel.php

		# Dynamic callable construction: "is_$type"($value) where $type is always valid
		-
			identifier: callable.nonCallable
			count: 1
			path: src/Database/SqlPreprocessor.php

		# Defensive runtime checks unreachable per @param type
		-
			identifier: instanceof.alwaysTrue
			message: '#Nette\\Database\\Row#'
			count: 1
			path: src/Database/SqlPreprocessor.php
		-
			identifier: booleanAnd.alwaysFalse
			count: 1
			path: src/Database/SqlPreprocessor.php

		# getPrimary() may return string[] for composite keys, but here it is always a string
		-
			identifier: array.invalidKey
			message: '#array<string>\|string#'
			count: 1
			path: src/Database/Table/ActiveRow.php

		# fetchAssoc(): Arrays::associate() returns array|stdClass, but never stdClass for a string path
		-
			identifier: return.type
			message: '#fetchAssoc\(\) should return array<mixed>\|null but returns array<mixed>\|stdClass#'
			count: 1
			path: src/Database/Result.php

		# structure array shape is built dynamically and re-loaded from cache
		-
			identifier: return.type
			count: 2
			path: src/Database/Structure.php

		# Internal SQL is dynamically assembled from trusted components, not literal-string
		-
			identifier: argument.type
			message: '#expects literal-string, [\w-]+ given#'
			count: 5
			path: src/Database/Table/Selection.php
		-
			identifier: argument.type
			message: '#expects literal-string, [\w-]+ given#'
			count: 1
			path: src/Database/Table/GroupedSelection.php

		# parseColumnType(): regex match offsets guaranteed by the pattern
		-
			identifier: offsetAccess.notFound
			message: '#^Offset \d might not exist on array#'
			count: 4
			path: src/Database/Helpers.php
		# toPairs(): offset access on array|Row|ActiveRow, all of them support it
		-
			identifier: offsetAccess.notFound
			message: '#^Offset int\|string might not exist#'
			count: 3
			path: src/Database/Helpers.php

		# Defensive checks that are always true/false per PHPStan type narrowing
		-
			identifier: empty.offset
			count: 1
			path: src/Database/Helpers.php

		# Latte-generated n:attr idiom: ($tmp = expr) === null ? '' : ...
		-
			identifier: identical.alwaysFalse
			count: 3
			path: src/Bridges/DatabaseTracy/dist/panel.phtml
		-
			identifier: identical.alwaysFalse
			count: 1
			path: src/Bridges/DatabaseTracy/dist/tab.phtml