Class File

classpath/java/io/File.java:13–324

package java.io;

public class File implements Serializable {
  private static final String FileSeparator
    = System.getProperty("file.separator");

  public static final String separator = FileSeparator;

  public static final char separatorChar = FileSeparator.charAt(0);

  private static final String PathSeparator
    = System.getProperty("path.separator");

  public static final String pathSeparator = PathSeparator;

  public static final char pathSeparatorChar = PathSeparator.charAt(0);

  //   static {
  //     System.loadLibrary("natives");
  //   }

  private final String path;

  public File(String path) {
    if (path == null) throw new NullPointerException();
    this.path = normalize(path);
  }

  public File(String parent, String child) {
    this(parent + FileSeparator + child);
  }

  public File(File parent, String child) {
    this(parent.getPath() + FileSeparator + child);
  }

  public static File createTempFile(String prefix, String suffix)
    throws IOException
  {
    return createTempFile(prefix, suffix, null);
  }

  public static File createTempFile(String prefix, String suffix,
                                    File directory)
    throws IOException
  {
    if(directory == null) {
      directory = new File(System.getProperty("java.io.tmpdir"));
    }
    if(suffix == null) {
      suffix = ".tmp";
    }
    File ret;
    long state = System.currentTimeMillis();

    do {
      ret = generateFile(directory, prefix, state, suffix);
      state *= 7;
      state += 3;
    } while(ret == null);