Searched refs:triplePrefix (Results 1 – 1 of 1) sorted by relevance
801 final String triplePrefix = doublePrefix + " "; in dump() local805 pw.println(triplePrefix + "Activity #" + i + " " + wtoken); in dump()806 wtoken.dump(pw, triplePrefix); in dump()