(*****
 * 
 * This file defines operations on the Scheduler Tool File menu
 *
 *)

module MenuFile;

  from Sched import Schedule;

  from Ws import Workspace;

  operation Open
    inputs: Workspace,Filename;
    outputs: Workspace;
    description: (*
	Opens the specified file 
	*);
  end Open;

  operation Save 
    inputs: Schedule;
    outputs: ;
    description: (*
	Saves changes to theSchedule
	*);
  end Save;

  operation SaveAs 
    inputs: Schedule, Filename;
    outputs: ;
    description: (*
	Saves the schedule to a new filename
	*);
  end SaveAs;

  operation Print 
    inputs: Schedule;
    outputs: ;
    description: (*
	Prints the current schedule
	*);
  end Print;

  operation Exit 
    inputs: Workspace;
    outputs: ;
    description: (*
	Exits the application, prompts to save if Schedule in workspace is unsaved.
	*);
  end Exit;

  object Filename
    components: string;
    description: (*
      A filename to save the schedule as.
    *);
  end Filename;

end MenuFile;