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

/barrelfish-master/usr/eclipseclp/JavaInterface/src/com/parctechnologies/eclipse/
H A DEclipseEngineOptions.java338 void setCommandLineOptions(String[] args) method in class:EclipseEngineOptions
H A DJEclipse.java116 options.setCommandLineOptions(clargs);

Completed in 62 milliseconds