public class Boot
extends java.lang.Object
Modifier and Type | Class and Description |
---|---|
static class |
Boot.Level |
Modifier and Type | Field and Description |
---|---|
static java.lang.String |
AUTO_UPDATE |
static boolean |
CHECK_PACKAGES |
static int |
CONNECT_TIMEOUT |
static java.net.URL |
DEFAULT_REPOSITORY |
static boolean |
HIDE_OLD_PACKAGES |
static java.lang.String |
IMAGES_FOLDER |
static java.lang.String |
LAST_RELEASE_AUTOINSTALLED_KEY |
static java.lang.String |
LAST_RELEASE_PACKAGE_KEY |
static java.lang.String |
LIB_FOLDER |
static java.lang.String |
LITE_PREFIX
Versions of ProM.Lite should have a PROM_VERSION in the ini file that
identifies the specific version.
|
static java.lang.String |
MACRO_FOLDER |
static int |
OPENXES_SHADOW_SIZE |
static java.lang.String |
PACKAGE_FOLDER |
static PluginLevel |
PLUGIN_LEVEL_THRESHOLD |
static PluginQuality |
PLUGIN_QUALITY_THRESHOLD |
static java.lang.String |
PROM_USER_FOLDER |
static java.lang.String |
PROM_VERSION |
static int |
READ_TIMEOUT |
static java.lang.String |
RELEASE_PACKAGE |
static java.lang.String |
TRACKING_BY_GA_ALLOWED |
static Boot.Level |
VERBOSE |
static java.lang.String |
WORKSPACE_FOLDER |
Constructor and Description |
---|
Boot() |
Modifier and Type | Method and Description |
---|---|
static void |
addJarsForPackage(PackageDescriptor pack,
Boot.Level verbose,
PluginManager plugins) |
static void |
boot(java.lang.Class<?> bootClass,
java.lang.Class<? extends PluginContext> pluginContextClass,
java.lang.String... args) |
static java.lang.Object |
boot(java.lang.Class<?> bootClass,
java.lang.String... args) |
static java.lang.String |
getBestRepository(java.lang.String[] repositories,
java.lang.String defaultRepository) |
static boolean |
isLatestReleaseInstalled() |
static boolean |
isTrackingByGAAllowed() |
static void |
setLatestReleaseInstalled() |
static void |
setReleaseInstalled(java.lang.String version,
java.lang.String releasePackage) |
public static java.lang.String PROM_VERSION
public static java.lang.String RELEASE_PACKAGE
public static java.lang.String LIB_FOLDER
public static java.lang.String IMAGES_FOLDER
public static java.lang.String PROM_USER_FOLDER
public static java.lang.String MACRO_FOLDER
public static java.lang.String PACKAGE_FOLDER
public static java.lang.String WORKSPACE_FOLDER
public static PluginQuality PLUGIN_QUALITY_THRESHOLD
public static PluginLevel PLUGIN_LEVEL_THRESHOLD
public static Boot.Level VERBOSE
public static java.net.URL DEFAULT_REPOSITORY
public static int OPENXES_SHADOW_SIZE
public static int CONNECT_TIMEOUT
public static int READ_TIMEOUT
public static boolean HIDE_OLD_PACKAGES
public static boolean CHECK_PACKAGES
public static java.lang.String AUTO_UPDATE
public static final java.lang.String LAST_RELEASE_AUTOINSTALLED_KEY
public static final java.lang.String LAST_RELEASE_PACKAGE_KEY
public static final java.lang.String TRACKING_BY_GA_ALLOWED
public static final java.lang.String LITE_PREFIX
public static java.lang.String getBestRepository(java.lang.String[] repositories, java.lang.String defaultRepository)
public static boolean isLatestReleaseInstalled()
public static void setReleaseInstalled(java.lang.String version, java.lang.String releasePackage)
public static void setLatestReleaseInstalled()
public static boolean isTrackingByGAAllowed()
public static void boot(java.lang.Class<?> bootClass, java.lang.Class<? extends PluginContext> pluginContextClass, java.lang.String... args) throws java.lang.Exception
java.lang.Exception
public static java.lang.Object boot(java.lang.Class<?> bootClass, java.lang.String... args) throws java.lang.Exception
java.lang.Exception
public static void addJarsForPackage(PackageDescriptor pack, Boot.Level verbose, PluginManager plugins)