tests/052-verifier-fun/src/Main.java

// Copyright 2007 The Android Open Source Project

import java.lang.reflect.Type;

/**
 * Throw a few things at the verifier, all of which are expected to pass.
 */
public class Main {
    static public void main(String[] args) {
        tryBlah(1);

        System.out.println("Zorch.");
    }

    /*
     * Make sure the verifier is handling type merge of arrays of
     * references correctly.
     */
    static Object[] arrayCheck1(int wanted) {
        String[] arrayOne;
        Integer[] arrayTwo;

        arrayOne = new String[1];
        arrayTwo = new Integer[1];

        switch (wanted) {
            case 0:     return arrayOne;
            case 1:     return arrayTwo;
            default:    return null;
        }
    }

    static Object arrayCheck1b(int wanted) {
        String[] arrayOne;
        Integer[] arrayTwo;
        int[] arrayThree;

        arrayOne = new String[1];
        arrayTwo = new Integer[1];
        arrayThree = new int[1];

        switch (wanted) {
            case 0:     return arrayOne;
            case 1:     return arrayTwo;
            case 2:     return arrayThree;
            default:    return null;
        }
    }

    static Object[] arrayCheck2(int wanted) {
        String[][] arrayOne;
        String[][] arrayTwo;
        Integer[][] arrayThree;

        arrayOne = new String[1][];
        arrayTwo = new String[1][];
        arrayThree = new Integer[1][];

        switch (wanted) {
            case 0:     return arrayOne;
            case 1:     return arrayTwo;
            case 2:     return arrayThree;
            default:    return null;
        }
    }

    static Object[] arrayCheck3(int wanted) {
        String[][] arrayTwo;
        String[][][][] arrayFour;

        arrayTwo = new String[1][];
        arrayFour = new String[1][][][];

        switch (wanted) {
            case 0:     return arrayTwo;
            case 1:     return arrayFour;
            default:    return null;
        }
    }

    /*
     * Check return type merge.
     */
    private Type[] typeTest() {
        if(this == null) {
            return (Class<?>[])null;
        }
        return (Type[])null;
    }


    /*
     * Exercise the blahs.
     */
    static void tryBlah(int num) {
        BlahFeature feature = null;     // interface ref

        switch (num) {
            case 1:
                feature = new BlahOne();
                break;
            default:
                feature = new BlahTwo();
                break;
        }

        feature.doStuff();
    }
}