411 REFERENCE · Wikibooks
Ada Programming/Libraries/Ada.Execution Time.Interrupts
Reference material by Wikibooks contributors. This retains its source identity and is not 411 news reporting.
Ada.Execution_Time.Interrupts
__TOC__
Ada Execution_Time Interrupts is a unit of the Predefined Language Environment since Ada 2012.
Specification
Standard Ada library specification
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
-------------------------------------------------------------------------
with Ada Interrupts;
package Ada Execution_Time Interrupts is
function Clock (Interrupt : Adadot .Interruptsdot .Interrupt_Id)
return CPU_Time;
function Supported (Interrupt : Adadot .Interruptsdot .Interrupt_Id)
return Boolean;
end Adadot .Execution_Timedot .Interrupts;
See also
Wikibook
Ada Programming/Libraries/Ada
Ada Programming/Libraries/Ada.Execution_Time
Ada Reference Manual
Ada 2012
D 14 3 Execution Time of Interrupt Handlers
Open-Source Implementations
a-extiin.ads libgnarl
tasking/a-extiin.ads