Interface FinalVariableAnalyzer.VariableNotFinalCallback

  • Enclosing class:

    public static interface FinalVariableAnalyzer.VariableNotFinalCallback
    • Method Detail

      • variableNotFinal

        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)
        var - the variable detected as not final
        bexp - the expression responsible for the contract to be broken
      • variableNotAlwaysInitialized

        void variableNotAlwaysInitialized​(VariableExpression var)
        Callback used whenever a variable is declared as final, but can remain in an uninitialized state
        var - the variable detected as potentially uninitialized