(******
 * This file defines objects and operation in the EDIT menu
 *
 *
 *)


(* Operations from the Edit menu *)
module Edit;
from Gradesheet import GradeSheet;

  operation UndoLastChange is
	inputs: GradeSheet;
	outputs: GradeSheet;
	description: (*
		Restores the status of the Gradesheet prior to the last command.
	*);
  end UndoLastChange;

  operation RedoLastChange is
	inputs: GradeSheet;
	outputs: GradeSheet;
	description: (*
		Repeats the last command executed on the Gradesheet.
		This effectively negates UndoLastChange.
	*);
  end RedoLastChange;

  operation CutFromGradesheet is
	inputs: GradeSheet;
	outputs: GradeSheet;
	description: (*
		
	*);
  end CutFromGradesheet;

  operation CopyFromGradesheet is
	inputs: GradeSheet;
	outputs: GradeSheet;
	description: (*
		
	*);
  end CopyFromGradesheet;

  operation PasteToGradesheet is
	inputs: GradeSheet;
	outputs: GradeSheet;
	description: (*
		
	*);
  end PasteToGradesheet;

  operation ClearFromGradesheet is
	inputs: GradeSheet;
	outputs: GradeSheet;
	description: (*
		
	*);
  end ClearFromGradesheet;

  operation FillGradeColumnDown is
	inputs: GradeSheet;
	outputs: GradeSheet;
	description: (*
		
	*);
  end FillGradeColumnDown;

  operation FillGradeRowAcross is
	inputs: GradeSheet;
	outputs: GradeSheet;
	description: (*
		
	*);
  end FillGradeRowAcross;
end Edit;