Method testSubtypeArray2

src/test/java/pascal/taie/language/TypeTest.java:88–97

Test arrays with different dimensions.

()

     * Test arrays with different dimensions.
     */
    @Test
    void testSubtypeArray2() {
        Type intArray2 = typeSystem.getArrayType(INT, 2);
        Type object = typeSystem.getClassType(ClassNames.OBJECT);
        Type objectArray = typeSystem.getArrayType(object, 1);
        assertTrue(typeSystem.isSubtype(objectArray, intArray2));

        Type intArray3 = typeSystem.getArrayType(INT, 3);
        assertTrue(typeSystem.isSubtype(objectArray, intArray3));
    }

    /**
     * Test arrays of different classes with subtyping relation.