public static void main(String [] options) {  StringBuffer text = new StringBuffer(); try { C45Saver csv = new C45Saver(); text.append("\n\nC45Saver options:\n\n"); Enumeration enumi = csv.listOptions(); while (enumi.hasMoreElements()) { Option option = (Option)enumi.nextElement(); text.append(option.synopsis()+'\n'); text.append(option.description()+'\n'); } try { csv.setOptions(options); } catch (Exception ex) { System.out.println("\n"+text); System.exit(1); }     csv.writeBatch(); } catch (Exception ex) { ex.printStackTrace(); }  }
public static void main(String[] args) { runFileSaver(new C45Saver(), args); }
  public static void main(String [] options) {            StringBuffer text = new StringBuffer();      try {	C45Saver csv = new C45Saver();        text.append("\n\nC45Saver options:\n\n");        Enumeration enumi = csv.listOptions();        while (enumi.hasMoreElements()) {            Option option = (Option)enumi.nextElement();            text.append(option.synopsis()+'\n');            text.append(option.description()+'\n');        }        try {          csv.setOptions(options);          } catch (Exception ex) {            System.out.println("\n"+text);            System.exit(1);	}        //incremental        /*        csv.setRetrieval(INCREMENTAL);        Instances instances = csv.getInstances();        csv.setStructure(instances);        for(int i = 0; i < instances.numInstances(); i++){ //last instance is null and finishes incremental saving            csv.writeIncremental(instances.instance(i));        }        csv.writeIncremental(null);        */                //batch        csv.writeBatch();      } catch (Exception ex) {	ex.printStackTrace();	}          }