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