vega.hipe.gui.xmlutils

Class XmlFile

java.lang.Object

java.io.File

vega.hipe.gui.xmlutils.XmlFile

All Implemented Interfaces:

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

public class XmlFile
extends java.io.File

This is a class that makes sure we can handle xml files 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
XmlFile(java.io.File parent, java.lang.String child) Construction of a new xml file with the given parent file and child.
XmlFile(java.lang.String pathname) Construction of a new xml file with the given filename.
XmlFile(java.lang.String parent, java.lang.String child) Construction of a new xml file 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

XmlFile

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

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

Parameters:

parent - The parent abstract filename.

child - The child abstract filename.

See Also:

File.File(String, String)

XmlFile

public XmlFile(java.lang.String pathname)

Construction of a new xml file with the given filename.

Parameters:

pathname - The filename.

See Also:

File.File(String)

XmlFile

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

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

Parameters:

parent - The parent file.

child - The child abstract filename.

See Also:

File.File(File, String)