Searched defs:setEclipseDir (Results 1 - 1 of 1) sorted by relevance
/barrelfish-master/usr/eclipseclp/JavaInterface/src/com/parctechnologies/eclipse/ | ||
H A D | EclipseEngineOptions.java | 293 public void setEclipseDir(File eclipseDir) method in class:EclipseEngineOptions |
Completed in 78 milliseconds