--------------------------------------------------------------------------
Software Design and Development                      Winter 1995
COM 1205
---------------------------------------------------------------------------
Final

168 points total

QUESTION 1:
2 UNKNOWNs 30 points combined
QUESTION 2:
13 UNKNOWNs 3 points each: 39 points
QUESTION 3:
13 UNKNOWNs 3 points each: 39 points
QUESTION 4:
2 UNKNOWNs 30 points combined
QUESTION 5:
1 UNKNOWN, 30 points

---------------------------------------------------------------------------
Open book and open notes.

To make the grading easier, please put your values for the
unknowns on the enclosed answer sheet.

THE GAME OF REDUNDANCY AND UNKNOWNS
-----------------------------------

Most of the questions in this exam ask you to determine unknowns
of the form UNKNOWN1, UNKNOWN2, ... This makes it easier for you
to answer the questions, since you get extra context information.
Yet you need to master the behavioral objectives of the course to answer
the questions. Guessing an answer is not a successful strategy and
therefore a "game of redundancy" test is more interesting than
a multiple choice test.

The questions have the following pattern: I show you several artifacts
which are related by the theory of object-oriented design and
programming. Because of the dependencies between the artifacts,
some of the information is redundant and can be recovered from the
context by applying the objectives covered in the course.
The information which you should discover is marked UNKNOWNx.

If an unknown is not uniquely determined, mark the answer with *CHOICE*.
An unknown may be anything, e.g., a number, an identifier, a character,
two identifiers with a blank between them,
a string etc. If an unknown is the empty string, give NOTHING as answer,
e.g., UNKNOWN = NOTHING.

Example:

5 + UNKNOWN1 = 8

UNKNOWN1 = 3

---------------

UNKNOWN2 * UNKNOWN3 = 20

UNKNOWN2 = 4 *CHOICE*
UNKNOWN3 = 5 *CHOICE*

At the beginning of a question we give the number of points per unknown.

Question 1:
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
Class dictionary evolution, class structure design.
30 points combined.


You join a company which develops meeting scheduler programs and
you are asked to maintain their application. Currently
they are using the following class dictionary CAL_SCHED:

======================================================================
// CALENDAR SCHEDULER class dictionary

CalendarScheduler = 
  "meetings" <meetings> List(Meeting) 
  // the following tells us about personal calendars
  // and preferences of local members.
  "members" <members> List(Member).

Meeting = "meeting"
  "meetingId" <meetingId> NumericId 
  "title" <meetingTitle> Title 
  <occurrence> Occurrence
  "participants" <participants> List(ParticipantAll).

ParticipantAll : Member | Outsider *common* <name> PeopleName.
Outsider = "outsider" .
Member = 
  "memberId" <memberId> Id
  [<memberInfo> MemberInfo].
MemberInfo =
  <personalCal> PersonalCal. 

PersonalCal = "personal" "calendar"
  <appointments> List(Appointment).
Appointment =  "appointment"
  "appointmentTopic" <name> Title 
  <occurence> SingleOccurrence.

Occurrence :  SingleOccurrence | WeeklyOccurrence 
  *common* <time> TimeSlot.
SingleOccurrence = 
  <date> Date.
Date = "date" "{" <m> Month "/" <d> Day "/" <y> Year "}".
Day = <v> DemNumber.
Month = <v> DemNumber.
Year = <v> DemNumber.
Zeit = <h> Hour ":" <m> Minute.
Hour = <v> DemNumber.
Minute = <v> DemNumber.
WeeklyOccurrence = "weekly" <dayOfWeek> DayOfWeek.
DayOfWeek : Sunday | Monday | Tuesday | Wednesday | 
  Thursday | Friday | Saturday.
Sunday = "su". 
Monday = "mo". 
Tuesday = "tu". 
Wednesday = "we". 
Thursday = "th". 
Friday = "fr". 
Saturday = "sa".

// common vertices
NumericId = <v> DemNumber.
Id = <v> DemIdent.
Title = <v> DemString.
Duration = <v> DemNumber.
PeopleName = <name> DemString.

List(S) ~ "(" {S} ")".

