public final class Main
extends java.lang.Object
java -jar electric.jar [electric-options]
without plugins
java -classpath electric.jardelim{list of plugins} com.sun.electric.Launcher [electric-options]
otherwise, where delim is OS-dependant separator
And Electric options are:
-mdi: multiple document interface mode
-sdi: single document interface mode
-NOMINMEM: ignore minimum memory provided for JVM
-s script name: bean shell script to execute
-version: version information
-v: brief version information
-debug: debug mode. Extra information is available
-server: dump strace of snapshots
-help: this message
See manual for more instructions.
Modifier and Type | Class and Description |
---|---|
static class |
Main.UserInterfaceDummy |
Modifier and Type | Method and Description |
---|---|
static long |
getMemoryUsage()
Method to return the amount of memory being used by Electric.
|
static void |
main(java.lang.String[] args)
The main entry point of Electric.
|
static void |
openCommandLineLibs(java.util.List<java.lang.String> argsList)
open any libraries specified on the command line.
|
public static void main(java.lang.String[] args)
args
- the arguments to the program.public static void openCommandLineLibs(java.util.List<java.lang.String> argsList)
public static long getMemoryUsage()