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

/barrelfish-2018-10-04/usr/eclipseclp/Visualisation/src/com/parctechnologies/eclipse/visualisation/
H A DScenario.java148 FileOutputStream ostream = new FileOutputStream(fname);
H A DScenarioManager.java33 import java.io.FileOutputStream;
360 FileOutputStream ostream = new FileOutputStream(file);

Completed in 19 milliseconds