public class FilePath extends Object
| Modifier and Type | Field and Description |
|---|---|
static String |
CLASSPATH_SEPARATOR
Seperator of the classpath entries.
|
| Constructor and Description |
|---|
FilePath() |
| Modifier and Type | Method and Description |
|---|---|
static void |
checkRelativePath(String path)
Checks the 'path' for the presence of ".." + can't start with "/" + enforces use of the
ALLOWED_RELATIVE_PATH_CHARS. |
static String |
concatPaths(String... paths)
Concats all paths sequentially together replacing all backslashes with slashes and watches out for ending of the path1 and beginning of path2 solving
"//", "/./", etc.
|
static String |
concatPaths(String path1,
String path2)
Concats path1 and path2 replacing all backslashes with slashes and watches out for ending of the path1 and beginning of path2 solving
"//", "/./", etc.
|
static void |
makeDirsToFile(File file)
Treats 'file' as something that points to the file and creates all parent dirs.
|
static String |
makeUniform(String file) |
public static final String CLASSPATH_SEPARATOR
public static void checkRelativePath(String path)
ALLOWED_RELATIVE_PATH_CHARS.path - public static void makeDirsToFile(File file)
file - public static String concatPaths(String... paths)
paths - public static String concatPaths(String path1, String path2)
path1 - path2 - Copyright © 2012 AMIS research group, Faculty of Mathematics and Physics, Charles University in Prague, Czech Republic. All Rights Reserved.