public class ProgramDirectory
extends java.lang.Object
Modifier and Type | Class and Description |
---|---|
class |
ProgramDirectory.DirectoryCallback |
class |
ProgramDirectory.RWDirectoryCallback |
Modifier and Type | Field and Description |
---|---|
protected java.io.File |
dir
Directory path
|
protected java.util.HashSet<java.lang.String> |
files
Keeps track of all the files saved in this directory
|
Constructor and Description |
---|
ProgramDirectory() |
ProgramDirectory(java.lang.String moveErrMsg) |
Modifier and Type | Method and Description |
---|---|
java.io.File |
dir() |
java.io.File |
file(java.lang.String base)
Return a
File object from the given string basename. |
StringCallback |
getStringCallback() |
void |
move(java.lang.String file)
Move the directory.
|
protected static int |
nextOrder() |
protected java.io.File dir
protected final java.util.HashSet<java.lang.String> files
public ProgramDirectory()
public ProgramDirectory(java.lang.String moveErrMsg)
protected static int nextOrder()
public void move(java.lang.String file) throws java.io.IOException
java.io.IOException
public StringCallback getStringCallback()
public java.io.File file(java.lang.String base)
File
object from the given string basename.public java.io.File dir()