411 REFERENCE · Wikibooks
Ada Programming/Libraries/Ada.Execution Time
Reference material by Wikibooks contributors. This retains its source identity and is not 411 news reporting.
Ada.Execution_Time
__TOC__
Ada Execution_Time is a unit of the Predefined Language Environment since Ada 2005.
Specification
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
-------------------------------------------------------------------------
with Ada Real_Time;
with Ada Task_Identification;
package Ada Execution_Time is
type CPU_Time is private;
CPU_Time_First : constant CPU_Time;
CPU_Time_Last : constant CPU_Time;
CPU_Time_Unit : constant := implementation_defined;
CPU_Tick : constant Adadot .Real_Timedot .Time_Span;
function Clock (T : in Adadot .Task_Identificationdot .Task_Id
:= Adadot .Task_Identificationdot .Current_Task)
return CPU_Time;
function "+" (Left : in CPU_Time;
Right : in Adadot .Real_Timedot .Time_Span)
return CPU_Time;
function "+" (Left : in Adadot .Real_Timedot .Time_Span;
Right : in CPU_Time)
return CPU_Time;
function "-" (Left : in CPU_Time;
Right : in Adadot .Real_Timedot .Time_Span)
return CPU_Time;
function "-" (Left : in CPU_Time;
Right : in CPU_Time)
return Adadot .Real_Timedot .Time_Span;
function "<" (Left : in CPU_Time;
Right : in CPU_Time)
return Boolean;
function "<=" (Left : in CPU_Time;
Right : in CPU_Time)
return Boolean;
function ">" (Left : in CPU_Time;
Right : in CPU_Time)
return Boolean;
function ">=" (Left : in CPU_Time;
Right : in CPU_Time)
return Boolean;
procedure Split (T : in CPU_Time;
SC : out Adadot .Real_Timedot .Seconds_Count;
TS : out Adadot .Real_Timedot .Time_Span);
function Time_Of (SC : in Adadot .Real_Timedot .Seconds_Count;
TS : in Adadot .Real_Timedot .Time_Span
:= Adadot .Real_Timedot .Time_Span_Zero)
return CPU_Time;
private
pragma Import (Ada, CPU_Time);
pragma Import (Ada, CPU_Time_First);
pragma Import (Ada, CPU_Time_Last);
pragma Import (Ada, CPU_Tick);
end Adadot .Execution_Time;
See also
Wikibook
Ada Programming/Libraries/Ada
Ada Reference Manual
Ada 2005
D 14 Execution Time
Ada 2012
D 14 Execution Time
Open-Source Implementations
a-exetim.ads a-exetim.adb libgnarl
calendar/a-exetim.ads calendar/a-exetim.adb