跳轉到內容

Ada 程式設計/庫/Ada.Real_Time.Timing_Events

來自華夏公益教科書,開放的書籍,為開放的世界

Ada. Time-tested, safe and secure.
Ada.經久耐用、安全可靠。

此語言特性僅從Ada 2005開始提供。

Ada.Real_Time.Timing_Events預定義語言環境自 Ada 2005 開始的一個單元。

--                     Standard Ada library specification
--   Copyright (c) 2003-2018 Maxim Reznik <reznikmm@gmail.com>
--   Copyright (c) 2004-2016 AXE Consultants
--   Copyright (c) 2004, 2005, 2006 Ada-Europe
--   Copyright (c) 2000 The MITRE Corporation, Inc.
--   Copyright (c) 1992, 1993, 1994, 1995 Intermetrics, Inc.
--   SPDX-License-Identifier: BSD-3-Clause and LicenseRef-AdaReferenceManual
-- -------------------------------------------------------------------------

package Ada.Real_Time.Timing_Events is

   type Timing_Event is tagged limited private;

   type Timing_Event_Handler is
     access protected procedure (Event : in out Timing_Event);

   procedure Set_Handler (Event   : in out Timing_Event;
                          At_Time : in     Time;
                          Handler : in     Timing_Event_Handler);

   procedure Set_Handler (Event   : in out Timing_Event;
                          In_Time : in     Time_Span;
                          Handler : in     Timing_Event_Handler);

   function Current_Handler (Event : in Timing_Event)
     return Timing_Event_Handler;

   procedure Cancel_Handler (Event     : in out Timing_Event;
                             Cancelled :    out Boolean);

   function Time_Of_Event (Event : in Timing_Event) return Time;

private

   pragma Import (Ada, Timing_Event);

end Ada.Real_Time.Timing_Events;

另請參閱

[編輯 | 編輯原始碼]

華夏公益教科書

[編輯 | 編輯原始碼]

外部示例

[編輯原始碼]

Ada 參考手冊

[編輯 | 編輯原始碼]

開源實現

[編輯 | 編輯原始碼]

FSF GNAT

drake

華夏公益教科書