/** * returns the options of the current setup. * * @return the current options */ @Override public String[] getOptions() { Vector<String> result = new Vector<String>(); if (getUseDouble()) { result.add("-double"); } if (getUseTabs()) { result.add("-tabs"); } Collections.addAll(result, super.getOptions()); return result.toArray(new String[result.size()]); }
/** * returns the options of the current setup. * * @return the current options */ @Override public String[] getOptions() { Vector<String> result = new Vector<String>(); if (getUseDouble()) { result.add("-double"); } if (getUseTabs()) { result.add("-tabs"); } Collections.addAll(result, super.getOptions()); return result.toArray(new String[result.size()]); }