How to use

checkExtension

method

in

processing.core.PApplet

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";