Package com.puppycrawl.tools.checkstyle.checks.coding

Class FinalLocalVariableCheck.ThrowingBranch

java.lang.Object

com.puppycrawl.tools.checkstyle.checks.coding.FinalLocalVariableCheck.ThrowingBranch

Enclosing class:

FinalLocalVariableCheck

private static final class FinalLocalVariableCheck.ThrowingBranch
extends Object

Assignment state for a conditional branch that cannot complete normally.

Field Summary

Fields

Modifier and Type	Field	Description
private final Map<FinalLocalVariableCheck.FinalVariableCandidate,FinalLocalVariableCheck.ScopeData>	unassigned	Candidates that were unassigned before entering the branch, with their scopes.

Constructor Summary

Constructors

Modifier	Constructor	Description
private	ThrowingBranch(Deque<FinalLocalVariableCheck.ScopeData> scopes)	Captures the state before entering a throwing branch.

Method Summary

Modifier and Type	Method	Description
private static boolean	isThrowingBranch(DetailAST ast)	Checks for a block ending in a throw outside exception handlers.
private void	restore()	Restores assignment state on the path that does not enter the branch.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Details

unassigned

private final Map<FinalLocalVariableCheck.FinalVariableCandidate,FinalLocalVariableCheck.ScopeData> unassigned

Candidates that were unassigned before entering the branch, with their scopes.

Constructor Details

ThrowingBranch

private ThrowingBranch(Deque<FinalLocalVariableCheck.ScopeData> scopes)

Captures the state before entering a throwing branch.

Parameters:

scopes - enclosing scopes

Method Details

isThrowingBranch

private static boolean isThrowingBranch(DetailAST ast)

Checks for a block ending in a throw outside exception handlers. Enclosing try statements are excluded because a handler can resume execution.

Parameters:

ast - block to inspect

Returns:

whether assignments in the block cannot reach following statements

restore

private void restore()

Restores assignment state on the path that does not enter the branch.