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

/barrelfish-master/usr/eclipseclp/JavaInterface/src/com/parctechnologies/eclipse/
H A DEmbeddedEclipse.java237 res = NativeEclipse.setOption(StringOption.ECLIPSEDIR , options.getEclipseDir());
272 res = NativeEclipse.setOption(StringOption.DEFAULT_MODULE , options.getDefaultModule());
347 private interface StringOption interface in class:EmbeddedEclipse

Completed in 25 milliseconds