// Time Slots
TimeSlotC = "{" <slot> TimeSlot <count> Count "}".
TimeSlot = "from" <begin> Zeit "to" <end> Zeit .
Count = <v> DemNumber.

Dummy = List(TimeSlot).
======================================================================

The cross referenced version of CAL-SCHED is:


                         CD-NUMBERED-XREF
   Create a numbered cross reference list for a class dictionary.

-------------------------------------------------------------
 Class Dictionary
-------------------------------------------------------------
     1	// CALENDAR SCHEDULER
     2	// allow
     3	
     4	CalendarScheduler = 
     5	  "meetings" <meetings> List(Meeting) 
     6	  // the following tells us about personal calendars
     7	  // and preferences of local members.
     8	  "members" <members> List(Member).
     9	
    10	Meeting = "meeting"
    11	  "meetingId" <meetingId> NumericId 
    12	  "title" <meetingTitle> Title 
    13	  <occurrence> Occurrence
    14	  "participants" <participants> List(ParticipantAll).
    15	
    16	ParticipantAll : Member | Outsider *common* <name> PeopleName.
    17	Outsider = "outsider" .
    18	Member = 
    19	  "memberId" <memberId> Id
    20	  [<memberInfo> MemberInfo].
    21	MemberInfo =
    22	  <personalCal> PersonalCal. 
    23	//--  <preferences> Preferences.
    24	
    25	PersonalCal = "personal" "calendar"
    26	  <appointments> List(Appointment).
    27	Appointment =  "appointment"
    28	  "appointmentTopic" <name> Title 
    29	  <occurence> SingleOccurrence.
    30	
    31	//-- Preferences = "preferences"
    32	//--   <preferences> List(Preference) .
    33	//-- Preference = 
    34	//--   <period> WeeklyOccurrence.
    35	
    36	Occurrence :  SingleOccurrence | WeeklyOccurrence 
    37	  *common* <time> TimeSlot.
    38	SingleOccurrence = 
    39	  <date> Date.
    40	Date = "date" "{" <m> Month "/" <d> Day "/" <y> Year "}".
    41	Day = <v> DemNumber.
    42	Month = <v> DemNumber.
    43	Year = <v> DemNumber.
    44	Zeit = <h> Hour ":" <m> Minute.
    45	Hour = <v> DemNumber.
    46	Minute = <v> DemNumber.
    47	WeeklyOccurrence = "weekly" <dayOfWeek> DayOfWeek.
    48	DayOfWeek : Sunday | Monday | Tuesday | Wednesday | 
    49	  Thursday | Friday | Saturday.
    50	Sunday = "su". 
    51	Monday = "mo". 
    52	Tuesday = "tu". 
    53	Wednesday = "we". 
    54	Thursday = "th". 
    55	Friday = "fr". 
    56	Saturday = "sa".
    57	
    58	// common vertices
    59	NumericId = <v> DemNumber.
    60	Id = <v> DemIdent.
    61	Title = <v> DemString.
    62	Duration = <v> DemNumber.
    63	PeopleName = <name> DemString.
    64	
    65	List(S) ~ "(" {S} ")".
    66	
    67	// Time Slots
    68	TimeSlotC = "{" <slot> TimeSlot <count> Count "}".
    69	TimeSlot = "from" <begin> Zeit "to" <end> Zeit .
    70	Count = <v> DemNumber.
    71	
    72	Dummy = List(TimeSlot).
    73	
    74	

-------------------------------------------------------------
 Cross Reference List
-------------------------------------------------------------
CalendarScheduler 	:4	
Meeting 	:10	5	
ParticipantAll 	:16	14	
Outsider 	:17	16	
Member 	:18	8	16	
MemberInfo 	:21	20	
PersonalCal 	:25	22	
Appointment 	:27	26	
Occurrence 	:36	13	
SingleOccurrence 	:38	29	36	
Date 	:40	39	
Day 	:41	40	
Month 	:42	40	
Year 	:43	40	
Zeit 	:44	69	69	
Hour 	:45	44	
Minute 	:46	44	
WeeklyOccurrence 	:47	36	
DayOfWeek 	:48	47	
Sunday 	:50	48	
Monday 	:51	48	
Tuesday 	:52	48	
Wednesday 	:53	48	
Thursday 	:54	49	
Friday 	:55	49	
Saturday 	:56	49	
NumericId 	:59	11	
Id 	:60	19	
Title 	:61	12	28	
Duration 	:62	
PeopleName 	:63	16	
List 	:65	5	8	14	26	72	
TimeSlotC 	:68	
TimeSlot 	:69	37	68	72	
Count 	:70	68	
Dummy 	:72	

