Searched refs:quadruplePrefix (Results 1 – 1 of 1) sorted by relevance
730 final String quadruplePrefix = triplePrefix + " "; in dump() local735 wtoken.dump(pw, quadruplePrefix, dumpAll); in dump()