Searched refs:timesStr (Results 1 – 2 of 2) sorted by relevance
118 String timesStr = str[1]; in parseRule() local120 if (intervalStr.isEmpty() || timesStr.isEmpty()) { in parseRule()133 times = Integer.parseInt(timesStr); in parseRule()
2523 String timesStr; in dumpRecentHistory() local2530 timesStr = String.format("%d/%d%%", in dumpRecentHistory()2533 pw.printf(authorityFormat, name, timesStr, timeStr); in dumpRecentHistory()2555 timesStr = String.format("%d/%d%%", in dumpRecentHistory()2558 pw.printf(accountFormat, stats.name, timesStr, timeStr); in dumpRecentHistory()