public final class Launcher
extends java.lang.Object
Modifier and Type | Method and Description |
---|---|
static java.lang.Class |
classFromPlugins(java.lang.String className) |
static java.lang.String |
getJarLocation()
Method to return a String that gives the path to the Electric JAR file.
|
static long |
getPermGenMax() |
static java.lang.Process |
invokePipeserver(java.util.List<java.lang.String> javaOptions,
java.util.List<java.lang.String> electricOptions) |
static void |
main(java.lang.String[] args)
The main entry point of Electric.
|
public static void main(java.lang.String[] args)
args
- the arguments to the program.public static long getPermGenMax()
public static java.lang.String getJarLocation()
public static java.lang.Process invokePipeserver(java.util.List<java.lang.String> javaOptions, java.util.List<java.lang.String> electricOptions) throws java.io.IOException
java.io.IOException
public static java.lang.Class classFromPlugins(java.lang.String className) throws java.lang.ClassNotFoundException
java.lang.ClassNotFoundException