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

/barrelfish-master/usr/eclipseclp/JavaInterface/src/com/parctechnologies/eclipse/
H A DEmbeddedEclipse.java272 res = NativeEclipse.setOption(StringOption.DEFAULT_MODULE , options.getDefaultModule());
349 static final int DEFAULT_MODULE = 10; field in interface:EmbeddedEclipse.StringOption

Completed in 29 milliseconds