Method testSubtypeNull

src/test/java/pascal/taie/language/TypeTest.java:50–58

()

    }

    @Test
    void testSubtypeNull() {
        Type object = typeSystem.getClassType(ClassNames.OBJECT);
        Type intArray = typeSystem.getArrayType(INT, 1);

        assertTrue(typeSystem.isSubtype(object, NULL));
        assertFalse(typeSystem.isSubtype(INT, NULL));
        assertTrue(typeSystem.isSubtype(intArray, NULL));
    }

    @Test
    void testSubtypePrimitive() {