Method toType

src/main/java/pascal/taie/analysis/pta/plugin/util/CSObjs.java:124–128

Converts a CSObj of class to corresponding type. If the object is not a class constant, then return null.

(CSObj csObj)

     * not a class constant, then return null.
     */
    @Nullable
    public static Type toType(CSObj csObj) {
        Object alloc = csObj.getObject().getAllocation();
        return alloc instanceof ClassLiteral cls ? cls.getTypeValue() : null;
    }

    /**
     * Converts a CSObj of MethodType to corresponding MethodType.