Method test

src/test/java/pascal/taie/frontend/soot/ConstVarTest.java:35–48

()

public class ConstVarTest {

    @Test
    void test() {
        String main = "ConstVar";
        Main.buildWorld("-pp", "-cp", "src/test/resources/world", "--input-classes", main);
        JClass jclass = World.get().getClassHierarchy().getClass(main);
        jclass.getDeclaredMethods().forEach(m -> {
            IR ir = m.getIR();
            IRPrinter.print(ir, System.out);
            ir.getVars()
                    .stream()
                    .filter(Var::isConst)
                    .forEach(v -> System.out.println(v + " -> " + v.getConstValue()));
        });
    }
}