/*
* Example of definite assignment in Java
* Few other languages have anythign similar.
* @author gtowell
* created July 28, 2021
 */

public class Definite {
    public static void main(String[] args) {
        int a;
        int j=5;
        if (j < 4)
            a = 6;
        a += 7; // the compile complains at this line because there is a 
        // possible branch of the program in whch a might not be initialized 
        // when this line is reached. 
    }
}