module InstructorVersion;

(****
* This module contains all the operations and objects specific to the instructor version.
*)

import QandA;

import Roster;

from View import Layer, Enabler;

export LectureLayer;

object LectureLayer inherits from Layer;

operation ViewLecture is
     inputs:  lectureLayer:LectureLayer;
     outputs:  lectureLayer':LectureLayer;
     preconditions:  lectureLayer.enable = false;
     postconditions:  lectureLayer'.enable = true;
     description: (* This allows the instructor to turn the lecture layer on and off once the public layer has been activated. *);
end ViewLecture;

end InstructorVersion;