-------------------------------------------------------------
 Alphabetically Sorted Cross Reference List
-------------------------------------------------------------
Appointment 	:27	26	
CalendarScheduler 	:4	
Count 	:70	68	
Date 	:40	39	
Day 	:41	40	
DayOfWeek 	:48	47	
Dummy 	:72	
Duration 	:62	
Friday 	:55	49	
Hour 	:45	44	
Id 	:60	19	
List 	:65	5	8	14	26	72	
Meeting 	:10	5	
Member 	:18	8	16	
MemberInfo 	:21	20	
Minute 	:46	44	
Monday 	:51	48	
Month 	:42	40	
NumericId 	:59	11	
Occurrence 	:36	13	
Outsider 	:17	16	
ParticipantAll 	:16	14	
PeopleName 	:63	16	
PersonalCal 	:25	22	
Saturday 	:56	49	
SingleOccurrence 	:38	29	36	
Sunday 	:50	48	
Thursday 	:54	49	
TimeSlot 	:69	37	68	72	
TimeSlotC 	:68	
Title 	:61	12	28	
Tuesday 	:52	48	
Wednesday 	:53	48	
WeeklyOccurrence 	:47	36	
Year 	:43	40	
Zeit 	:44	69	69	

==================
CAL-SCHED accepts the following sentence:

meetings(
  meeting
    meetingId 55
    title "Design for Isthmus documentation"
    date {1/28/95} from 14:00 to 14:30
    participants( 
      memberId s123 "Joe Maranda"
      memberId s456 "Manuel Freitas"))
members(
      memberId s123 
	personal calendar (
	  appointment 
	    appointmentTopic "imake tool, Salil" 
	    date {2/3/95} from  9:00 to 10:30)
      "Joe Maranda"
      memberId s456
	personal calendar (
	  appointment 
	    appointmentTopic "Isthmus testing, Salil" 
	    date {2/4/95} from  9:00 to 10:30)
      "Manuel Freitas"
      )

You are asked to change the class dictionary CAL_SCHED
so that you can also
describe member's preferences. The new class dictionary
should describe sentences like:


meetings(
  meeting
    meetingId 55
    title "Design for Isthmus documentation"
    date {1/28/95} from 14:00 to 14:30
    participants( 
      memberId s123 "Joe Maranda"
      memberId s456 "Manuel Freitas"))
members(
      memberId s123 
	personal calendar (
	  appointment 
	    appointmentTopic "imake tool, Salil" 
	    date {2/3/95} from  9:00 to 10:30)
	preferences(
	  weekly mo from 8:00 to 10:00
	  weekly th from 8:00 to 10:00)
      "Joe Maranda"
      memberId s456
	personal calendar (
	  appointment 
	    appointmentTopic "Isthmus testing, Salil" 
	    date {2/3/95} from  9:00 to 10:30)
	preferences(
	  weekly tu from 8:00 to 10:00
	  weekly th from 8:00 to 10:00)
      "Manuel Freitas"
      )

In UNKNOWN1 give the class definitions which you would add to CAL_SCHED
and in UNKNOWN2 give the class name of the class which you
modify in the existing class dictionary CAL_SCHED.

Keep the number of changes and additions as small as possible.


Question 2:
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
Executing a propagation pattern, understanding a design.
3 points per UNKNOWN: 39 points

The class dictionary is CAL_SCHED.
Find the UNKNOWNs in the output of the following propagation patterns.

The following Tcl script was used to drive the C++ application.

