1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
|
(******************************************************************************)
(* Copyright (c) 1988 by GMD Karlruhe, Germany *)
(* Gesellschaft fuer Mathematik und Datenverarbeitung *)
(* (German National Research Center for Computer Science) *)
(* Forschungsstelle fuer Programmstrukturen an Universitaet Karlsruhe *)
(* All rights reserved. *)
(* Don't modify this file under any circumstances *)
(******************************************************************************)
DEFINITION MODULE Clock;
PROCEDURE ResetClock;
PROCEDURE UserTime() : INTEGER;
(* Return user time since last 'ResetClock' *)
PROCEDURE SystemTime() : INTEGER;
(* Return system time since last 'ResetClock' *)
END Clock.
|
