Package org.processmining.specpp.util
Class PathTools
- java.lang.Object
-
- org.processmining.specpp.util.PathTools
-
public class PathTools extends java.lang.Object
-
-
Nested Class Summary
Nested Classes Modifier and Type Class Description static classPathTools.FolderStructurestatic classPathTools.OutputFileType
-
Field Summary
Fields Modifier and Type Field Description static java.lang.StringPATH_FOLDER_SEPARATOR
-
Constructor Summary
Constructors Constructor Description PathTools()
-
Method Summary
All Methods Static Methods Concrete Methods Modifier and Type Method Description static java.lang.StringgetRelativeFilePath(PathTools.OutputFileType outputFileType, java.lang.String name)static java.lang.StringgetRelativeFilePath(PathTools.OutputFileType outputFileType, java.lang.String name, java.lang.String prefix, java.lang.String postfix)static java.lang.StringgetRelativeFolderPath(PathTools.FolderStructure folder)static java.lang.StringgetRelativeFolderPath(PathTools.OutputFileType fileType)static PathTools.FolderStructureisRelativeTo(PathTools.FolderStructure folder)static PathTools.FolderStructureisRelativeTo(PathTools.OutputFileType fileType)static java.lang.Stringjoin(java.lang.String... pathlets)static java.lang.StringweakSanitize(java.lang.String fileName)
-
-
-
Field Detail
-
PATH_FOLDER_SEPARATOR
public static final java.lang.String PATH_FOLDER_SEPARATOR
- See Also:
- Constant Field Values
-
-
Method Detail
-
weakSanitize
public static java.lang.String weakSanitize(java.lang.String fileName)
-
getRelativeFilePath
public static java.lang.String getRelativeFilePath(PathTools.OutputFileType outputFileType, java.lang.String name, java.lang.String prefix, java.lang.String postfix)
-
getRelativeFilePath
public static java.lang.String getRelativeFilePath(PathTools.OutputFileType outputFileType, java.lang.String name)
-
isRelativeTo
public static PathTools.FolderStructure isRelativeTo(PathTools.OutputFileType fileType)
-
isRelativeTo
public static PathTools.FolderStructure isRelativeTo(PathTools.FolderStructure folder)
-
getRelativeFolderPath
public static java.lang.String getRelativeFolderPath(PathTools.OutputFileType fileType)
-
getRelativeFolderPath
public static java.lang.String getRelativeFolderPath(PathTools.FolderStructure folder)
-
join
public static java.lang.String join(java.lang.String... pathlets)
-
-