public final class Directory
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
static java.lang.String |
CONTEXT |
static java.lang.String |
FREED |
static java.lang.String |
taskdirname |
Constructor and Description |
---|
Directory() |
Modifier and Type | Method and Description |
---|---|
static java.io.File |
create(java.io.File parent,
java.lang.String name,
boolean fixed)
Create writable subdirectory in denoted parent directory.
|
static void |
free(java.io.File dir,
boolean clear)
Attempt to invalidate a previously created directory for immediate reuse.
|
static boolean |
isCreatedDirectory(java.io.File dir)
Returns true if dir denotes a previously created directory.
|
static void |
remove(java.io.File dir)
Remove a previously created directory (including all its contents).
|
static java.io.File |
setup(java.io.File parent,
ErrorStream error)
Set up task task directory in denoted parent directory.
|
public static final java.lang.String taskdirname
public static final java.lang.String CONTEXT
public static final java.lang.String FREED
public static java.io.File setup(java.io.File parent, ErrorStream error)
parent
- the parent directoryerror
- the stream to write error messages to.public static boolean isCreatedDirectory(java.io.File dir)
dir
- a file.public static java.io.File create(java.io.File parent, java.lang.String name, boolean fixed)
parent
- the writable parent directory.name
- the name of the subdirectory to be created.
(if !fixed, the actual directory name may be different)fixed
- false iff the actual directory name may be different.public static void remove(java.io.File dir)
dir
- the directory to be removed.public static void free(java.io.File dir, boolean clear)
dir
- the directory to be invalidated and reused.clear
- true if content of directory is to be removed.