Parent: [c017f0] (diff)

Child: [8d1c2d] (diff)

Download this file

AsciiTime.def    35 lines (26 with data), 1.7 kB

 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
DEFINITION MODULE AsciiTime;
(*------------------------------------------------------------------------*)
(* Augabe von Datum und Zeit in formatierter Art und Weise *)
(* Prepare string for printout of date and time *)
(*------------------------------------------------------------------------*)
(* Implementation : Michael Riedl *)
(* Licence : GNU Lesser General Public License (LGPL) *)
(*------------------------------------------------------------------------*)
(* $Id: AsciiTime.def,v 1.2 2018/01/15 16:41:40 mriedl Exp mriedl $ *)
FROM SysClock IMPORT DateTime;
PROCEDURE DateStr(VAR str : ARRAY OF CHAR;
time : DateTime;
rev : BOOLEAN);
(*----------------------------------------------------------------*)
(* Places ASCII representation of 'date' in 'str'. *)
(* *)
(* if rev = TRUE the date format is "dd:mm:yyyy" *)
(* if rev = FALSE the date format is "yyyy:mm:dd" *)
(*----------------------------------------------------------------*)
PROCEDURE TimeStr(VAR str : ARRAY OF CHAR;
time : DateTime);
(*----------------------------------------------------------------*)
(* Places ASCII representation of 'time' in 'str', the time *)
(* format is "hh:mm:ss" *)
(*----------------------------------------------------------------*)
END AsciiTime.