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

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

Completed in 81 milliseconds