edu.rice.cs.util
Class NullFile

java.lang.Object
  java.io.File
      edu.rice.cs.util.NullFile

All Implemented Interfaces:

java.io.Serializable, java.lang.Comparable<java.io.File>

public class NullFile
extends java.io.File
implements java.io.Serializable

A null file. This class is NOT a singleton because we need multiple, distinct null files for untitled documents. The equals method is overridden so that distinct NullFile objects (which all have the same path) are unequal.

See Also:

Serialized Form

Field Summary

private static int

ct

Fields inherited from class java.io.File

pathSeparator, pathSeparatorChar, separator, separatorChar

Constructor Summary

	NullFile()
private	NullFile(java.lang.String lexiName)

Method Summary

boolean	equals(java.lang.Object o) All distinct objects of type NullFile are unequal.
java.lang.String	getLexiName()
java.lang.String	getName()
java.lang.String	toString()

Methods inherited from class java.io.File

canExecute, canRead, canWrite, compareTo, createNewFile, createTempFile, createTempFile, delete, deleteOnExit, exists, getAbsoluteFile, getAbsolutePath, getCanonicalFile, getCanonicalPath, getFreeSpace, getParent, getParentFile, getPath, getTotalSpace, getUsableSpace, hashCode, isAbsolute, isDirectory, isFile, isHidden, lastModified, length, list, list, listFiles, listFiles, listFiles, listRoots, mkdir, mkdirs, renameTo, setExecutable, setExecutable, setLastModified, setReadable, setReadable, setReadOnly, setWritable, setWritable, toURI, toURL

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Field Detail

ct

private static volatile int ct

Constructor Detail

NullFile

public NullFile()

NullFile

private NullFile(java.lang.String lexiName)

Method Detail

toString

public java.lang.String toString()

Overrides:

toString in class java.io.File

getName

public java.lang.String getName()

Overrides:

getName in class java.io.File

getLexiName

public java.lang.String getLexiName()

equals

public boolean equals(java.lang.Object o)

All distinct objects of type NullFile are unequal.

Overrides:

equals in class java.io.File