===========================
# CALENDAR SCHEDULER
set iId [Id new: [DemIdent new: "s123"]]
puts "iId"
set iDate [Date new: \
  [Month new: [DemNumber new: 2]] \
  [Day new: [DemNumber new: 3]] \
  [Year new: [DemNumber new: 95]]]
puts "iDate"
$iCalendarScheduler getMeetingFor: $iId
$iCalendarScheduler getPersonalCal: $iId
===========================


Propagation pattern:


*operation* void getMeetingFor(Id *memId)

*traverse*
  *from* CalendarScheduler
  *via* Meeting
  *to* Member
*carry* *in* Meeting* meet = (@ this; @)
  *along* *from* Meeting *to* Member
*wrapper* Member
  *prefix* (@ 
	    if (memberId->g_equal(memId)) {
	      cout << " ---------- member " << memId << endl ;
	      cout << " ---------- participated in meeting "
		   << meet << endl ;
	    }
	    @)

*operation* void getPersonalCal(Id *memId)
// for member with memberId memId print all the appointments
// of that member.
*traverse*
  *from* CalendarScheduler
  *via* Member_List
  *to* Appointment
*wrapper* Member
  *prefix* (@ if (memberId->g_equal(memId)) { 
    cout << " ---------- member " << memId << endl
	 << " ---------- has appointments " << endl;
    @)
  *suffix* (@ } @)
*wrapper* Appointment
  *prefix* (@ 
	    cout << " ------------- " << this << endl;
	    @)

Object:

: CalendarScheduler ( 
   < meetings > : Meeting_List { 
      : Meeting ( 
         < meetingId > : NumericId ( 
            < v > : DemNumber "55" ) 
         < meetingTitle > : Title ( 
            < v > : DemString "Design for Isthmus documentation" ) 
         < occurrence > : SingleOccurrence ( 
            < date > : Date ( 
               < m > : Month ( 
                  < v > : DemNumber "1" ) 
               < d > : Day ( 
                  < v > : DemNumber "28" ) 
               < y > : Year ( 
                  < v > : DemNumber "95" ) ) 
            < time > : TimeSlot ( 
               < begin > : Zeit ( 
                  < h > : Hour ( 
                     < v > : DemNumber "14" ) 
                  < m > : Minute ( 
                     < v > : DemNumber "0" ) ) 
               < end > : Zeit ( 
                  < h > : Hour ( 
                     < v > : DemNumber "14" ) 
                  < m > : Minute ( 
                     < v > : DemNumber "30" ) ) ) ) 
         < participants > : ParticipantAll_List { 
            : Member ( 
               < memberId > : Id ( 
                  < v > : DemIdent "s123" ) 
               < name > : PeopleName ( 
                  < name > : DemString "Joe Maranda" ) ) , 
            : Member ( 
               < memberId > : Id ( 
                  < v > : DemIdent "s456" ) 
               < name > : PeopleName ( 
                  < name > : DemString "Manuel Freitas" ) ) } ) } 
   < members > : Member_List { 
      : Member ( 
         < memberId > : Id ( 
            < v > : DemIdent "s123" ) 
         < memberInfo > : MemberInfo ( 
            < personalCal > : PersonalCal ( 
               < appointments > : Appointment_List { 
                  : Appointment ( 
                     < name > : Title ( 
                        < v > : DemString "imake tool, Salil" ) 
                     < occurence > : SingleOccurrence ( 
                        < date > : Date ( 
                           < m > : Month ( 
                              < v > : DemNumber "2" ) 
                           < d > : Day ( 
                              < v > : DemNumber "3" ) 
                           < y > : Year ( 
                              < v > : DemNumber "95" ) ) 
                        < time > : TimeSlot ( 
                           < begin > : Zeit ( 
                              < h > : Hour ( 
                                 < v > : DemNumber "9" ) 
                              < m > : Minute ( 
                                 < v > : DemNumber "0" ) ) 
                           < end > : Zeit ( 
                              < h > : Hour ( 
                                 < v > : DemNumber "10" ) 
                              < m > : Minute ( 
                                 < v > : DemNumber "30" ) ) ) ) ) } ) ) 
         < name > : PeopleName ( 
            < name > : DemString "Joe Maranda" ) ) , 
      : Member ( 
         < memberId > : Id ( 
            < v > : DemIdent "s456" ) 
         < memberInfo > : MemberInfo ( 
            < personalCal > : PersonalCal ( 
               < appointments > : Appointment_List { 
                  : Appointment ( 
                     < name > : Title ( 
                        < v > : DemString "Isthmus testing, Salil" ) 
                     < occurence > : SingleOccurrence ( 
                        < date > : Date ( 
                           < m > : Month ( 
                              < v > : DemNumber "2" ) 
                           < d > : Day ( 
                              < v > : DemNumber "4" ) 
                           < y > : Year ( 
                              < v > : DemNumber "95" ) ) 
                        < time > : TimeSlot ( 
                           < begin > : Zeit ( 
                              < h > : Hour ( 
                                 < v > : DemNumber "9" ) 
                              < m > : Minute ( 
                                 < v > : DemNumber "0" ) ) 
                           < end > : Zeit ( 
                              < h > : Hour ( 
                                 < v > : DemNumber "10" ) 
                              < m > : Minute ( 
                                 < v > : DemNumber "30" ) ) ) ) ) } ) ) 
         < name > : PeopleName ( 
            < name > : DemString "Manuel Freitas" ) ) } ) 

