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.