eclipse/visualisation/ScenarioManager.java

47      * Stores scenarios against their ViewableNames
210      * Offers the user a list of loaded scenarios and saves the
214 	Collection scenarios = selectScenarios();
215         if ( scenarios != null ) {
218 					    "\nSaving :"+scenarios+"\n");
220             saveScenarios(scenarios);
226      * Offer the user a list of currently registered scenarios
229         Collection scenarios = null;
237                                           "scenarios in memory.");
252                                           "Select the scenarios to save",
261                 if (scenarios == null) {
262                     scenarios = new LinkedList();
264                 scenarios.add(scenarioArray[i]);
267         return scenarios;
272      * Saves the scenarios to disk
275     void saveScenarios(Collection scenarios) {
277         if (scenarios.size()==1) {
279                 ((Scenario)(scenarios.iterator().next())).getViewableName();
310 		    saveScenariosToFile(file, scenarios);
355      * Saves the scenarios to the given file
357     private void saveScenariosToFile(File file, Collection scenarios)
363 	p.writeObject(scenarios);
369      * Loads arbitrary scenarios
372 	Collection scenarios = loadScenarios("");
375                                         "\nLoaded :"+scenarios+"\n");
377         if ( (scenarios != null) && (scenarios.size() > 0) ) {
378             Object[] message = new String[scenarios.size()+1];
379             message[0] = "Successfully loaded scenarios for viewables : ";
381             for(Iterator it = scenarios.iterator(); it.hasNext(); i++) {
392      * Loads scenarios from disk
401 	Collection scenarios = null;
415 		    scenarios = loadScenariosFromFile(file);
446 	return scenarios;
450      * Loads scenarios from the given file
458 	Collection scenarios = null;
462             scenarios = new ArrayList(1);
463             scenarios.add(o);
465             scenarios = (Collection)o;
468  	return scenarios;
659      * A dialog for selecting scenarios