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

/barrelfish-master/usr/eclipseclp/JavaInterface/src/com/parctechnologies/eclipse/
H A DEclipseEngineOptions.java136 getEclipseDirFromProperties(properties);
145 private void getEclipseDirFromProperties(Properties properties) method in class:EclipseEngineOptions

Completed in 135 milliseconds