Searched refs:OPTION_ARGC (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);
371 static final int OPTION_ARGC = 2; field in interface:EmbeddedEclipse.IntOption

Completed in 30 milliseconds