Method testGetType1

src/test/java/pascal/taie/language/TypeTest.java:116–126

()

    }

    @Test
    void testGetType1() {
        Type a = typeSystem.getClassType("A");
        Type aArray = typeSystem.getArrayType(a, 1);
        Type aArray2 = typeSystem.getType("A[]");
        assertEquals(aArray, aArray2);

        Type intArray = typeSystem.getArrayType(INT, 2);
        Type intArray2 = typeSystem.getType("int[][]");
        assertEquals(intArray, intArray2);
    }
}