public class FileUtility extends Object
| Constructor and Description |
|---|
FileUtility() |
| Modifier and Type | Method and Description |
|---|---|
static boolean |
delete(String filename)
Delete a file.
|
static boolean |
invalidFilename(String file)
returns true if the filename contains something we don't like,
such as shell characters.
|
This file is a part of the JDD package, a native Java Binary Decision Diagram Library.