public static void dumpIndex(String tdfFile) { TDFReader reader = TDFReader.getReader(tdfFile); reader.dumpIndex(); reader.close();; }
public static void dumpIndex(String tdfFile) { TDFReader reader = TDFReader.getReader(tdfFile); reader.dumpIndex(); reader.close();; }