typecheck/tests/RetrieveInteger.java


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17

class RetrieveInteger{
    public static void main(String[] a){
        GetInteger i ;
        int j ;

        i = new GetInteger() ;
        j = i.GetInteger() ;

        System.out.println(j) ;
    }
}

class GetInteger {
    public int Get(){
        return 4 ;
    }
}