vega.uplink.pointing.gui

Class PtrFile

java.lang.Object

java.io.File

vega.uplink.pointing.gui.PtrFile

All Implemented Interfaces:

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

public class PtrFile
extends java.io.File

This is a class that makes sure we can handle Ptrs in the Navigator.

See Also:

Serialized Form

Field Summary

Fields inherited from class java.io.File

pathSeparator, pathSeparatorChar, separator, separatorChar

Constructor Summary

Constructors

Constructor and Description
PtrFile(java.io.File parent, java.lang.String child) Construction of a new PtrFile with the given parent file and child.
PtrFile(java.lang.String pathname) Construction of a new PtrFile with the given filename.
PtrFile(java.lang.String parent, java.lang.String child) Construction of a new PtrFile with the given parent and child.

Method Summary

Methods inherited from class java.io.File

canExecute, canRead, canWrite, compareTo, createNewFile, createTempFile, createTempFile, delete, deleteOnExit, equals, exists, getAbsoluteFile, getAbsolutePath, getCanonicalFile, getCanonicalPath, getFreeSpace, getName, 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, toPath, toString, toURI, toURL

Methods inherited from class java.lang.Object

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

Constructor Detail

PtrFile

public PtrFile(java.lang.String parent,
       java.lang.String child)

Construction of a new PtrFile with the given parent and child.

Parameters:

parent - The parent abstract filename.

child - The child abstract filename.

See Also:

File.File(String, String)

PtrFile

public PtrFile(java.lang.String pathname)

Construction of a new PtrFile with the given filename.

Parameters:

pathname - The filename.

See Also:

File.File(String)

PtrFile

public PtrFile(java.io.File parent,
       java.lang.String child)

Construction of a new PtrFile with the given parent file and child.

Parameters:

parent - The parent file.

child - The child abstract filename.

See Also:

File.File(File, String)