Method getMainMethod

src/main/java/pascal/taie/World.java:156–158

()

    }

    public JMethod getMainMethod() {
        return mainMethod;
    }

    public void setMainMethod(JMethod mainMethod) {
        if (this.mainMethod != null) {