Searched refs:prettyParts (Results 1 – 1 of 1) sorted by relevance
324 String[] prettyParts = pretty.split("[|]"); in main() local325 if (prettyParts.length != 3) { in main()328 String pretty1 = prettyParts[0]; in main()329 String pretty2 = prettyParts[1]; in main()330 String pretty3 = prettyParts[2]; in main()