module Options;

  from Schedule import Appointment;

  export Options, Scheduling, SchedulingDefaults;

  object Options is
    components: TimesAndDates and Fonts and sched:Scheduling and Viewing and
        Administrative;
    description: (*

    *);
  end Options;

  object TimesAndDates is
    components: TimeDisplayFormat and DateDisplayFormat and DateSample;
    description: (*
       TimesAndDates options include ... .
    *);
  end TimesAndDates;

  object TimeDisplayFormat is
    components: 'TwelveHour' or 'TwentyFourHour';
    description: (*
    *);
  end TimeDisplayFormat;

  object DateDisplayFormat is
    components: prefix:Prefix and p1:Position and s1:Separator and
        p2:Position and s2:Separator and p3:Position and s3:Separator and
        p4:Position and s4:Separator;
    description: (*

    *);
  end DateDisplayFormat;

  obj Prefix is string;
  obj Separator is string;
  object Position is
    components: 'DayOfWeekFull' or 'DayOfWeekThreeChar' or
        'DayOfWeekOneOrTwoChar' or 'DateNumber' or 'MonthFullName' or
        'MonthShortName' or 'MonthNumber' or 'YearFourDigits' or
        'YearTwoDigits';
    description: (*

    *);
  end Position;

  obj DateSample is string;

  object Fonts is
    components: UserEnteredData and HeadersAndLabels;
    description: (*
        Fonts options include ... .
    *);
  end Fonts;

  object UserEnteredData is FontOption
    description: (*

    *);
  end UserEnteredData;

  object HeadersAndLabels is FontOption
    description: (*

    *);
  end HeadersAndLabels;

  object FontOption is
    components: FontName and Style and Size and DisplayType;
    description: (*

    *);
  end FontOption;

  obj FontName is string;
  obj Style is string;
  obj Size is integer;
  obj DisplayType is 'Item' or 'Day' or 'Week' or 'Month' or 'Year' or
        'Lists' or 'Dialogs' or 'AllDisplays';

  obj Scheduling is defaults:SchedulingDefaults and ... ;
  obj SchedulingDefaults is appt:Appointment and ... ;

  obj Viewing
    description: (*
        Viewing options include ...
    *);
  end;

  obj Administrative
    description: (*
        Administrative options include ...
    *);
  end;

end Options;