de.grogra.pf.boot
public final class Main extends java.lang.Object
| Modifier and Type | Field and Description |
|---|---|
static java.lang.String[] |
GROIMP_VERSION_FILE
List of URL's of the GroIMP version file.
|
static java.lang.String |
HEADLESS |
static java.lang.String |
SCREEN_PROPERTY |
static java.lang.Integer |
SCREEN_PROPERTY_ID |
| Modifier and Type | Method and Description |
|---|---|
static void |
closeSplashScreen() |
static int |
compare(java.lang.String v1,
java.lang.String v2)
compares two strings containing version numbers and returns the result.
0 .. v1 equals v2
<0 .. v2 newer then v1
>0 .. v2 older then v1
|
static void |
error(java.lang.String msg) |
static void |
error(java.lang.Throwable exception) |
static void |
exit() |
static Application |
getApplication() |
static java.lang.String |
getArg(int index) |
static int |
getArgCount() |
static java.io.File |
getConfigurationDirectory() |
static java.lang.Object |
getFromResource(java.lang.String key) |
static I18NBundle |
getI18NBundle() |
static I18NBundle |
getI18NBundle(java.lang.String pluginId) |
static Main |
getInstance() |
static java.lang.ClassLoader |
getLoaderForAll() |
static java.util.logging.Logger |
getLogger() |
static java.lang.String |
getProperty(java.lang.String name) |
static java.lang.String |
getProperty(java.lang.String name,
java.lang.String defaultValue) |
static Registry |
getRegistry() |
static java.lang.String |
getVersion() |
static boolean |
isInitialized() |
static void |
logSevere(java.lang.Throwable thrown) |
static void |
logWarning(java.lang.Throwable thrown) |
static void |
main(java.lang.String[] args) |
void |
setProperty(java.lang.String name,
java.lang.String value) |
static void |
showMessage(java.lang.String msg,
boolean exitOnClose) |
static boolean |
usesProjectTree() |
public static final java.lang.String[] GROIMP_VERSION_FILE
public static final java.lang.String HEADLESS
public static final java.lang.String SCREEN_PROPERTY
public static final java.lang.Integer SCREEN_PROPERTY_ID
public static void closeSplashScreen()
public static int compare(java.lang.String v1,
java.lang.String v2)
v1 - this version number (version of the installed application)v2 - version to check (probably new version)public static void error(java.lang.String msg)
public static void error(java.lang.Throwable exception)
public static void exit()
public static Application getApplication()
public static java.lang.String getArg(int index)
public static int getArgCount()
public static java.io.File getConfigurationDirectory()
public static java.lang.Object getFromResource(java.lang.String key)
public static I18NBundle getI18NBundle()
public static I18NBundle getI18NBundle(java.lang.String pluginId)
public static Main getInstance()
public static java.lang.ClassLoader getLoaderForAll()
public static java.util.logging.Logger getLogger()
public static java.lang.String getProperty(java.lang.String name)
public static java.lang.String getProperty(java.lang.String name,
java.lang.String defaultValue)
public static Registry getRegistry()
public static java.lang.String getVersion()
public static boolean isInitialized()
public static void logSevere(java.lang.Throwable thrown)
public static void logWarning(java.lang.Throwable thrown)
public static void main(java.lang.String[] args)
public void setProperty(java.lang.String name,
java.lang.String value)
public static void showMessage(java.lang.String msg,
boolean exitOnClose)
public static boolean usesProjectTree()