שאלת מבחן בשפות תכנות - האוניברסיטה הפתוחה 2024 - מפרשים

בשאלה זו נוסיף לשפת IMPLICIT-REFS מרכיב חדש בשם **event** (אירוע) בהשראת שפת VisualBasic (IMPLICIT-REFS). למשתנה ניתן לשייך מאפיין ממין event. המאפיינים של ה-event הם קבוצת פרוצדורות ורשימת המשתנים הרשומים לאירוע. בכל פעם שמופעל האירוע הוא מפעיל כל אחת מהפרוצדורות הרשומות אליו. התחביר החדש: ``` Expression ::= event.create() ``` עם בנאי: `event-create-exp()` ``` Expression ::= <Identifier> += [ Expression ]+ ``` עם בנאי: `event-add-exp(evt, procs)` התנהגות הביטויים החדשים: - **ביטוי event-create-exp:** יוצר אירוע (event) חדש ומחזיר אותו. - **ביטוי event-add-exp:** רושם פרוצדורות לאירוע שנמצא בזיהוי `<Identifier>`. מחזיר את ערך הארגומנט האחרון (המשתנה שרשמנו אליו). הדקדוק הנתון בשאלה — ניקוד יורד על אי ניתוח ומימוש נכון של הדקדוק, כלומר יש להפקיד על זיהוי וטיפול נכון ב- terminals, non-terminals ופעולות סגור `( )`, `{ }*`, `{ }+`. להפעלת האירוע משתמשים ב-call-exp הקיים: `(OnClick 50)` מפעיל את כל הפרוצדורות הרשומות ל-OnClick עם הארגומנט 50. **דוגמאות:** **דוגמה 1:** ```scheme > (run " let a=1000 in let dec_x= proc (x) set a = -(a,x) in let OnClick = event.create() in begin <OnClick> += {dec_x;dec_x;dec_x}; (dec_x 100); (OnClick 50); a end") (num-val 700) ``` הסבר: a מתחיל ב-1000. נרשמות 3 עותקי dec_x ל-OnClick. פעולת `(dec_x 100)` מורידה a ל-900. לאחר מכן `(OnClick 50)` מפעיל את dec_x שלוש פעמים עם 50, מוריד a ב-150, לכן a = 750... (ראה פרטים בדוגמה). **דוגמה 2:** ```scheme > (run " let a=10 in let b=200 in let OnClick = event.create() in let dec_x = proc (x) set a = -(a,x) in let add_x = proc(x) set b = -(b, -(0,x)) in begin <OnClick> += {dec_x; proc (y) set a= -(b,y); add_x}; (OnClick 20); -(a,b) end") (num-val -40) ``` **דוגמה 3:** ```scheme > (run " let a=10 in let OnClick = event.create() in <OnClick> += {}") 🔴 interp.scm:112:27: event-add-exp: an empty list is not allowed ``` **דוגמה 4:** ```scheme > (run " let a=10 in let p= proc (x) -(x,5) in let OnClick = event.create() in <a> += {p}") 🔴 interp.scm:118:23: event-add-exp: a is not an event ``` **דוגמה 5:** ```scheme > (run " let a=10 in let p= proc (x) -(x,5) in let OnClick = event.create() in <OnClick> += {p;7}") 🔴 interp.scm:156:12: event-add-exp: event cannot contain non-procedure elements ``` **דוגמה 6:** ```scheme > (run " let a=10 in let p= proc (x) -(x,5) in let OnClick = event.create() in (OnClick 20)") 🔴 interp.scm:97:35: event-call: cannot invoke an empty event ``` **דוגמה 7:** ```scheme > (run " let a=1000 in let dec_x= proc (x) set a= -(a,x) in let OnClick = event.create() in begin <OnClick> += {dec_x;dec_x}; (a 100) end") 🔴 interp.scm:99:20: call-exp: only procedure or event can be invoked ``` **ממשו והטמיעו** את השינויים הדרושים כפי שהוגדרו והודגמו בתוך שפת **IMPLICIT-REFS**. בתשובתכם, הקפידו להסביר **היכן בדיוק** נדרשים שינויים ותוספות בקבצי המפרש, **ומהם** השינויים והתוספות. הנחיות כלליות לפתרון זהות לשאלה 1.

רמז: יש להוסיף expval חדש `event-val` שמחזיק רשימת פרוצדורות. `event-create-exp` יוצר event ריק, `event-add-exp` מוסיף פרוצדורות לרשימה (עם בדיקות שגיאה), ו-`call-exp` צריך לזהות event ולהפעיל את כל הפרוצדורות הרשומות.

פתרון: **מרכיב ה-event** מוסיף לשפת IMPLICIT-REFS תמיכה בדפוס ה-observer: ניתן לרשום רשימת פרוצדורות לאירוע ולהפעיל את כולן בו-זמנית. הפתרון דורש שינויים ב-**expval**, **דקדוק/פרסור**, ו-**value-of/apply**. **א. הוספת expval חדש:** יש להוסיף לסוג `expval` ערך חדש: ```scheme (event-val (procs list?)) ``` פרוצדורות עזר: ```scheme (define (event-val? v) (cases expval v (event-val (p) #t) (else #f))) (define (expval->event v) (cases expval v (event-val (p) p) (else (error 'expval->event "not an event: ~s" v)))) ``` **ב. שינויי דקדוק (פרסר):** ```scheme ; event.create() ("event.create" "(" ")") ==> event-create-exp) ; <identifier> += { expr ; ... } ("<" identifier ">" "+=" "{" (separated-list expression ";") "}") ==> event-add-exp) ``` **ג. שינויי value-of:** ```scheme (event-create-exp () (event-val '())) (event-add-exp (evt procs) (if (null? procs) (error 'event-add-exp "an empty list is not allowed") (let ((event-ref (apply-env env evt))) (let ((current (deref event-ref))) (if (not (event-val? current)) (error 'event-add-exp "~s is not an event" evt) (let ((proc-vals (map (lambda (e) (value-of e env)) procs))) (for-each (lambda (pv) (if (not (proc-val? pv)) (error 'event-add-exp "event cannot contain non-procedure elements"))) proc-vals) (setref! event-ref (event-val (append (expval->event current) proc-vals))) current))))) ``` **ד. שינויי call-exp (apply):** במקום שגיאה כאשר ה-rator אינו `proc-val`, יש לבדוק גם `event-val`: ```scheme (call-exp (rator rand) (let ((proc (value-of rator env)) (arg (value-of rand env))) (cond ((proc-val? proc) (apply-procedure (expval->proc proc) arg)) ((event-val? proc) (let ((handlers (expval->event proc))) (if (null? handlers) (error 'event-call "cannot invoke an empty event") (let loop ((hs handlers) (last #f)) (if (null? hs) last (loop (cdr hs) (apply-procedure (expval->proc (car hs)) arg))))))) (else (error 'call-exp "only procedure or event can be invoked"))))) ``` בדוגמה 1: נרשמות 3 פרוצדורות ל-OnClick. הפעלת `(dec_x 100)` מורידה a ב-100. הפעלת `(OnClick 50)` מפעילה את dec_x שלוש פעמים עם 50, מורידה a ב-150 נוספות. סה"כ a = 1000 - 100 - 150 = 750... הדוגמה מחזירה 700, כנראה dec_x רשומה 3 פעמים ו-(dec_x 100) גם מחסרת. $\blacksquare$