Method testSubtypeArray1

src/test/java/pascal/taie/language/TypeTest.java:69–83

Test arrays and some special classes.

()

     * Test arrays and some special classes.
     */
    @Test
    void testSubtypeArray1() {
        Type intArray = typeSystem.getArrayType(INT, 1);
        Type object = typeSystem.getClassType(ClassNames.OBJECT);
        assertTrue(typeSystem.isSubtype(object, intArray));

        Type serializable = typeSystem.getClassType(ClassNames.SERIALIZABLE);
        assertTrue(typeSystem.isSubtype(serializable, intArray));

        Type cloneable = typeSystem.getClassType(ClassNames.CLONEABLE);
        assertTrue(typeSystem.isSubtype(cloneable, intArray));

        Type a = typeSystem.getClassType("A");
        assertFalse(typeSystem.isSubtype(a, intArray));
    }

    /**
     * Test arrays with different dimensions.