1-- Taken from #2382 submitted by @JulienPivard 2-- @summary 3-- Implémentation par une tâche. 4-- @description 5-- Implémentation par une tache de la classe synchronisé. 6-- @group Version tâche 7-- 8-- package Carte_P.Tasche_P 9package Input 10 with 11 Pure => False, 12 Preelaborate => False, 13 Elaborate_Body => True, 14 Spark_Mode => Off 15is 16 17 --------------------------------------------------------------------------- 18 task type Tasche_T is new Carte_T with 19 -- Implémentation par une tâche de l'interface Carte_T. 20 21 ----------------------------------- 22 overriding 23 entry Coucou; 24 -- Implémentation par un accept. 25 26 ----------------------------------- 27 -- overriding 28 -- entry Inutile; 29 -- Implémentation par un accept. 30 -- @param This 31 -- La carte. 32 end Tasche_T; 33 --------------------------------------------------------------------------- 34 35 overriding 36 procedure Inutile 37 (This : in out Tasche_T); 38 -- Implémentation par une procédure. 39 -- @param This 40 -- La carte. 41 42end Carte_P.Tasche_P; 43