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

/barrelfish-master/usr/eclipseclp/JavaInterface/src/com/parctechnologies/eclipse/
H A DEmbeddedEclipse.java292 if ( options.getGlobalSize() != 0 )
294 res = NativeEclipse.setOption(IntOption.GLOBALSIZE , options.getGlobalSize() * options.MEGABYTE);
297 "Setting eclipse global stack size to "+ options.getGlobalSize() + "M result = "+res);
H A DEclipseEngineOptions.java256 int getGlobalSize() method in class:EclipseEngineOptions
H A DOutOfProcessEclipse.java256 if(options.getGlobalSize() != 0)
259 cmdarray[cmd++] = (new Integer(options.getGlobalSize()).toString())+"M";

Completed in 30 milliseconds