public static interface FinalVariableAnalyzer.VariableNotFinalCallback
| Modifier and Type | Method and Description | 
|---|---|
| void | variableNotAlwaysInitialized(VariableExpression var)Callback used whenever a variable is declared as final, but can remain in an uninitialized state | 
| 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) | 
void variableNotFinal(Variable var, Expression bexp)
var - the variable detected as not finalbexp - the expression responsible for the contract to be brokenvoid variableNotAlwaysInitialized(VariableExpression var)
var - the variable detected as potentially uninitialized