Method createTempFile

core/src/processing/core/PApplet.java:7819–7840

Creates a temporary file based on the name/extension of another file and in the same parent directory. Ensures that the same extension is used (i.e. so that .gz files are gzip compressed on output) and that it's done from the same directory so that renaming the file later won't cross file system bou

(File file)

   * system boundaries.
   */
  static private File createTempFile(File file) throws IOException {
    File parentDir = file.getParentFile();
    if (!parentDir.exists()) {
      parentDir.mkdirs();
    }
    String name = file.getName();
    String prefix;
    String suffix = null;
    int dot = name.lastIndexOf('.');
    if (dot == -1) {
      prefix = name;
    } else {
      // preserve the extension so that .gz works properly
      prefix = name.substring(0, dot);
      suffix = name.substring(dot);
    }
    // Prefix must be three characters
    if (prefix.length() < 3) {
      prefix += "processing";
    }
    return File.createTempFile(prefix, suffix, parentDir);
  }


  /**