typecheck/tests/IsPositive.java


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

class IsPositive{
    public static void main(String[] a){
        System.out.println(new Positive().isPos(10));
    }
}

class Positive {
    public bool isPos(int num){
        bool positive ;

        if (0 < num)
            positive = true ;
        else
            positive = false ;
        return positive ;
    }
}