|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectcom.parctechnologies.eclipse.EclipseEngineOptions
Encapsulates a set of options which can be used to initialise a new ECLiPSe engine. When constructing an instance of EclipseEngineOptions the options settings can be read from an instance of java.util.Properties using a standard key string for each option:
int
) for the size of the global
stack in megabytes.
int
) for the size of the local
stack in megabytes.
boolean
) for the "use queues" flag. Defaults to false.
Constructor Summary | |
EclipseEngineOptions()
Construct a set of EclipseEngineOptions looking up all settings in the system properties. |
|
EclipseEngineOptions(java.io.File eclipseDirectory)
Construct a set of EclipseEngineOptions using a specified ECLiPSe installation and looking up all other settings in the system properties. |
|
EclipseEngineOptions(java.util.Properties properties)
Construct a set of EclipseEngineOptions looking up all settings in the parameter set of properties. |
Method Summary | |
void |
setDefaultModule(java.lang.String defaultModule)
Set the default ECLiPSe module where goals are called. |
void |
setEclipseDir(java.io.File eclipseDir)
Set the directory where ECLiPSe is installed. |
void |
setGlobalSize(int globalSize)
Set size of the ECLiPSe global stack in megabytes. |
void |
setLocalSize(int localSize)
Set size of the ECLiPSe local stack in megabytes. |
void |
setPeerName(java.lang.String peerName)
Set the peer name by which the Java side will be referenced in ECLiPSe. |
void |
setUseQueues(boolean useQueues)
Set the "use queues" flag. |
Methods inherited from class java.lang.Object |
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
public EclipseEngineOptions(java.io.File eclipseDirectory)
java.lang.IllegalArgumentException
- if any of the system properties does not
parse to the correct type.public EclipseEngineOptions()
java.lang.IllegalArgumentException
- if there is not an
eclipse.directory property in the system properties, or if any of
the system properties does not parse to the correct type.public EclipseEngineOptions(java.util.Properties properties)
java.lang.IllegalArgumentException
- if there is not an
eclipse.directory property in the parameter Properties, or if any of
the properties does not parse to the correct type.Method Detail |
public void setDefaultModule(java.lang.String defaultModule)
public void setPeerName(java.lang.String peerName)
public void setEclipseDir(java.io.File eclipseDir)
public void setLocalSize(int localSize)
public void setGlobalSize(int globalSize)
public void setUseQueues(boolean useQueues)
EclipseEngine.getEclipseStdin()
, EclipseEngine.getEclipseStdout()
and EclipseEngine.getEclipseStderr()
will all return null
.
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |