public class RestartHelper
extends java.lang.Object
限定符和类型 | 字段和说明 |
---|---|
static java.lang.String |
MOVE_FILE |
static java.lang.String |
RECORD_FILE |
构造器和说明 |
---|
RestartHelper() |
限定符和类型 | 方法和说明 |
---|---|
static void |
deleteRecordFilesWhenStart()
需要重启启动器用于删除文件
|
static void |
restart()
重启设计器
|
static void |
restart(java.lang.String[] filesToBeDelete)
重启设计器并删除某些特定的文件
|
static void |
saveFilesWhichToDelete(java.lang.String[] files)
把要删除的文件都记录到delete.properties中
|
static void |
saveFilesWhichToMove(java.util.Map<java.lang.String,java.lang.String> map)
把要移动的文件都记录到move.properties中
|
public static final java.lang.String RECORD_FILE
public static final java.lang.String MOVE_FILE
public static void saveFilesWhichToDelete(java.lang.String[] files)
files
- 要删除的文件public static void saveFilesWhichToMove(java.util.Map<java.lang.String,java.lang.String> map)
map
- 移动的文件public static void deleteRecordFilesWhenStart()
public static void restart()
public static void restart(java.lang.String[] filesToBeDelete)
filesToBeDelete
- 要删除的文件集合