public static void main(String[] args) { try { if(args.length!=1) { System.out.println("HDTGenerateIndex <hdtFile>"); System.exit(-1); } String hdtFileName = args[0]; HDT hdt = HDTManager.mapHDT(hdtFileName, null); if(hdtFileName.endsWith(".gz")) { hdtFileName = hdtFileName.substring(0, hdtFileName.length()-3); } System.out.println("Generating "+hdtFileName+".index"); HDTManager.indexedHDT(hdt, new ProgressListener() { @Override public void notifyProgress(float level, String message) { // System.out.println(message + "\t"+ Float.toString(level)); } }).close(); } catch (IOException e) { e.printStackTrace(); System.exit(-1); } } }
hdt = HDTManager.indexedHDT(hdt,this); System.out.println("Index generated and saved in: "+sw.stopAndShow());