Changes between Version 1 and Version 2 of ru/signals

Timestamp:

Mar 12, 2011, 3:19:26 AM (10 years ago)

Author:

vadim.godunko

Comment:

--

ru/signals

@@ -11 +11 @@
 Не все перечисленные выше требования легко решить средствами Ada.
 
-== Первый вариант ==
+== Вариант 1 ==
 
 === API библиотеки поддержки ===
@@ -188 +188 @@
 
 Выглядит вполне приемлемо. Однако, слишком много необходимо сделать для выполнения подключения. Одна из возможных идей для рассмотрения - настройка специального пакета, принимающего тип и его подпрограмму, а уже потом использование подпрограммы Connect из него.
+
+== Вариант 1.1 ==
+
+Этот вариант является модификацией предыдущего в части объявления и подключения слотов. Настраиваемый пакет Generic_Slot в Objects.Signals настраивается на тэговый тип и подпрограмму, играющую роль слота и предоставляет подпрогаммы подключения/отключения:
+
+=== API поддержки ===
+
+{{{
+package Objects.Signals is
+
+   ----------------------
+   -- Signal_Connector --
+   ----------------------
+
+   type Signal_Connector (<>) is limited private;
+
+   generic
+      type T is abstract new Abstract_Object with private;
+      with procedure Method (Self : not null access T) is abstract;
+
+   package Generic_Slot is
+
+      procedure Connect
+       (Self   : Signal_Connector;
+        Object : not null access T'Class);
+
+   end Generic_Slot;
+
+   ------------
+   -- Signal --
+   ------------
+
+   type Signal
+    (Object : not null access Abstract_Object'Class) is tagged limited private;
+
+   not overriding procedure Emit (Self : Signal);
+
+   not overriding function Connector
+    (Self : in out Signal) return Signal_Connector;
+
+private
+   ...
+end Objects.Signals;
+}}}
+
+=== Пример использования ===
+
+По сравнения с предыдущим вариантом изменяется способ использования только для типов, содержащих слоты. Для каждого слота объявляется собственный дочерний пакет, содержащий настройку пакета Objects.Signals.Generic_Slot:
+
+{{{
+with Objects.Signals;
+
+package Collectors.Process_Slot is
+  new Objects.Signals.Generic_Slots (Collector, Process);
+}}}
+
+Главная программа выглядит следующим образом:
+
+{{{
+with Collectors.Process_Slot;
+with Emitters;
+
+procedure Main is
+   C : aliased Collectors.Collector;
+   E : aliased Emitters.Emitter;
+
+begin
+   Collectors.Process_Slot.Connect (E.Signal, C'Access);
+   E.Test;
+end Main;
+}}}
+
+=== Выводы ===
+
+Больше писанины, поскольку необходимо объявлять отдельный пакет для каждого слота, но (1) меньше усилий на выполнение подключения и лучше понимание происходящего, и (2) жестко контролируется, что слот есть примитивная операция типа.