public class FileNames extends Object
| Modifier and Type | Field and Description |
|---|---|
static String |
DATA_AGG_FILE |
static String |
DATA_FILE |
static String |
LOG_FILE |
static String |
PATH_CONTAINER_FILE |
| Constructor and Description |
|---|
FileNames() |
| Modifier and Type | Method and Description |
|---|---|
static File |
getFile(File dir,
String file)
Joins directory file and file name into single path and opens it as a file.
|
static File |
getFile(String dir,
String file)
Joins directory path and file name into single path and opens it as a file.
|
static String |
joinPath(String dir,
String file)
Joins directory path and file name into single path.
|
public static final String DATA_FILE
public static final String DATA_AGG_FILE
public static final String PATH_CONTAINER_FILE
public static final String LOG_FILE
public static String joinPath(String dir, String file)
dir - Path to directory.file - Name of the file.public static File getFile(String dir, String file)
dir - Path to directory.file - Name of the file.Copyright © 2018 AMIS research group, Faculty of Mathematics and Physics, Charles University in Prague, Czech Republic. All rights reserved.