public class HelperClassForUtilityTests
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
static java.io.File |
RESOURCE_DIRECTORY |
Constructor and Description |
---|
HelperClassForUtilityTests() |
Modifier and Type | Method and Description |
---|---|
static java.io.File |
createFile(java.io.File file,
java.lang.String content)
Creates a file
|
static java.io.File |
createFolder(java.io.File folder)
Creates a folder.
|
public static java.io.File createFolder(java.io.File folder)
folder
- The folder to create.public static java.io.File createFile(java.io.File file, java.lang.String content) throws java.io.IOException
file
- The file to create.content
- The content to write to file.java.io.IOException
- Occurred Exception.Copyright © 2003-2019 The KeY-Project.