Searched refs:openIndex (Results 1 – 3 of 3) sorted by relevance
116 try (PrintWriter index = DateTimeFormats.openIndex(DIR, "Numbers")) { in main()
823 PrintWriter index = openIndex(DIR, "Date/Time"); in main()899 public static PrintWriter openIndex(String directory, String title) throws IOException { in openIndex() method in DateTimeFormats
318 try (PrintWriter index = DateTimeFormats.openIndex(DIR, "Time Zones")) { in main()