Definite Local Variable Assignment

Each local variable must have a definitely assigned value when any access of its value occurs. If accessed before its value is initialized, a run-time error is generated.

Similarly, every blank final variable must be assigned at most once; it must be definitely unassigned when an assignment to it occurs otherwise a run-time error occurs.