Method toString

src/main/java/pascal/taie/ir/stmt/Invoke.java:158–163

()

    }

    @Override
    public String toString() {
        String ret = result == null ? "" : result + " = ";
        return String.format("%s[%d@L%d] %s%s",
                container, getIndex(), getLineNumber(), ret, invokeExp);
    }
}