Method toClass

src/main/java/pascal/taie/analysis/pta/plugin/util/CSObjs.java:75–88

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

(CSObj csObj)

     * not a class constant, then return null.
     */
    @Nullable
    public static JClass toClass(CSObj csObj) {
        Object alloc = csObj.getObject().getAllocation();
        if (alloc instanceof ClassLiteral cls) {
            Type type = cls.getTypeValue();
            if (type instanceof ClassType clsType) {
                return clsType.getJClass();
            } else if (type instanceof ArrayType) {
                return World.get().getClassHierarchy()
                        .getJREClass(ClassNames.OBJECT);
            }
        }
        return null;
    }

    /**
     * Converts a CSObj of java.lang.reflect.Constructor to corresponding JMethod.