public interface FinalVariableAnalyzer.VariableNotFinalCallback
| Type Params | Return Type | Name and description | 
|---|---|---|
|  | public void | variableNotAlwaysInitialized(VariableExpression var)Callback used whenever a variable is declared as final, but can remain in an uninitialized state | 
|  | 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) | 
Callback used whenever a variable is declared as final, but can remain in an uninitialized state
var -  the variable detected as potentially uninitializedCallback called whenever an assignment transforms an effectively final variable into a non-final variable (aka, breaks the "final" modifier contract)
var -   the variable detected as not finalbexp -  the expression responsible for the contract to be broken