Searched refs:eclipseDir (Results 1 - 4 of 4) sorted by relevance

/barrelfish-master/usr/eclipseclp/JavaInterface/src/com/parctechnologies/eclipse/
H A DEclipseEngineOptions.java64 private String eclipseDir; field in class:EclipseEngineOptions
134 if(eclipseDir == null)
242 return(eclipseDir);
293 public void setEclipseDir(File eclipseDir) argument
295 this.eclipseDir = eclipseDir.getAbsolutePath();
H A DJEclipse.java153 File eclipseDir;
159 eclipseDir = new File(System.getProperty("eclipse.directory"));
167 EclipseEngineOptions options = new EclipseEngineOptions(eclipseDir);
H A DOutOfProcessEclipse.java220 File eclipseDir = new File(options.getEclipseDir());
222 Platform.getInstance().getExecutableSubdirectory(eclipseDir);
224 Platform.getInstance().getLibrarySubdirectory(eclipseDir);
243 cmdarray[cmd++] = eclipseDir.toString();
279 cmdarray[cmd++] = (new File(new File(eclipseDir, "lib"), "joop_boot.eco")).toString();
H A DEmbeddedEclipse.java314 private static void loadEclipse(String eclipseDir) argument
326 Platform.getInstance().loadEclipseSharedLibrary(new File(eclipseDir));

Completed in 93 milliseconds