|
|||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object | +--de.uds.cs.st.dd.util.FileUtils
File utilities for the dd plugin.
Field Summary | |
private static int |
BUFFER_SIZE
Sets the size of the read buffer. |
Constructor Summary | |
FileUtils()
|
Method Summary | |
static void |
copyFile(String sourceName,
String destinationName)
Copies a file. |
static void |
copyResourceToFile(String resource,
String fileName)
Copies an internet resource. |
static String |
readFile(File file)
Reads the file that is specified by the parameter. |
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Field Detail |
private static final int BUFFER_SIZE
Constructor Detail |
public FileUtils()
Method Detail |
public static String readFile(File file) throws IOException
file
- the file to be read.
IOException
- if any file system error occurs.public static void copyFile(String sourceName, String destinationName) throws IOException
sourceName
- name of the original file.destinationName
- name of the destination file.
IOException
- if any file system error occurs.public static void copyResourceToFile(String resource, String fileName) throws IOException
resource
- path to the original resource.fileName
- name of the destination file.
IOException
- if any file system error occurs.
|
|||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |