Lines Matching defs:options
41 * JEclipse [options]
43 * [options] can be any of the usual ECLiPSe command-line options. -g, and -l
45 * the nearest megabyte. -h is ignored. The other documented options, -e and
46 * -b, and options following -- are processed as usual by the underlying
69 // options object
70 EclipseEngineOptions options = null;
75 // try to create the options object. If an exception is thrown because
80 options = createOptions();
92 // scan the command line arguments for the options -g, -l and -s.
95 setMemoryOptionsFromCommandLine(options, args);
116 options.setCommandLineOptions(clargs);
119 eclipse = EmbeddedEclipse.getInstance(options);
149 // creates options object
166 // create options
167 EclipseEngineOptions options = new EclipseEngineOptions(eclipseDir);
170 options.setUseQueues(false);
172 return(options);
180 // occur before -- then set the various memory options according to the
183 private void setMemoryOptionsFromCommandLine(EclipseEngineOptions options,
191 options.setGlobalSize(globalSize.intValue());
195 options.setLocalSize(localSize.intValue());
202 // one of the options illegally.
212 // if argument is --, ignore all further options