Searched refs:StringArrayOption (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());
356 private interface StringArrayOption interface in class:EmbeddedEclipse

Completed in 130 milliseconds