Searched refs:childPrefix (Results 1 – 1 of 1) sorted by relevance
740 final String childPrefix = prefix + " "; in dumpChildrenNames() local744 out.append(childPrefix + "#" + i + " "); in dumpChildrenNames()745 wc.dumpChildrenNames(out, childPrefix); in dumpChildrenNames()