Method testSubtypeArray3

src/test/java/pascal/taie/language/TypeTest.java:102–114

Test arrays of different classes with subtyping relation.

()

     * Test arrays of different classes with subtyping relation.
     */
    @Test
    void testSubtypeArray3() {
        Type object = typeSystem.getClassType(ClassNames.OBJECT);
        Type objectArray = typeSystem.getArrayType(object, 1);
        Type a = typeSystem.getClassType("A");
        Type aArray = typeSystem.getArrayType(a, 1);
        assertTrue(typeSystem.isSubtype(objectArray, aArray));

        Type b = typeSystem.getClassType("B");
        Type bArray = typeSystem.getArrayType(b, 1);
        assertTrue(typeSystem.isSubtype(aArray, bArray));
        assertFalse(typeSystem.isSubtype(bArray, aArray));
    }

    @Test
    void testGetType1() {