presto-main/src/main/java/io/prestosql/sql/planner/planprinter/NodeRepresentation.java/NodeRepresentation/appendDetails
class NodeRepresentation:    public void appendDetails(String string, Object... args)
    {
        if (args.length == 0) {
            details.append(string);
        }
        else {
            details.append(format(string, args));
        }
    }