5.2. View (View.rsl)

uplevel
downlevel
roadmap
previous node
next node
records
windows


(****
 *
 * Module View defines the objects and operations related to viewing
 * a Tutorial in the CSTutor application.
 *
 *)

module View;

(*  from CalendarDB import CalendarDB;
  export Event; *)

  object LessonExplorer is
    components: Level*;
    description: (*
        A lesson explorer contains Levels.
    *);
  end LessonExplorer;

  object Level is
    components: Department* and Course* and Instructor* and Section* and LessonLink*;
    description: (*
        A level is one of the levels of browsing for tutorial in CSTutor.
    *);
  end Level;

  object Department is string;
  object Course     is integer;
  object Instructor is string;
  object Section    is integer;
  object LessonLink is string;

  operation UpLevel is
    inputs: LessonExplorer, CurrentLevel;
    outputs: LessonExplorer, PrevLevel;
    preconditions: ;
    postconditions: ;
    description: (*

    *);
  end UpLevel;

  operation DownLevel is
    inputs: LessonExplorer, CurrentLevel;
    outputs: LessonExplorer, NextLevel;
    preconditions: ;
    postconditions: ;
    description: (*

    *);
  end DownLevel;

  operation viewRoadmap is
    inputs: Lesson, WindowView;
    outputs: Lesson, RoadView;
    preconditions: ;
    postconditions: ;
    description: (*

    *);
  end drawLine;

  operation viewNextNode is
    inputs: Lesson, Window;
    outputs: Lesson, NextNodeView;
    preconditions: ;
    postconditions: ;
    description: (*

    *);
  end viewNextNode;

end View;





Prev: [none] | Next: caldb.rsl | Up: spec | Top: index