Lines Matching defs:options
39 * and then passed to this method to start the ECLiPSe with user-defined options.<p>
50 * EclipseEngineOptions options = new EclipseEngineOptions(new File("C:\Eclipse\"));
52 * options.setUseQueues(true);
55 * EclipseEngine testEclipse = EmbeddedEclipse.getInstance(options);
94 * embedded ECLiPSe using the options specified in the parameter
97 * @param options user-definable options used to configure the embedded
109 public synchronized static EmbeddedEclipse getInstance(EclipseEngineOptions options)
123 // create a new one using the param options
124 single = new EmbeddedEclipse(options);
159 private EmbeddedEclipse(EclipseEngineOptions options) throws EclipseException,
162 // Process the set of options. This examines the options and
164 processOptions(options);
191 useQueues = options.isUsingQueues();
193 // If options object dictates that we should use queues to represent
195 if (options.isUsingQueues())
201 // do an rpc to set up the peer name from the options.
204 new Atom(options.getPeerName()),
215 * Process the set of options. This examines the options and
218 private void processOptions(EclipseEngineOptions options) throws EclipseException
222 // set the peer name in this object from the peer name in the options object
223 this.setPeerName(new Atom(options.getPeerName()));
227 if(options.getEclipseDir() == null)
234 loadEclipse(options.getEclipseDir());
236 // set up the installation directory in NativeEclipse according to options
237 res = NativeEclipse.setOption(StringOption.ECLIPSEDIR , options.getEclipseDir());
241 options.getEclipseDir() +
244 // if user has set it in options, set up the command line options in
245 // NativeEclipse according to options
246 if(options.getCommandLineOptions() != null)
248 res = NativeEclipse.setOption(IntOption.OPTION_ARGC, options.getCommandLineOptions().length);
253 options.getCommandLineOptions().length +
256 res = NativeEclipse.setOption(StringArrayOption.OPTION_ARGV, options.getCommandLineOptions());
261 options.getCommandLineOptions()+
268 // if user has set it in options, set up the default module in
269 // NativeEclipse according to options
270 if ( options.getDefaultModule() != null )
272 res = NativeEclipse.setOption(StringOption.DEFAULT_MODULE , options.getDefaultModule());
275 "Setting eclipse default module to '"+ options.getDefaultModule() +
279 // if user has set it in options, set up the local stack size in
280 // NativeEclipse according to options
281 if ( options.getLocalSize() != 0 )
283 res = NativeEclipse.setOption(IntOption.LOCALSIZE , options.getLocalSize() * options.MEGABYTE);
286 "Setting eclipse local stack size to "+ options.getLocalSize() +
290 // if user has set it in options, set up the global stack size in
291 // NativeEclipse according to options
292 if ( options.getGlobalSize() != 0 )
294 res = NativeEclipse.setOption(IntOption.GLOBALSIZE , options.getGlobalSize() * options.MEGABYTE);
297 "Setting eclipse global stack size to "+ options.getGlobalSize() + "M result = "+res);
301 NativeEclipse.setOption(IntOption.IO , options.isUsingQueues()? 2 : 0);
345 * The String typed options
354 * The StringArray typed options
362 * The int typed options