public static void main(String[] args) throws Throwable { HdtSearch hdtSearch = new HdtSearch(); JCommander com = new JCommander(hdtSearch, args); com.setProgramName("hdtSearch"); if (showVersion) { System.out.println(HDTVersion.get_version_string(".")); System.exit(0); } if(hdtSearch.parameters.size()!=1) { com.usage(); System.exit(1); } hdtSearch.hdtInput = hdtSearch.parameters.get(0); hdtSearch.execute(); }
String indexName = hdtFileName+ HDTVersion.get_index_suffix("-"); indexName = indexName.replaceAll("\\.hdt\\.gz", "hdt"); String versionName = indexName;
public static void main(String[] args) throws Throwable { HDTInfo hdtInfo = new HDTInfo(); JCommander com = new JCommander(hdtInfo, args); com.setProgramName("hdtInfo"); if (showVersion) { System.out.println(HDTVersion.get_version_string(".")); System.exit(0); } try { if (hdtInfo.hdtInput == null) hdtInfo.hdtInput = hdtInfo.parameters.get(0); } catch (Exception e) { com.usage(); System.exit(1); } hdtInfo.execute(); }
public static void main(String[] args) throws Throwable { RDF2HDT rdf2hdt = new RDF2HDT(); JCommander com = new JCommander(rdf2hdt, args); com.setProgramName("rdf2hdt"); if(rdf2hdt.parameters.size()==1) { System.err.println("No input file specified, reading from standard input."); rdf2hdt.rdfInput = "-"; rdf2hdt.hdtOutput = rdf2hdt.parameters.get(0); } else if(rdf2hdt.parameters.size()==2) { rdf2hdt.rdfInput = rdf2hdt.parameters.get(0); rdf2hdt.hdtOutput = rdf2hdt.parameters.get(1); } else if (showVersion){ System.out.println(HDTVersion.get_version_string(".")); System.exit(0); } else{ com.usage(); System.exit(1); } System.out.println("Converting "+rdf2hdt.rdfInput+" to "+rdf2hdt.hdtOutput+" as "+rdf2hdt.rdfType); rdf2hdt.execute(); } }
public static void main(String[] args) throws Throwable { HDT2RDF hdt2rdf = new HDT2RDF(); JCommander com = new JCommander(hdt2rdf, args); com.setProgramName("hdt2rdf"); if (showVersion) { System.out.println(HDTVersion.get_version_string(".")); System.exit(0); } try { hdt2rdf.hdtInput = hdt2rdf.parameters.get(0); } catch (Exception e){ com.usage(); System.exit(1); } try { hdt2rdf.rdfOutput = hdt2rdf.parameters.get(1); } catch (Exception e){ hdt2rdf.rdfOutput = "stdout"; } System.err.println("Converting "+hdt2rdf.hdtInput+" to RDF on "+hdt2rdf.rdfOutput); hdt2rdf.execute(); }