Method getArgsString

src/main/java/pascal/taie/ir/exp/InvokeExp.java:90–94

()

    public abstract String getInvokeString();

    public String getArgsString() {
        return "(" + args.stream()
                .map(Var::toString)
                .collect(Collectors.joining(", ")) + ")";
    }

    @Override
    public Set<RValue> getUses() {