protected String createProcessTree(
int indent, String selfPrefix, String childPrefix, Operator markOperator, String mark) {
String tree = Tools.indent(indent) + " subprocess '" + getName() + "'";
Iterator<Operator> i = operators.iterator();
while (i.hasNext()) {
tree +=
Tools.getLineSeparator()
+ i.next()
.createProcessTree(
indent,
childPrefix + "+- ",
childPrefix + (i.hasNext() ? "| " : " "),
markOperator,
mark);
}
return tree;
}
