source: java2python/core/src/test/casts/testcode/Casts.java

package testcode;

import java.util.Collections;
import java.util.HashMap;
import java.util.Map;
import java.util.Set;

import org.eclipse.jdt.annotation.NonNull;

/**
 * Tests of casting. These are tricky as java has quite some machinery, like
 * widening narrowing truncating etc.
 */
public class Casts {

        static public void main(String[] args) {
                final float x = 3.2f;
                System.out.println((int) (x + 1));
                System.out.println((double) 1);
                System.out.println((char) 65);
                System.out.println((int) '0');
                System.out.println((byte) 12);
                System.out.println((byte) -12);
                System.out.println((byte) 128);
                System.out.println((byte) -128);
                System.out.println((byte) -129);

                // the implementation is still partial and
                // therefore the tests are too.

                int val = 3;
                char letter = 'C';
                byte b = 80;
                System.out.println(String.valueOf(val));
                System.out.println(String.valueOf(letter));
                System.out.println(((Byte) b).toString());
                System.out.println(String.valueOf(b));

                float[][] values = new float[3][3];
                values[1][1] = 0;
                Float f = (values[1][1]);
                System.out.println(f.toString());
                testDictKeys();
        }

        static void testDictKeys() {
                final @NonNull Map<@NonNull String, @NonNull String> map = new HashMap<>();
                map.put("a", "1");
                map.put("b", "2");

                final @NonNull Set<@NonNull String> keys = map.keySet();
                System.out.println(keys.size());
                System.out.println(Collections.unmodifiableSet(keys).size());

                keys.remove("a");
                System.out.println(map.size());

        }

}