[Java] Interface FinalVariableAnalyzer.VariableNotFinalCallback

public interface FinalVariableAnalyzer.VariableNotFinalCallback

Method Detail

public void variableNotAlwaysInitialized(VariableExpression var)

Callback used whenever a variable is declared as final, but can remain in an uninitialized state

Parameters:

var - the variable detected as potentially uninitialized

public void variableNotFinal(Variable var, Expression bexp)

Callback called whenever an assignment transforms an effectively final variable into a non final variable (aka, breaks the "final" modifier contract)

Parameters:

var - the variable detected as not final

bexp - the expression responsible for the contract to be broken