static public String extensionOptions(boolean loading, String filename, String options) { String extension = PApplet.checkExtension(filename); if (extension != null) { for (String possible : loading ? loadExtensions : saveExtensions) { if (extension.equals(possible)) { if (options == null) { return extension; } else { // prepend the extension to the options (will be replaced by other // options that override it later in the load loop) return extension + "," + options; } } } } return options; }
static public String extensionOptions(boolean loading, String filename, String options) { String extension = PApplet.checkExtension(filename); if (extension != null) { for (String possible : loading ? loadExtensions : saveExtensions) { if (extension.equals(possible)) { if (options == null) { return extension; } else { // prepend the extension to the options (will be replaced by other // options that override it later in the load loop) return extension + "," + options; } } } } return options; }
public void outputSelected(File selection) { if (selection == null) return; String pdfFilename = selection.getAbsolutePath(); String ext = PApplet.checkExtension(pdfFilename); if (ext == null || !ext.equals("pdf")) { pdfFilename += ".pdf"; } app.intf.record(pdfFilename); } }
public Table loadTable(String filename, String options) { try { String ext = checkExtension(filename); if (ext != null) { if (ext.equals("csv") || ext.equals("tsv")) { if (options == null) { options = ext; } else { options = ext + "," + options; } } } return new Table(createInput(filename), options); } catch (IOException e) { e.printStackTrace(); return null; } }
String ext = PApplet.checkExtension(filename); if (ext == null || (!ext.equals("csv") && !ext.equals("tsv"))) { filename += ".csv";
String ext = PApplet.checkExtension(varFN); if (ext == null || !ext.equals("txt")) { varFN += ".txt";