website/src/developing-extensions/core-concepts.md
The way analysed source code is represented in the static analyser so that it can be queried for useful information. Learn more »
The Scope object can be used to get more information about the code, like types of variables, or current file and namespace. Learn more »
PHPStan's type system is a collection of classes implementing the common PHPStan\Type\Type interface to inform the analyser about relationships between types, and their behaviour. Learn more »
Many methods in PHPStan do not return a two-state boolean, but a three-state PHPStan\TrinaryLogic object. Learn more »
PHPStan has its own reflection layer for asking about functions, classes, properties, methods, and constants. Learn more »
Dependency injection controls the way how extension objects are constructed for usage by PHPStan. Learn more »