source: java2python/core/src/test/java/testcode/MathCode.java

package testcode;

import java.math.BigDecimal;
import java.math.BigInteger;
import java.math.RoundingMode;
import java.security.SecureRandom;

import org.eclipse.jdt.annotation.NonNull;

/**
 * Tests static function calls and references
 */
public class MathCode {
        private final static @NonNull BigDecimal a = new BigDecimal("1.33");
        private final static @NonNull BigDecimal b = new BigDecimal("1.67");
        private static final int BITLENGTH = 16;

        /**
         * @param args the arguments of the call.
         */
        static public void main(String[] args) {
                // check that floats are correctly parsed - not as an int
                System.out
                                .println(((Float) 0f).toString().equals("0.0") ? "ok0" : "ko0");

                System.out.println(-1.0e0 == -1d ? "ok1" : "ko1");
                System.out.println(1f == 1d ? "ok2" : "ko2");
                System.out.println(1 == +1 ? "ok3" : "ko3");

                System.out.println(Math.abs(-1) == 1 ? "ok4" : "ko4");
                System.out.println(Math.abs(-1.5) == 1.5 ? "ok5" : "ko5");

                System.out.println(Math.floor(-1.5) == -2 ? "ok6" : "ko6");

                double v = Math.random();
                System.out.println(v >= 0 && v <= 1 ? "ok7" : "ko7");

                // test of casst and test of 1f (should translate to either 1. or float(1)
                // NOTE disable "remove unnecessary casts" fro the save actions!
                System.out.println(((Object) 1f) instanceof Float ? "ok8" : "ko8");

                System.out.println(a.add(b).toString().equals("3.00") ? "ok9" : "ko9");

                System.out.println(a.divide(b, 8, RoundingMode.HALF_UP).toString()
                                .equals("0.79640719") ? "ok10" : "ko10");

                // smoke test, no actual check of the resulting number
                final @NonNull BigInteger nr = new BigInteger(BITLENGTH,
                                new SecureRandom()).mod(BigInteger.valueOf(BITLENGTH));
                System.out.println("ok11");

                System.out.println(
                                BigDecimal.ZERO.compareTo(BigDecimal.ZERO) == 0 ? "ok12"
                                                : "ko12");
                System.out.println(
                                BigInteger.ZERO.compareTo(BigInteger.ZERO) == 0 ? "ok13"
                                                : "ko13");

                System.out.println(BigDecimal.TEN.divide(BigDecimal.valueOf(2)));

                System.out.println(1 / 2);
                System.out.println(1d / 2);

                System.out.println(
                                new BigDecimal("0.123456").setScale(3, RoundingMode.HALF_UP));
                System.out.println(
                                new BigDecimal("0.003456").setScale(3, RoundingMode.HALF_UP));
                System.out.println(
                                new BigDecimal("0.00456").setScale(3, RoundingMode.HALF_UP));
                System.out.println(Math.sqrt(9d));
                System.out.println(Math.sqrt(-1d));

                // python "/" would return 0.5
                System.out.println(Float.valueOf(3 / 2).toString());
                // python "/" would return -0.5, // would return -1
                // FIXME known issue #384
                //System.out.println(Float.valueOf(3 / -2).toString());
                System.out.println(Float.valueOf(3l / 2l).toString());

        }

}