public class EclipseEngineOptions
extends java.lang.Object
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 and Description |
---|
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.
|
Modifier and Type | Method and Description |
---|---|
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.
|
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.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
.