(***
*
*Module View defines the objects and operations related to the different scheduling categories available to the user.
*
*)

module View;

operation ViewCourses is
inputs: ;
outputs: ;
precondition: ;
postcondition: ;
description: (*
*);
end ViewCourses;

operation ViewInstructors is
inputs: ;
outputs: ;
precondition: ;
postcondition: ;
description: (*

*);
end ViewInstructors;

operation ViewClassrooms is
inputs: ;
outputs: ;
precondition: ;
postcondition: ;
description: (*

*);

end ViewClassrooms;

operation ViewSchedule is
inputs: ;
outputs: ;
precondition: ;
postcondition: ;
description: (*

*);

end ViewSchedule;

end View;