Assertion: variable | /r/HasProperty | unassigned before the assignment
Facets:
value: definitely
type: DEGREE
Source sentences:
text: In order to do this, a Java compiler runs a flow analysis to ensure that, for every assignment to a blank final variable, the variable is definitely unassigned before the assignment; otherwise a compile-time error occurs.