(****** * This file defines objects and operations in the VIEW menu * * *) module View; from Gradesheet import all; op ShowColumn is inputs: c:Column, g:GradeSheet; outputs: g':GradeSheet; description:(* Takes a Column that is currently hidden and shows it in the GradeSheet. *); precondition: ; postcondition: ; end ShowColumn; op HideColumn is inputs: c:Column, g:GradeSheet; outputs: g':GradeSheet; description:(* Takes a Column that is currently shown and hides it from view in GradeSheet. *); precondition:; postcondition: ; end HideColumn; end View;