public class RavenMain extends Object
Modifier and Type | Field and Description |
---|---|
static String |
AUTOMATON_FILE_EXTENSION
The file extension for automaton files
|
static String |
AUTOMATON_SAVE_DIR
The automaton save file directory
|
static String |
BDD_FILE_EXTENSION
The file extension for BDD files
|
static String |
BIG_RAVEN_ICON_FILENAME
The Big Raven Icon File
|
static String |
COSPAN_GXL_FILE_EXTENSION
The file extension for cospan files
|
static String |
COSPAN_SAVE_DIR
The automaton save file directory
|
static String |
DECOMPOSITION_FILE_EXTENSION
The file extension for decomposition files
|
static String |
DECOMPOSITION_SAVE_DIR
The automaton save file directory
|
static String |
DEFAULT_COLORABILITY_ENCODING
The default colorability encoding
|
static String |
DEFAULT_DOMINATING_SET_ENCODING
The default dominating set encoding
|
static String |
DEFAULT_VERTEX_COVER_ENCODING
The default vertex cover encoding
|
static String |
DIALOG_ERROR_ICON_FILENAME
The Dialog Error Icon Filename
|
static String |
DIALOG_INFORMATION_ICON_FILENAME
The Dialog Information Icon Filename
|
static String |
DIALOG_QUESTION_ICON_FILENAME
The Dialog Question Icon Filename
|
static String |
DIALOG_WARNING_ICON_FILENAME
The Dialog Warning Icon Filename
|
static String |
DOCUMENTATION_FOLDER
The command documentation files folder
|
static String |
DOT_BDD_LAYOUTER
The DOT LAYOUTER FOR BDDS
|
static String |
DOT_FILE_EXTENSION
The file extension for DOT files
|
static String |
DOT_GRAPH_LAYOUTER
The DOT LAYOUTER FOR GRAPHS
|
static String |
DOT_RUN_LAYOUTER
The DOT LAYOUTER FOR AUTOMATON RUNS
|
static String |
DOT_SAVE_DIR
The DOT save file directory
|
static String |
EDIT_ICON_FILENAME
The Edit Icon Filename
|
static int |
EXIT_CODE_NORMAL_TERMINATION
Indicates normal termination
|
static int |
EXIT_CODE_OUT_OF_MEMORY
Indicates that Raven has been run out of memory
|
static int |
EXIT_CODE_PROPERTIES_FILE_NOT_FOUND
Indicates that the properties file could not be found which led to a severe error
|
static int |
EXIT_CODE_PROPERTIES_IO_EXCEPTION
Indicates that a severe I/O exception occurred during loading the properties file
|
static int |
EXIT_CODE_SAVE_DIR_CREATION_FAILED
Indicates that the directory where saved files will be stored could not be created
|
static int |
EXIT_CODE_SCRIPT_DIR_CREATION_FAILED
Indicates that the directory where to place scripts could not be created
|
static int |
EXIT_CODE_SECURITY_EXCEPTION
Indicates that a security exception was thrown which led to a severe error
|
static int |
EXIT_CODE_TEMP_DIR_CREATION_FAILED
Indicates that the temporary file directory could not be created
|
static int |
EXIT_CODE_UNEXPECTED_ERROR
Indicates the occurrence of an unexpected error (yes, all other errors were expected. ;)
|
static String |
FILE_COMMENT_SIGN |
static String |
GRAPH_GXL_FILE_EXTENSION
The file extension for graph files
|
static String |
GRAPH_SAVE_DIR
The graph save file directory
|
static String |
GXL_DTD_URI
The GXL DTD URI
|
static String |
HELP_ICON_FILENAME
The Help Icon Filename
|
static String |
ICON_DIR
The resource file directory
|
static String |
JAR_FILE_EXTENSION
The file extension for JAVA ARCHIVE files
|
static String |
JAVA_LAUNCHER_COMMAND
The JAVA APPLICATION LAUNCHER executable
|
static String |
MAIN_DIR
The Raven Working Directory directory
|
static String |
MAXIMIZE_VIEW_ICON_FILENAME
The Maximize View Icon Filename
|
static String |
MINUS_ICON_FILENAME
The Minus Icon Filename
|
static String |
OPEN_ICON_FILENAME
The Open Icon Filename
|
static String |
PLUS_ICON_FILENAME
The Plus Icon Filename
|
static String |
PROPERTY_DEFAULT_LEVEL |
static String |
PROPERTY_DOT_PATH |
static String |
PROPERTY_DOWNLOAD_BETA_VERSION |
static String |
PROPERTY_FILE_HANDLER_FORMATTER |
static String |
PROPERTY_FILE_HANDLER_LEVEL |
static String |
PROPERTY_FILE_HANDLER_LIMIT |
static String |
PROPERTY_FILE_HANDLER_PATTERN |
static String |
PROPERTY_HANDLERS |
static String |
PROPERTY_RAVEN_LOGGING_HANDLER_LEVEL |
static String |
PROPERTY_SLOPPY_MODE
The sloppy mode property
|
static String |
PROPERTY_TIME
The time mode property
|
static String |
PROPERTY_VERBOSE
The verbose mode property
|
static String |
RAVEN_ICON_FILENAME
The Raven Icon File
|
static String |
RAVEN_LOGO_FILENAME
The Raven Logo Filename
|
static String |
RAVEN_MANUAL_FILE_NAME |
static String |
RAVEN_SCRIPT_FILE_EXTENSION
The file extension for raven script files
|
static String |
RAVEN_UPDATE_FILE
Raven Update Description File
|
static String |
RAVEN_UPDATE_SCHEMA_FILENAME
Raven Update XML Schema validation file
|
static String[] |
RAVEN_UPDATE_URLS
Raven Update Mirrors
|
static String |
RES_DIR
The resource file directory
|
static String |
RUN_ICON_FILENAME
The Run Icon Filename
|
static String |
SAVE_DIR
The save file directory
|
static String |
SAVE_ICON_FILENAME
The Save Icon Filename
|
static String |
SCRIPT_DIR
The script file directory
|
static String |
SERIALIZATION_FILE_EXTENSION
The file extension for serialized object files
|
static String |
SIGNATURE_FILE_EXTENSION
The file extension for Signature files
|
static String |
SIGNATURE_SAVE_DIR
The signature save file directory
|
static String |
STOP_ICON_FILENAME
The Stop Icon Filename
|
static String |
SVG_FILE_EXTENSION
The file extension for graph files
|
static String |
TEMP_DIR
The temporary file directory
|
Constructor and Description |
---|
RavenMain() |
Modifier and Type | Method and Description |
---|---|
static void |
exit(int status)
Exits Raven and returns it's status.
|
static String |
getASCIIArt()
Returns the Raven logo as ASCII art.
|
static String |
getInfo()
Returns informations about Raven.
|
static String |
getProperty(String name)
Returns the value of a property.
|
static Set<String> |
getPropertyNames()
Returns a set of names of properties currently set for Raven.
|
static boolean |
isSystemProperty(String name)
Checks if the property
name is a system property. |
static void |
main(String[] args)
Starts Raven.
|
static void |
removeProperty(String name)
Removes the property
name . |
static void |
restart()
Restarts Raven.
|
static void |
saveProperties()
Save the properties in a file.
|
static void |
setProperty(String name,
String value)
Sets the property
name to the value value . |
public static final int EXIT_CODE_NORMAL_TERMINATION
public static final int EXIT_CODE_UNEXPECTED_ERROR
public static final int EXIT_CODE_SAVE_DIR_CREATION_FAILED
public static final int EXIT_CODE_SCRIPT_DIR_CREATION_FAILED
public static final int EXIT_CODE_TEMP_DIR_CREATION_FAILED
public static final int EXIT_CODE_SECURITY_EXCEPTION
public static final int EXIT_CODE_PROPERTIES_FILE_NOT_FOUND
public static final int EXIT_CODE_PROPERTIES_IO_EXCEPTION
public static final int EXIT_CODE_OUT_OF_MEMORY
public static final String MAIN_DIR
public static final String RES_DIR
public static final String SAVE_DIR
public static final String AUTOMATON_SAVE_DIR
public static final String COSPAN_SAVE_DIR
public static final String DECOMPOSITION_SAVE_DIR
public static final String DOCUMENTATION_FOLDER
public static final String DOT_SAVE_DIR
public static final String GRAPH_SAVE_DIR
public static final String SCRIPT_DIR
public static final String SIGNATURE_SAVE_DIR
public static final String TEMP_DIR
public static final String ICON_DIR
public static final String JAVA_LAUNCHER_COMMAND
public static final String DOT_BDD_LAYOUTER
public static final String DOT_GRAPH_LAYOUTER
public static final String DOT_RUN_LAYOUTER
public static final String GXL_DTD_URI
public static final String RAVEN_MANUAL_FILE_NAME
public static final String AUTOMATON_FILE_EXTENSION
public static final String BDD_FILE_EXTENSION
public static final String COSPAN_GXL_FILE_EXTENSION
public static final String DECOMPOSITION_FILE_EXTENSION
public static final String DOT_FILE_EXTENSION
public static final String GRAPH_GXL_FILE_EXTENSION
public static final String JAR_FILE_EXTENSION
public static final String RAVEN_SCRIPT_FILE_EXTENSION
public static final String SERIALIZATION_FILE_EXTENSION
public static final String SIGNATURE_FILE_EXTENSION
public static final String SVG_FILE_EXTENSION
public static final String DIALOG_ERROR_ICON_FILENAME
public static final String DIALOG_INFORMATION_ICON_FILENAME
public static final String DIALOG_QUESTION_ICON_FILENAME
public static final String DIALOG_WARNING_ICON_FILENAME
public static final String EDIT_ICON_FILENAME
public static final String HELP_ICON_FILENAME
public static final String MAXIMIZE_VIEW_ICON_FILENAME
public static final String MINUS_ICON_FILENAME
public static final String OPEN_ICON_FILENAME
public static final String PLUS_ICON_FILENAME
public static final String RAVEN_ICON_FILENAME
public static final String BIG_RAVEN_ICON_FILENAME
public static final String RAVEN_LOGO_FILENAME
public static final String RUN_ICON_FILENAME
public static final String SAVE_ICON_FILENAME
public static final String STOP_ICON_FILENAME
public static final String RAVEN_UPDATE_FILE
public static final String[] RAVEN_UPDATE_URLS
public static final String RAVEN_UPDATE_SCHEMA_FILENAME
public static final String DEFAULT_DOMINATING_SET_ENCODING
public static final String DEFAULT_VERTEX_COVER_ENCODING
public static final String DEFAULT_COLORABILITY_ENCODING
public static final String FILE_COMMENT_SIGN
public static final String PROPERTY_DEFAULT_LEVEL
public static final String PROPERTY_DOT_PATH
public static final String PROPERTY_DOWNLOAD_BETA_VERSION
public static final String PROPERTY_FILE_HANDLER_FORMATTER
public static final String PROPERTY_FILE_HANDLER_LIMIT
public static final String PROPERTY_FILE_HANDLER_PATTERN
public static final String PROPERTY_FILE_HANDLER_LEVEL
public static final String PROPERTY_HANDLERS
public static final String PROPERTY_RAVEN_LOGGING_HANDLER_LEVEL
public static final String PROPERTY_SLOPPY_MODE
public static final String PROPERTY_TIME
public static final String PROPERTY_VERBOSE
public static void main(String[] args)
args
- the arguments passed to Ravenpublic static String getInfo()
public static String getASCIIArt()
public static Set<String> getPropertyNames()
public static String getProperty(String name)
name
- the name of the propertypublic static void setProperty(String name, String value)
name
to the value value
. If the property
is not existing yet, it is added.name
- the name of the propertyvalue
- the value of the propertypublic static void removeProperty(String name)
name
.name
- the name of the property
NOTE: Only user-defined properties can be removed.public static boolean isSystemProperty(String name)
name
is a system property.name
- the name of the property
NOTE: Only user-defined properties can be removed.true
if the property is a system property, false
otherwisepublic static void saveProperties()
public static void exit(int status)
status
- a value indicating the exit statuspublic static void restart()