|
JEphem site jephem API Build classes |
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object | +--tig.Files
Contains miscelaneous utility methods dealing with files and directories.
Field Summary |
Fields inherited from interface tig.GeneralConstants |
BLANK, FS, LS, NO_SPECIF, SPACE |
Constructor Summary | |
Files()
|
Method Summary | |
static void |
dirToTree(java.io.File theDir,
javax.swing.tree.DefaultMutableTreeNode rootNode)
Converts a file hierarchy into a tree. |
static void |
dirToTree(java.io.File theDir,
javax.swing.tree.DefaultMutableTreeNode rootNode,
java.lang.String fileType)
Converts a file hierarchy into a tree ; only files of a given type are put in the output tree. |
static void |
fileCopy(java.lang.String source,
java.lang.String dest)
Copies file identified by 'source' to 'dest'. |
static java.lang.String |
getExtension(java.io.File f)
Returns the extension of a string (characters located after the last point). |
static java.lang.String |
getExtension(java.lang.String s)
Returns the extension of a string (characters located after the last point). |
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
public Files()
Method Detail |
public static java.lang.String getExtension(java.io.File f)
public static java.lang.String getExtension(java.lang.String s)
s
- String from which we want to find the extension.
public static void dirToTree(java.io.File theDir, javax.swing.tree.DefaultMutableTreeNode rootNode)
theDir
- Directory to transform into a tree.rootNode
- Root node of the resulting tree.public static void dirToTree(java.io.File theDir, javax.swing.tree.DefaultMutableTreeNode rootNode, java.lang.String fileType)
theDir
- Directory to transform into a tree.rootNode
- Root node of the resulting tree.fileType
- String used to specify which type of file should be included in the output tree.public static void fileCopy(java.lang.String source, java.lang.String dest) throws java.io.IOException
source
- path of the source file.dest
- path of the destination file.
java.io.IOException
- if :
|
JEphem site jephem API Build classes |
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |