|
||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||
java.lang.Objectcom.parctechnologies.eclipse.EclipseEngineOptions
public class 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 | |||||||