public class FileMarker extends Object
| Modifier and Type | Field and Description |
|---|---|
static String |
FILE_SEPARATOR |
| Constructor and Description |
|---|
FileMarker(String prefix) |
FileMarker(String prefix,
File directory) |
FileMarker(String prefix,
String pathToDirectory) |
| Modifier and Type | Method and Description |
|---|---|
File |
getFileMark(String mark) |
File |
getFileMark(String mark,
int index) |
Pattern |
getMarkFileNamePattern() |
protected boolean |
isExists(File markFile) |
boolean |
isExists(String mark) |
boolean |
isExists(String mark,
int index) |
void |
remove(File markFile) |
void |
remove(String mark) |
void |
remove(String mark,
int index) |
void |
removeAllMarks() |
protected void |
touch(File markFile) |
void |
touch(String mark) |
void |
touch(String mark,
int index) |
public static final String FILE_SEPARATOR
public FileMarker(String prefix)
public Pattern getMarkFileNamePattern()
protected boolean isExists(File markFile)
protected void touch(File markFile)
public void remove(File markFile)
public boolean isExists(String mark)
public void touch(String mark)
public void remove(String mark)
public boolean isExists(String mark, int index)
public void touch(String mark, int index)
public void remove(String mark, int index)
public void removeAllMarks()
Copyright © 2019 AMIS research group, Faculty of Mathematics and Physics, Charles University in Prague, Czech Republic. All rights reserved.