Module DeadLocals

Import path

Violations_of_Best_Practice.Dead_Code.DeadLocals

Imports

SSA

Provides classes and predicates for SSA representation (Static Single Assignment form).

java

Provides all default Java QL imports.

Predicates

assigned

A local variable with a write access.

deadLocal

A dead SSA variable. Excludes parameters, and phi nodes are never dead, so only includes VariableUpdates.

expectedDead

A dead SSA variable that is expected to be dead as indicated by an assertion.

exprHasNoEffect

An expression without side-effects.

overwritten

A dead SSA variable that is overwritten by a live SSA definition.

read

A local variable with a read access.