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

/barrelfish-master/usr/eclipseclp/JavaInterface/src/com/parctechnologies/eclipse/
H A DNativeEclipse.java42 static native int setOption(int opt, int val); method in class:NativeEclipse
44 static native int setOption(int opt, String val); method in class:NativeEclipse
46 static native int setOption(int opt, String[] vals); method in class:NativeEclipse
H A DEmbeddedEclipse.java237 res = NativeEclipse.setOption(StringOption.ECLIPSEDIR , options.getEclipseDir());
248 res = NativeEclipse.setOption(IntOption.OPTION_ARGC, options.getCommandLineOptions().length);
256 res = NativeEclipse.setOption(StringArrayOption.OPTION_ARGV, options.getCommandLineOptions());
272 res = NativeEclipse.setOption(StringOption.DEFAULT_MODULE , options.getDefaultModule());
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);

Completed in 83 milliseconds