public interface Migrator
| Modifier and Type | Field and Description | 
|---|---|
static java.lang.String | 
JDEV_HOME_DIR
Legacy directory, under <user home>, in which user SYSTEM_DIR is created. 
 | 
static java.lang.String | 
SYSTEM_DIR
Legacy directory, under <user home>\jdevhome, in which user settings are saved. 
 | 
| Modifier and Type | Method and Description | 
|---|---|
boolean | 
canMigrate(int category, java.io.File sourceDir)
Determine whether a given category can be migrated from a given directory. 
 | 
java.lang.String | 
getDescription(int category)
Get a one line description for a given migration category. 
 | 
int[] | 
getMigrationCategories()
Get an array of unique id values representing available categories to migrate. 
 | 
boolean | 
isSelected(int category)
Determine whether a category has been flagged for migration. 
 | 
java.lang.String[] | 
migrate(java.io.File sourceDir, java.io.File destDir)
Migrate all flagged categories, from a given source directory, to a given destination directory. 
 | 
void | 
setSelected(int category, boolean selected)
Flag a category as selected for migration. 
 | 
static final java.lang.String SYSTEM_DIR
static final java.lang.String JDEV_HOME_DIR
int[] getMigrationCategories()
java.lang.String getDescription(int category)
boolean canMigrate(int category,
                 java.io.File sourceDir)
void setSelected(int category,
               boolean selected)
boolean isSelected(int category)
java.lang.String[] migrate(java.io.File sourceDir,
                         java.io.File destDir)