Class PHPStan\Analyser\StatementResult

Methods
`public`	`__construct( Scope $scope, bool $hasYield, bool $isAlwaysTerminating, StatementExitPoint[] $exitPoints, ThrowPoint[] $throwPoints, ImpurePoint[] $impurePoints, EndStatementResult[] $endStatements = [], )`	#
`public`	`getScope(): Scope`	#
`public`	`hasYield(): bool`	#
`public`	`isAlwaysTerminating(): bool`	#
`public`	`filterOutLoopExitPoints(): self`	#
`public`	`getExitPoints(): StatementExitPoint[]`	#
`public`	`getExitPointsByType(class-string<Continue_>\|class-string<Break_> $stmtClass): list<StatementExitPoint>`	#
`public`	`getExitPointsForOuterLoop(): list<StatementExitPoint>`	#
`public`	`getThrowPoints(): ThrowPoint[]`	#
`public`	`getImpurePoints(): ImpurePoint[]`	#
`public`	`getEndStatements(): EndStatementResult[]` Top-level StatementResult represents the state of the code at the end of control flow statements like If_ or TryCatch. It shows how Scope etc. looks like after If_ no matter which code branch was executed. For If_, "end statements" contain the state of the code at the end of each branch - if, elseifs, else, including the last statement node in each branch. For nested ifs, end statements try to contain the last non-control flow statement like Return_ or Throw_, instead of If_, TryCatch, or Foreach_. Top-level StatementResult represents the state of the code at the end of control flow statements like If_ or TryCatch. It shows how Scope etc. looks like after If_ no matter which code branch was executed. For If_, "end statements" contain the state of the code at the end of each branch - if, elseifs, else, including the last statement node in each branch. For nested ifs, end statements try to contain the last non-control flow statement like Return_ or Throw_, instead of If_, TryCatch, or Foreach_.	#


					
	public

__construct(
	Scope $scope,
	bool $hasYield,
	bool $isAlwaysTerminating,
	StatementExitPoint[] $exitPoints,
	ThrowPoint[] $throwPoints,
	ImpurePoint[] $impurePoints,
	EndStatementResult[] $endStatements = [],
)

#


					
	public

getScope(): Scope

#


					
	public

hasYield(): bool

#


					
	public

isAlwaysTerminating(): bool

#


					
	public

filterOutLoopExitPoints(): self

#


					
	public

getExitPoints(): StatementExitPoint[]

#


					
	public

getExitPointsByType(class-string<Continue_>|class-string<Break_> $stmtClass): list<StatementExitPoint>

#


					
	public

getExitPointsForOuterLoop(): list<StatementExitPoint>

#


					
	public

getThrowPoints(): ThrowPoint[]

#


					
	public

getImpurePoints(): ImpurePoint[]

#


					
	public

getEndStatements(): EndStatementResult[]

Top-level StatementResult represents the state of the code at the end of control flow statements like If_ or TryCatch. It shows how Scope etc. looks like after If_ no matter which code branch was executed. For If_, "end statements" contain the state of the code at the end of each branch - if, elseifs, else, including the last statement node in each branch. For nested ifs, end statements try to contain the last non-control flow statement like Return_ or Throw_, instead of If_, TryCatch, or Foreach_.

#

Namespaces

Classes

Interfaces

Exceptions

Class PHPStan\Analyser\StatementResult