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

/barrelfish-master/usr/eclipseclp/JavaInterface/src/com/parctechnologies/eclipse/
H A DEmbeddedEclipse.java248 res = NativeEclipse.setOption(IntOption.OPTION_ARGC, options.getCommandLineOptions().length);
283 res = NativeEclipse.setOption(IntOption.LOCALSIZE , options.getLocalSize() * options.MEGABYTE);
294 res = NativeEclipse.setOption(IntOption.GLOBALSIZE , options.getGlobalSize() * options.MEGABYTE);
301 NativeEclipse.setOption(IntOption.IO , options.isUsingQueues()? 2 : 0);
306 // NativeEclipse.setOption(IntOption.CWD_SEPARATE , 1);
364 private interface IntOption interface in class:EmbeddedEclipse

Completed in 30 milliseconds