OUTPUT FROM PROPAGATION PATTERN

>> void CalendarScheduler::getMeetingFor(Id*  memId)
 >> void Meeting_List::getMeetingFor(Id*  memId)
  >> void Meeting::getMeetingFor(Id*  memId)
   >> void ParticipantAll_List::getMeetingFor(Id*  memId,Meeting*  meet)
    >> void Member::getMeetingFor(Id*  memId,Meeting*  meet)
    UNKNOWN1
    UNKNOWN2
    << void Member::getMeetingFor(Id*  memId,Meeting*  meet)
    >> void Member::getMeetingFor(Id*  memId,Meeting*  meet)
    << void Member::getMeetingFor(Id*  memId,Meeting*  meet)
   << void ParticipantAll_List::getMeetingFor(Id*  memId,Meeting*  meet)
  << void Meeting::getMeetingFor(Id*  memId)
 << void Meeting_List::getMeetingFor(Id*  memId)
<< void CalendarScheduler::getMeetingFor(Id*  memId)

>> void CalendarScheduler::getPersonalCal(Id*  memId)
 >> void Member_List::getPersonalCal(Id*  memId)
  >> void Member::getPersonalCal(Id*  memId)
  UNKNOWN3
  UNKNOWN4
   >> void UNKNOWN5::getPersonalCal(Id*  memId)
    >> void UNKNOWN6::getPersonalCal(Id*  memId)
     >> void UNKNOWN7::getPersonalCal(Id*  memId)
      >> void UNKNOWN8::getPersonalCal(Id*  memId)
      UNKNOWN9
      << void UNKNOWN10::getPersonalCal(Id*  memId)
     << void UNKNOWN11::getPersonalCal(Id*  memId)
    << void UNKNOWN12::getPersonalCal(Id*  memId)
   << void UNKNOWN13::getPersonalCal(Id*  memId)
  << void Member::getPersonalCal(Id*  memId)
  >> void Member::getPersonalCal(Id*  memId)
  << void Member::getPersonalCal(Id*  memId)
 << void Member_List::getPersonalCal(Id*  memId)
<< void CalendarScheduler::getPersonalCal(Id*  memId)


Question 3:
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
Writing propagation patterns, behavioral design
13 UNKNOWNs 3 points each: 39 points 

The class dictionary is CAL_SCHED from question 1.

Find the UNKNOWNs in the following propagation pattern. It implements
the following behavior 

// for a given member and date, find the time slots during which the person is
// busy on that date.

===========================================


*operation* TimeSlot_List * getBusySlot(Id *memId, Date *d) 
     *init* (@new TimeSlot_List();@)
// for a given member and date, find the time slots the person is
// busy on that date.
*traverse*
  *from* UNKNOWN1
  *via* UNKNOWN2
  *via* UNKNOWN3  
  *to* UNKNOWN4
