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

/barrelfish-master/usr/eclipseclp/JavaInterface/src/com/parctechnologies/eclipse/
H A DEmbeddedEclipse.java256 res = NativeEclipse.setOption(StringArrayOption.OPTION_ARGV, options.getCommandLineOptions());
358 static final int OPTION_ARGV = 3; field in interface:EmbeddedEclipse.StringArrayOption

Completed in 79 milliseconds