SLIDE 1
Supplementary Video:
More Events
CS 51 and CSCI E-51 April 5, 2014
.
Road map
- The concept
- Using events
- Implementation of events
- UI events
2:1
More Events CS 51 and CSCI E-51 April 5, 2014 . Road map The - - PowerPoint PPT Presentation
More Events CS 51 and CSCI E-51 April 5, 2014 . Road map The - - PowerPoint PPT Presentation
Supplementary Video: More Events CS 51 and CSCI E-51 April 5, 2014 . Road map The concept Using events Implementation of events UI events 2:1 The concept 3:1 The concept 3:2 The concept 3:3 The concept 3:4 The concept
SLIDE 2
SLIDE 3
The concept
3:1
SLIDE 4
The concept
3:2
SLIDE 5
The concept
3:3
SLIDE 6
The concept
3:4
SLIDE 7
The concept
3:5
SLIDE 8
The concept
3:6
SLIDE 9
The concept
3:7
SLIDE 10
The concept
3:8
SLIDE 11
The concept
3:9
SLIDE 12
Basic event primitives
module Event51 : sig
.
type id
.
type ’a event
.
val new_event : unit -> ’a event
.
val add_listener :
.
’a event ->
.
(’a -> unit) ->
.
id
.
val fire_event :
.
’a event ->
.
’a -> unit
.
val add_one_shot_listener : ’a event -> (’a -> unit) -> id
.
val remove_listener : ’a event -> id -> unit
· · ·
end
4:1
SLIDE 13
Basic event primitives
module Event51 : sig
.
type id
.
.
.
type ’a event
.
val new_event : unit -> ’a event
.
val add_listener :
.
’a event ->
.
(’a -> unit) ->
.
id
.
val fire_event :
.
’a event ->
.
’a -> unit
.
val add_one_shot_listener : ’a event -> (’a -> unit) -> id
.
val remove_listener : ’a event -> id -> unit
· · ·
end
4:2
SLIDE 14
Basic event primitives
module Event51 : sig
.
type id
.
type ’a event
.
.
.
val new_event : unit -> ’a event
.
val add_listener :
.
’a event ->
.
(’a -> unit) ->
.
id
.
val fire_event :
.
’a event ->
.
’a -> unit
.
val add_one_shot_listener : ’a event -> (’a -> unit) -> id
.
val remove_listener : ’a event -> id -> unit
· · ·
end
4:3
SLIDE 15
Basic event primitives
module Event51 : sig
.
type id
.
type ’a event
.
val new_event : unit -> ’a event
.
.
.
val add_listener :
.
’a event ->
.
(’a -> unit) ->
.
id
.
val fire_event :
.
’a event ->
.
’a -> unit
.
val add_one_shot_listener : ’a event -> (’a -> unit) -> id
.
val remove_listener : ’a event -> id -> unit
· · ·
end
4:4
SLIDE 16
Basic event primitives
module Event51 : sig
.
type id
.
type ’a event
.
val new_event : unit -> ’a event
.
val add_listener :
.
.
.
’a event ->
.
.
.
(’a -> unit) ->
.
id
.
val fire_event :
.
’a event ->
.
’a -> unit
.
val add_one_shot_listener : ’a event -> (’a -> unit) -> id
.
val remove_listener : ’a event -> id -> unit
· · ·
end
4:5
SLIDE 17
Basic event primitives
module Event51 : sig
.
type id
.
type ’a event
.
val new_event : unit -> ’a event
.
val add_listener :
.
’a event ->
.
(’a -> unit) ->
.
id
. . .
val fire_event :
.
’a event ->
.
’a -> unit
.
val add_one_shot_listener : ’a event -> (’a -> unit) -> id
.
val remove_listener : ’a event -> id -> unit
· · ·
end
4:6
SLIDE 18
Basic event primitives
module Event51 : sig
.
type id
.
type ’a event
.
val new_event : unit -> ’a event
.
val add_listener :
.
’a event ->
.
(’a -> unit) ->
.
id
.
val fire_event :
.
.
.
’a event ->
.
..
’a -> unit
.
val add_one_shot_listener : ’a event -> (’a -> unit) -> id
.
val remove_listener : ’a event -> id -> unit
· · ·
end
4:7
SLIDE 19
Basic event primitives
module Event51 : sig
.
type id
.
type ’a event
.
val new_event : unit -> ’a event
.
val add_listener :
.
’a event ->
.
.
.
(’a -> unit) ->
.
id
.
val fire_event :
.
’a event ->
.
..
’a -> unit
.
val add_one_shot_listener : ’a event -> (’a -> unit) -> id
.
val remove_listener : ’a event -> id -> unit
· · ·
end
4:8
SLIDE 20
Basic event primitives
module Event51 : sig
.
type id
.
type ’a event
.
val new_event : unit -> ’a event
.
val add_listener :
.
’a event ->
.
(’a -> unit) ->
.
id
.
val fire_event :
.
’a event ->
.
’a -> unit
.
.
.
val add_one_shot_listener : ’a event -> (’a -> unit) -> id
.
val remove_listener : ’a event -> id -> unit
· · ·
end
4:9
SLIDE 21
Basic event primitives
module Event51 : sig
.
.
.
type id
.
type ’a event
.
val new_event : unit -> ’a event
.
val add_listener :
.
’a event ->
.
(’a -> unit) ->
.
..
id
.
val fire_event :
.
’a event ->
.
’a -> unit
.
val add_one_shot_listener : ’a event -> (’a -> unit) -> id
.
val remove_listener : ’a event -> id -> unit
· · ·
end
4:10
SLIDE 22
Basic event primitives
module Event51 : sig
.
.
.
type id
.
type ’a event
.
val new_event : unit -> ’a event
.
val add_listener :
.
’a event ->
.
(’a -> unit) ->
.
..
id
.
val fire_event :
.
’a event ->
.
’a -> unit
.
val add_one_shot_listener : ’a event -> (’a -> unit) -> id
. . .
val remove_listener : ’a event -> id -> unit
· · ·
end
4:11
SLIDE 23
— To Emacs —
SLIDE 24
Event implementation
.
type ’a waiter = { id : id; action : ’a -> unit }
.
type ’a event = ’a waiter list ref
.
let new_event () : ’a event = ref [] let add_listener (
.
e : ’a event) (
.
f : ’a -> unit) : id =
.
let i = new_id () in
.
e :=
. .
{ id = i; action = f } :: !e;
.
i let fire_event (
.
e : ’a event) (
.
v : ’a) : unit =
.
List.iter !e ~f:(
.
fun w -> w.action v)
6:1
SLIDE 25
Event implementation
.
.
.
type ’a waiter = { id : id; action : ’a -> unit }
.
type ’a event = ’a waiter list ref
.
let new_event () : ’a event = ref [] let add_listener (
.
e : ’a event) (
.
f : ’a -> unit) : id =
.
let i = new_id () in
.
e :=
. .
{ id = i; action = f } :: !e;
.
i let fire_event (
.
e : ’a event) (
.
v : ’a) : unit =
.
List.iter !e ~f:(
.
fun w -> w.action v)
6:2
SLIDE 26
Event implementation
.
type ’a waiter = { id : id; action : ’a -> unit }
.
.
.
type ’a event = ’a waiter list ref
.
let new_event () : ’a event = ref [] let add_listener (
.
e : ’a event) (
.
f : ’a -> unit) : id =
.
let i = new_id () in
.
e :=
. .
{ id = i; action = f } :: !e;
.
i let fire_event (
.
e : ’a event) (
.
v : ’a) : unit =
.
List.iter !e ~f:(
.
fun w -> w.action v)
6:3
SLIDE 27
Event implementation
.
type ’a waiter = { id : id; action : ’a -> unit }
.
type ’a event = ’a waiter list ref
.
.
.
let new_event () : ’a event = ref [] let add_listener (
.
e : ’a event) (
.
f : ’a -> unit) : id =
.
let i = new_id () in
.
e :=
. .
{ id = i; action = f } :: !e;
.
i let fire_event (
.
e : ’a event) (
.
v : ’a) : unit =
.
List.iter !e ~f:(
.
fun w -> w.action v)
6:4
SLIDE 28
Event implementation
.
type ’a waiter = { id : id; action : ’a -> unit }
.
type ’a event = ’a waiter list ref
.
let new_event () : ’a event = ref [] let add_listener (
.
.
.
e : ’a event) (
.
.
.
f : ’a -> unit) : id =
.
let i = new_id () in
.
e :=
. .
{ id = i; action = f } :: !e;
.
i let fire_event (
.
e : ’a event) (
.
v : ’a) : unit =
.
List.iter !e ~f:(
.
fun w -> w.action v)
6:5
SLIDE 29
Event implementation
.
type ’a waiter = { id : id; action : ’a -> unit }
.
type ’a event = ’a waiter list ref
.
let new_event () : ’a event = ref [] let add_listener (
.
e : ’a event) (
.
f : ’a -> unit) : id =
.
.
.
let i = new_id () in
.
e :=
. .
{ id = i; action = f } :: !e;
.
i let fire_event (
.
e : ’a event) (
.
v : ’a) : unit =
.
List.iter !e ~f:(
.
fun w -> w.action v)
6:6
SLIDE 30
Event implementation
.
type ’a waiter = { id : id; action : ’a -> unit }
.
type ’a event = ’a waiter list ref
.
let new_event () : ’a event = ref [] let add_listener (
.
e : ’a event) (
.
f : ’a -> unit) : id =
.
let i = new_id () in
.
e :=
. .
.
.
{ id = i; action = f } :: !e;
.
i let fire_event (
.
e : ’a event) (
.
v : ’a) : unit =
.
List.iter !e ~f:(
.
fun w -> w.action v)
6:7
SLIDE 31
Event implementation
.
type ’a waiter = { id : id; action : ’a -> unit }
.
type ’a event = ’a waiter list ref
.
let new_event () : ’a event = ref [] let add_listener (
.
e : ’a event) (
.
f : ’a -> unit) : id =
.
let i = new_id () in
.
e :=
.
.
. .
{ id = i; action = f } :: !e;
.
i let fire_event (
.
e : ’a event) (
.
v : ’a) : unit =
.
List.iter !e ~f:(
.
fun w -> w.action v)
6:8
SLIDE 32
Event implementation
.
type ’a waiter = { id : id; action : ’a -> unit }
.
type ’a event = ’a waiter list ref
.
let new_event () : ’a event = ref [] let add_listener (
.
e : ’a event) (
.
f : ’a -> unit) : id =
.
let i = new_id () in
.
.
.
e :=
. .
{ id = i; action = f } :: !e;
.
i let fire_event (
.
e : ’a event) (
.
v : ’a) : unit =
.
List.iter !e ~f:(
.
fun w -> w.action v)
6:9
SLIDE 33
Event implementation
.
type ’a waiter = { id : id; action : ’a -> unit }
.
type ’a event = ’a waiter list ref
.
let new_event () : ’a event = ref [] let add_listener (
.
e : ’a event) (
.
f : ’a -> unit) : id =
.
let i = new_id () in
.
e :=
. .
{ id = i; action = f } :: !e;
.
..i let fire_event (
.
e : ’a event) (
.
v : ’a) : unit =
.
List.iter !e ~f:(
.
fun w -> w.action v)
6:10
SLIDE 34
Event implementation
.
type ’a waiter = { id : id; action : ’a -> unit }
.
type ’a event = ’a waiter list ref
.
let new_event () : ’a event = ref [] let add_listener (
.
e : ’a event) (
.
f : ’a -> unit) : id =
.
let i = new_id () in
.
e :=
. .
{ id = i; action = f } :: !e;
.
i let fire_event (
.
.
.
e : ’a event) (
.
.
.
v : ’a) : unit =
.
List.iter !e ~f:(
.
fun w -> w.action v)
6:11
SLIDE 35
Event implementation
.
type ’a waiter = { id : id; action : ’a -> unit }
.
type ’a event = ’a waiter list ref
.
let new_event () : ’a event = ref [] let add_listener (
.
e : ’a event) (
.
f : ’a -> unit) : id =
.
let i = new_id () in
.
e :=
. .
{ id = i; action = f } :: !e;
.
i let fire_event (
.
e : ’a event) (
.
v : ’a) : unit =
.
.
.
List.iter !e ~f:(
.
fun w -> w.action v)
6:12
SLIDE 36
Event implementation
.
type ’a waiter = { id : id; action : ’a -> unit }
.
type ’a event = ’a waiter list ref
.
let new_event () : ’a event = ref [] let add_listener (
.
e : ’a event) (
.
f : ’a -> unit) : id =
.
let i = new_id () in
.
e :=
. .
{ id = i; action = f } :: !e;
.
i let fire_event (
.
e : ’a event) (
.
v : ’a) : unit =
.
List.iter !e ~f:(
.
.
.
fun w -> w.action v)
6:13
SLIDE 37
UI events
val key_pressed : char event
. .
val mouse_motion : (int * int) event
. .
val button_down : (int * int) event
. .
val button_up : (int * int) event
. .
val clock : unit event
7:1
SLIDE 38
UI events
val key_pressed : char event
.
val mouse_motion : (int * int) event
.
val button_down : (int * int) event
.
val button_up : (int * int) event
.
val clock : unit event
7:2
SLIDE 39
UI events
val key_pressed : char event
.
.
.
val mouse_motion : (int * int) event
.
val button_down : (int * int) event
.
val button_up : (int * int) event
.
val clock : unit event
7:3
SLIDE 40
UI events
val key_pressed : char event
.
val mouse_motion : (int * int) event
.
.
.
val button_down : (int * int) event
.
.
.
val button_up : (int * int) event
.
val clock : unit event
7:4
SLIDE 41
UI events
val key_pressed : char event
.
val mouse_motion : (int * int) event
.
val button_down : (int * int) event
.
val button_up : (int * int) event
.
.
.
val clock : unit event
7:5
SLIDE 42
UI event implementation
let read_event () = if mouse position has changed then fire_event mouse_motion mouse position; if mouse button was up and is now down then fire_event button_down mouse position; else if mouse button was down and is now up then fire_event button_up mouse position; if a key has been pressed then fire_event key_handler the key; fire_event clock () let rec event_loop () = read_event ();
redraw screen; wait a bit;
event_loop ()
8:1
SLIDE 43
UI event implementation
let read_event () = if mouse position has changed then fire_event mouse_motion mouse position; if mouse button was up and is now down then fire_event button_down mouse position; else if mouse button was down and is now up then fire_event button_up mouse position; if a key has been pressed then fire_event key_handler the key; fire_event clock () let rec event_loop () = read_event ();
redraw screen; wait a bit;
event_loop ()
8:2
SLIDE 44
UI event implementation
let read_event () = if mouse position has changed then fire_event mouse_motion mouse position; if mouse button was up and is now down then fire_event button_down mouse position; else if mouse button was down and is now up then fire_event button_up mouse position; if a key has been pressed then fire_event key_handler the key; fire_event clock () let rec event_loop () = read_event ();
redraw screen; wait a bit;
event_loop ()
8:3
SLIDE 45
UI event implementation
let read_event () = if mouse position has changed then fire_event mouse_motion mouse position; if mouse button was up and is now down then fire_event button_down mouse position; else if mouse button was down and is now up then fire_event button_up mouse position; if a key has been pressed then fire_event key_handler the key; fire_event clock () let rec event_loop () = read_event ();
redraw screen; wait a bit;
event_loop ()
8:4
SLIDE 46
UI event implementation
let read_event () = if mouse position has changed then fire_event mouse_motion mouse position; if mouse button was up and is now down then fire_event button_down mouse position; else if mouse button was down and is now up then fire_event button_up mouse position; if a key has been pressed then fire_event key_handler the key; fire_event clock () let rec event_loop () = read_event ();
redraw screen; wait a bit;
event_loop ()
8:5
SLIDE 47
UI event implementation
let read_event () = if mouse position has changed then fire_event mouse_motion mouse position; if mouse button was up and is now down then fire_event button_down mouse position; else if mouse button was down and is now up then fire_event button_up mouse position; if a key has been pressed then fire_event key_handler the key; fire_event clock () let rec event_loop () = read_event ();
redraw screen; wait a bit;
event_loop ()
8:6
SLIDE 48
UI event implementation
let read_event () = if mouse position has changed then fire_event mouse_motion mouse position; if mouse button was up and is now down then fire_event button_down mouse position; else if mouse button was down and is now up then fire_event button_up mouse position; if a key has been pressed then fire_event key_handler the key; fire_event clock () let rec event_loop () = read_event ();
redraw screen; wait a bit;
event_loop ()
8:7
SLIDE 49
UI event implementation
let read_event () = if mouse position has changed then fire_event mouse_motion mouse position; if mouse button was up and is now down then fire_event button_down mouse position; else if mouse button was down and is now up then fire_event button_up mouse position; if a key has been pressed then fire_event key_handler the key; fire_event clock () let rec event_loop () = read_event ();
redraw screen; wait a bit;
event_loop ()
8:8