*wrapper* UNKNOWN5
  *prefix* (@ if (UNKNOWN6->g_equal(memId)) { @)
  *suffix* (@ } @)
*wrapper* UNKNOWN7
  *prefix* (@ if (this->UNKNOWN8() ->g_equal(d)) { @)
  *suffix* (@ } @)
*wrapper* TimeSlot
  *prefix* (@
	    cout << " ------------ time slot UNKNOWN9 for " << memId << d;
	    return_val -> append( (UNKNOWN10*)this->g_copy()); @)

*operation* Date* dateOfAppointment()
  *traverse*
    *from* UNKNOWN11 *to* UNKNOWN12
  *wrapper* UNKNOWN13
    (@ return_val = this ; @)

=========================

The following Tcl script was used to drive the C++ application.

# CALENDAR SCHEDULER
set iId [Id new: [DemIdent new: "s123"]]
puts "iId"
set iDate [Date new: \
  [Month new: [DemNumber new: 2]] \
  [Day new: [DemNumber new: 3]] \
  [Year new: [DemNumber new: 95]]]
puts "iDate"
set tsl [$iCalendarScheduler getBusySlot: $iId $iDate]
$tsl g_displayAsTree:

=================================

For example, on input sentence

meetings(
  meeting
    meetingId 55
    title "Design for Isthmus documentation"
    date {1/28/95} from 14:00 to 14:30
    participants( 
      memberId s123 "Joe Maranda"
      memberId s456 "Manuel Freitas"))
members(
      memberId s123 
	personal calendar (
	  appointment 
	    appointmentTopic "imake tool, Salil" 
	    date {2/3/95} from  9:00 to 10:30)
      "Joe Maranda"
      memberId s456
	personal calendar (
	  appointment 
	    appointmentTopic "Isthmus testing, Salil" 
	    date {2/4/95} from  9:00 to 10:30)
      "Manuel Freitas"
      )
	    
The output is:

>> TimeSlot_List*  CalendarScheduler::getBusySlot(Id*  memId,Date*  d)
 >> void CalendarScheduler::getBusySlot_
      (TimeSlot_List* & return_val,Id*  memId,Date*  d)
  >> void Member_List::getBusySlot_
      (TimeSlot_List* & return_val,Id*  memId,Date*  d)
   >> void Member::getBusySlot_
      (TimeSlot_List* & return_val,Id*  memId,Date*  d)
    >> void MemberInfo::getBusySlot_
      (TimeSlot_List* & return_val,Id*  memId,Date*  d)
     >> void PersonalCal::getBusySlot_
      (TimeSlot_List* & return_val,Id*  memId,Date*  d)
      >> void Appointment_List::getBusySlot_
      (TimeSlot_List* & return_val,Id*  memId,Date*  d)
       >> void Appointment::getBusySlot_
      (TimeSlot_List* & return_val,Id*  memId,Date*  d)
        >> Date*  Appointment::dateOfAppointment()
         >> void Appointment::dateOfAppointment_(Date* & return_val)
          >> void SingleOccurrence::dateOfAppointment_(Date* & return_val)
           >> void Date::dateOfAppointment_(Date* & return_val)
           << void Date::dateOfAppointment_(Date* & return_val)
          << void SingleOccurrence::dateOfAppointment_(Date* & return_val)
         << void Appointment::dateOfAppointment_(Date* & return_val)
        << Date*  Appointment::dateOfAppointment()
        >> void SingleOccurrence::getBusySlot_
	  (TimeSlot_List* & return_val,Id*  memId,Date*  d)
         >> void TimeSlot::getBusySlot_
	  (TimeSlot_List* & return_val,Id*  memId,Date*  d)
 ------------ time slot found for s123 date { 2 / 3 / 95 }          
	 << void TimeSlot::getBusySlot_
	  (TimeSlot_List* & return_val,Id*  memId,Date*  d)
        << void SingleOccurrence::getBusySlot_
	  (TimeSlot_List* & return_val,Id*  memId,Date*  d)
       << void Appointment::getBusySlot_
	  (TimeSlot_List* & return_val,Id*  memId,Date*  d)
      << void Appointment_List::getBusySlot_
	  (TimeSlot_List* & return_val,Id*  memId,Date*  d)
     << void PersonalCal::getBusySlot_
	 (TimeSlot_List* & return_val,Id*  memId,Date*  d)
    << void MemberInfo::getBusySlot_
	 (TimeSlot_List* & return_val,Id*  memId,Date*  d)
   << void Member::getBusySlot_
	 (TimeSlot_List* & return_val,Id*  memId,Date*  d)
   >> void Member::getBusySlot_
	 (TimeSlot_List* & return_val,Id*  memId,Date*  d)
   << void Member::getBusySlot_
	 (TimeSlot_List* & return_val,Id*  memId,Date*  d)
  << void Member_List::getBusySlot_
	 (TimeSlot_List* & return_val,Id*  memId,Date*  d)
 << void CalendarScheduler::getBusySlot_
	 (TimeSlot_List* & return_val,Id*  memId,Date*  d)
