Question 1:
===========
Class dictionary evolution.

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. 
//--  <preferences> Preferences.

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

//-- Preferences = "preferences"
//--   <preferences> List(Preference) .
//-- Preference = 
//--   <period> WeeklyOccurrence.

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).
======================================================================
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 people'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 UNKNOWN give the class definitions which you would add to CAL_SCHED
and in UNKNOWN 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.

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)
// find all meetings in which member with memberId memId
// is currently participating in. For each such meeting,
// print the entire meeting information.

*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)
 ---------- member s123 
 ---------- participated in meeting meeting meetingId 55 title 
 "Design for Isthmus documentation" 
 date { 1 / 28 / 95 } from 14 : 0 to 14 : 30 
 participants 
   ( memberId s123 "Joe Maranda" memberId s456 "Manuel Freitas" ) 
    << 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)
 ---------- member s123 
 ---------- has appointments 
   >> void MemberInfo::getPersonalCal(Id*  memId)
    >> void PersonalCal::getPersonalCal(Id*  memId)
     >> void Appointment_List::getPersonalCal(Id*  memId)
      >> void Appointment::getPersonalCal(Id*  memId)
 ------------- appointment appointmentTopic "imake tool, Salil" 
 date { 2 / 3 / 95 } from 9 : 0 to 10 : 30 
      << void Appointment::getPersonalCal(Id*  memId)
     << void Appointment_List::getPersonalCal(Id*  memId)
    << void PersonalCal::getPersonalCal(Id*  memId)
   << void MemberInfo::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:
===========

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 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* CalendarScheduler
  *via* Member_List
  *via* PersonalCal  
  *to* TimeSlot
*wrapper* Member
  *prefix* (@ if (memberId->g_equal(memId)) { @)
  *suffix* (@ } @)
*wrapper* Appointment
  *prefix* (@ if (this->dateOfAppointment() ->g_equal(d)) { @)
  *suffix* (@ } @)
*wrapper* TimeSlot
  *prefix* (@
	    cout << " ------------ time slot found for " << memId << d;
	    return_val -> append( (TimeSlot*)this->g_copy()); @)
*operation* Date* dateOfAppointment()
  *traverse*
    *from* Appointment *to* Date
  *wrapper* Date
    (@ 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

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 UNKNOWN. 

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


*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

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 UNKNOWN.