Lines Matching defs:EclipseEngineOptions
24 //Version: $Id: EclipseEngineOptions.java,v 1.1 2006/09/23 01:54:09 snovello Exp $
34 * engine. When constructing an instance of <i>EclipseEngineOptions</i> the
53 * <i>EclipseEngineOptions</i> object has been created.
58 public class EclipseEngineOptions
85 * Construct a set of EclipseEngineOptions using a specified ECLiPSe
94 public EclipseEngineOptions(File eclipseDirectory)
101 * Construct a set of EclipseEngineOptions looking up all settings in
111 public EclipseEngineOptions()
117 * Construct a set of EclipseEngineOptions looking up all settings in
127 public EclipseEngineOptions(Properties properties)