Chair of Software Engineering. Bezieher SUBSCRIBERS Ereignis Erzeuger (zb GUI) Chair of Software Engineering. Save_file ROUTINE

Transkript

1 1 2 Letzte Aktualisierung: 27. Mai 2004 Programmierung im Grossen Vorlesung 13: Ereignis-Gesteuertes Design Bertrand Meyer Ereignis-gesteuerte Programmierung 3 Vermeiden von glue code 4 Verbreiter PUBLISHERS löst Ereignis aus Bezieher SUBSCRIBERS behandelt Ereignisse Ereignis Erzeuger (zb GUI) Ereignisse EVENTS Direkte Anmeldung verbindes Objekt Geschäfts-Modell (Anwungs-Logik) Intern 5 Ereignis-gesteuerte Programmierung 6 Event-Aktions Tabelle (Genauer: Event_Typ-Aktions-Tabelle) (noch genauer: Kontext- Event_Typ-Aktions- Tabelle) Event Typ Aktion Verbreiter PUBLISHERS löst Ereignis aus Bezieher SUBSCRIBERS behandelt Ereignisse Left_click Save_file Ereignisse EVENTS 1

2 Ereignis-Bibliothek (Event Library) 7 Subscriber Varianten 8 Klasse EVENT_TYPE click.subscribe (agent my_procedure) Publisher Seite, zb GUI Bibliothek: (Einmal) deklariere Event-Typ: my_button.click.subscribe (agent my_procedure) (Einmal) erzeuge ein Event-Typ Objekt: click.subscribe (agent your_procedure (a,?,?, b)) create click click.subscribe (agent other_object.other_procedure) Jedesmal wenn das Ereignis eintritt: click.publish ([x_coordinate, y_coordinate]) Subscriber Seite: click.subscribe (agent my_procedure) EiffelVision style 9 Observer pattern (C++, Java) 10 my_button.click.action_list.ext (agent my_procedure) update SUBSCRIBER attach detach PUBLISHER update+ APPCLASS LIBCLASS + Deferred (abstrakt) Effective (implementiert) erbt von Client (verwet) In PUBLISHER: subscribed: LIST [SUBSCRIBER] -- Klienten subscriben bei diesem Publisher attach (s: SUBSCRIBER) is -- Speichern der subscription von s. subscribed.ext (s) In SUBSCRIBER: subscribe (p: PUBLISHER) is -- p s events subscriben. publish is -- Auslösen des Events. from subscribed.start until subscribed.after loop subscribed.item.update subscribed.forth p.attach (Current) 2

3 13 14 In SUBSCRIBER: subscribe (p: PUBLISHER) is -- p s events subscriben. require publisher_exists: p /= Void p.attach (Current) grundsätzlich: Publisher kennen Subscriber Subscriber können sich höchstens bei einem Publisher anmelden Dürfen sich höchstens für eine Aktion anmelden Nicht wieder verwbar muss für jede Anwung neu programmiert werden Event Library 15 Observer pattern (C++, Java) 16 Publisher, z.b. GUI Library: Deklaration und Creation: update SUBSCRIBER attach detach PUBLISHER Auslösen des Events mit Argumenten. click.publish ([x, y]) update+ APPCLASS LIBCLASS Subscriber: my_button.click.subscribe (agent r) + Deferred (abstrakt) Effective (implementiert) erbt von Client (verwet) Hintergrundinformation:.NET 17.NET Event-Delegate Mechanismus 18 Basis für zukünftige Winws Entwicklung Seit 2000 Schicht über dem Betriebsystem Unterstützt fortgeschrittene Web Technologien, speyiell durch ASP.NET Basiert auf einem Object Modell Microsoft Sprachen: C#, Visual Basic.NET Andere unterstützte Sprachen: Eiffel, Cobol, Oberon Zahlreiche Bibliotheken und wieder verwbare Komponenten Internationaler Standard (Common Language Interface) durch ECMA und ISO Nicht-Winws Implementation: Mono Publisher oder Subscriber: D1 Führe einen Nachfahren ClickArgs von EventArgs ein, der die Typen der Argumente von myprocedure wiederholt. (Fügt eine Klasse hinzu.) public class ClickArgs { int x, y;... } D2 Deklariere einen Delegate-Typ ClickDelegate basier auf dieser Klasse. (Fügt einen Typ hinzu.) public void delegate ClickDelegate (Object ser, ClickArgs e); 3

4 .NET Delegates: Publisher 19.NET Delegates: Subscriber 20 D3 D4 D5 D6 Deklariere einen neuen Event-Typ Click basier auf dem Typ ClickDelegate. (Fügt einen Typ hinzu.) public event ClickDelegate Click; Schreibe Prozedur OnClick für die Behandlung. (+ 1 Routine.) protected void OnClick (ClickArgs e) { if (Click!= null) Click (this, e); } Für jedes Auftreten des Events erzeuge eine Instanz von ClickArgs und übergebe arg Werte an den Konstruktor. (Fügt ein Laufzeit-Objekt hinzu.) ClickArgs myclickargs = new ClickArgs (h, v); Für jedes Auftreten, feure den Event OnClick (myclickargs); Um eine Routine myprocedure anzumelden: D7 Deklariere einen Delegate mydelegate vom Typ ClickDelegate. (Kann mit dem folgen Schritt kombiniert werden.) D8 Instanziiere es mit myprocedure als Konstruktor-Argument. ClickDelegate mydelegate = new ClickDelegate (myprocedure) D9 Füge es der Delegate-Liste für den Event hinzu. yourbutton.click += mydelegate.net Delegates 21 Event library 22 event ist ein Schlüsselwort der Sprache (besonderes Feature einer Klasse). Event-Typen sollten aber wie normale Objekte behandelt werden. Kann keine geschlossene Argumente haben: für etwas Equivalentes zu r (a,?,?, b) muss man eine Wrapper-Routine schreiben, die vom Delegate verwet wird. Kann kein offenes Ziel haben: für etwas wie {TYPE}.r (...) muss man eine Wrapper-Routine schreiben. Publisher, e.g. GUI library: Declare and create: Trigger each event with arguments. click.publish ([x, y]) Subscriber (to subscribe a routine r): my_button.click.subscribe (agent r) Gelerntes 23 Vermeiden von glue code 24 Vermeide Magie: Was für den Sprach-Designer verfügbar ist, sollte für den Programmierer verfügbar sein Ereignis Erzeuger (zb GUI) Rolle der Sprach-Mechanismen: Generizität, beschränkte Generizität, Tupel Direkte Anmeldung verbindes Objekt Wichtig, die richtige Abstraktion zu wählen : PUBLISHER, SUBSCRIBER.NET: Event, Delegate, Event-Typ, Delegate- Typ? Eiffel Event Bibliothek: EVENT_TYPE Geschäfts-Modell (Anwungs-Logik) 4

5 Zusätzliches Material Eiffel: The Language, 3 rd Auflage (Entwurf), Kapitel 25 Erhältlich (Login: Talkitover; Passwort: etl3) Paper über Event-basierte Programmierung Erhältlich Ende Vorlesung 13 5