Method getClass

src/test/java/pascal/taie/language/HierarchyTest.java:240–242

(String className)

    }

    private static JClass getClass(String className) {
        return World.get().getClassHierarchy().getClass(className);
    }

    /**
     * Test resolveMethod() with specified class and name.