// Lab27.java  (c) 2012 adolfo@di-mare.com

/**
    @(#)Lab27.java 2012
    adolfo@di-mare.com
    Muestra algunos límites de la aritmética entera.

    @author Adolfo Di Mare <adolfo@di-mare.com>
*/

import junit.framework.*;

/** Prueba algunos límites de variables enteras en Java. */
public class Lab27 extends TestCase {

    /** Calcula el valor {@code 2^n}. */
    public static int dosAla( int n ) {
        int pow=1;
        for (int i=0;i<n;++i) { pow *= 2; }
        return pow;
    }

    /** Prueba algunos límites de variables de tipo {@code int} en Java. */
    public void test_dosAla() { // dosAla(n) == 2^n
        assertTrue(  dosAla(0) == 1 && dosAla(3) == 8 ); // Ok
        assertTrue(  dosAla(30) ==   1073741824 );

        assertTrue(  dosAla(31) == 2*1073741824 ); // Ok
        assertTrue(  dosAla(31) ==  -2147483648 ); // ??????  [[1]]

        assertTrue( 2*dosAla(30) == -2147483648 );         // !!!!!!
        assertFalse( dosAla(30)+dosAla(30) > dosAla(30) ); // ??????  [[2]]
    }

}

// EOF: Lab27.java