Namespace PHPStan\Analyser

Object of this class is one of the parameters of NodeScopeResolver::processStmtNodes().

The interface CollectedDataEmitter can be typehinted in 2nd parameter of Rule::processNode():

DependencyTracker for extensions that get no Scope because they describe a class rather than analyse code - class reflection extensions adding magic methods and properties, for example. Inject it into the extension's constructor.

The interface DependencyTracker can be typehinted in 2nd parameter of Rule::processNode() and Collector::processNode(), and in the Scope parameter of dynamic return type extensions, dynamic throw type extensions, expression type resolver extensions, parameter out type extensions, parameter closure type extensions, parameter closure this extensions and type-specifying extensions:

This is the extension interface to implement if you want to ignore errors based on the node and scope.

The interface NodeCallbackInvoker can be typehinted in 2nd parameter of Rule::processNode():

Represents the state of the analyser at a specific position in the AST.