Searched refs:getEclipseDir (Results 1 - 3 of 3) sorted by relevance

/barrelfish-master/usr/eclipseclp/JavaInterface/src/com/parctechnologies/eclipse/
H A DEmbeddedEclipse.java227 if(options.getEclipseDir() == null)
234 loadEclipse(options.getEclipseDir());
237 res = NativeEclipse.setOption(StringOption.ECLIPSEDIR , options.getEclipseDir());
241 options.getEclipseDir() +
H A DEclipseEngineOptions.java240 String getEclipseDir() method in class:EclipseEngineOptions
H A DOutOfProcessEclipse.java216 if(options.getEclipseDir() == null)
220 File eclipseDir = new File(options.getEclipseDir());

Completed in 37 milliseconds