<< TimeSlot_List*  CalendarScheduler::getBusySlot(Id*  memId,Date*  d)

: TimeSlot_List { 
   : TimeSlot ( 
      < begin > : Zeit ( 
         < h > : Hour ( 
            < v > : DemNumber "9" ) 
         < m > : Minute ( 
            < v > : DemNumber "0" ) ) 
      < end > : Zeit ( 
         < h > : Hour ( 
            < v > : DemNumber "10" ) 
         < m > : Minute ( 
            < v > : DemNumber "30" ) ) ) } 


Question 4:
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
Customizing a propagation pattern
30 points combined.

For the following three propagation patterns find a class dictionary
which customizes all three of them.

Check whether your class dictionary has a short-cut.
A class dictionary has a short-cut with respect to a propagation
directive if the propagation graph contains a path which
violates the propagation directive by taking a short-cut.

Give your class dictionary in UNKNOWN1. 

Give your explanation whether it contains a short-cut in UNKNOWN2.


*operation* void f1()
  *traverse* 
    *from* A *via* B *to* C
    *wrapper* C
      (@ cout << this; @)

*operation* void f2()
  *traverse* 
    *from* C *via* B *to* D
    *wrapper* D
      (@ cout << this; @)

*operation* void f3()
  *traverse* 
    *from* A *via* C *to* D
    *wrapper* D
      (@ cout << this; @)


Question 5:
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
Debugging a class dictionary
30 points combined.

Consider the following class dictionary:

==============================================
DemeterMethod = "method" "application" Representation Process.
Representation = "representation" <artifacts> List(Artifact).
Artifact :
  UseCase |
  ClassDictionary |
  PropagationPattern|
  Sentence
  *common* <name> DemIdent.
UseCase = "use-case".
ClassDictionary = "cd".
PropagationPattern = "pp".
Sentence = "s".
Process = "process" <transformations> List(Transformation).
Transformation :
  ArchitecturalDesign |
  DetailedDesign |
  Implementation *common*
  Testing.
ArchitecturalDesign = "architecture".
DetailedDesign = "detailed" "design".
Implementation = "implementation".
Testing = "testing".
List(S) ~ "(" {S} ")".
==============================================

and the sentence:

==============================================
method application
representation (
  use-case usecase1 
  use-case usecase2 
  cd cd1
  pp pp1
  pp pp2
  pp pp3
  s demeterinput)
process (
  architecture
  detailed design  // < error
  implementation
  testing
  detailed design
  implementation
  testing)

==============================================
The parser creates the following  message:

Parsing in object in: demeter-input.
G_PARSE Error: found "detailed", expecting a "testing"
ERROR on line: 12

The current and next 10 tokens are:
detailed design implementation testing detailed design implementation testing )

Production stack dump follows:
Testing ="testing" .
ArchitecturalDesign ="architecture" <testing >Testing .
Transformation :ArchitecturalDesign |DetailedDesign |Implementation *common*.

===========================================
Correct the class dictionary so that the sentence will be parsed
correctly. Make a minimal number of changes.
Put your solution in UNKNOWN1.