Searched refs:setOption (Results 1 - 2 of 2) sorted by relevance
/barrelfish-master/usr/eclipseclp/JavaInterface/src/com/parctechnologies/eclipse/ |
H A D | NativeEclipse.java | 42 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 D | EmbeddedEclipse.java | 237 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