63 lines
1.2 KiB
Plaintext
63 lines
1.2 KiB
Plaintext
MODULE HW_con;
|
|
|
|
IMPORT Out, In, Console, DateTime;
|
|
|
|
|
|
PROCEDURE OutInt2(n: INTEGER);
|
|
BEGIN
|
|
ASSERT((0 <= n) & (n <= 99));
|
|
IF n < 10 THEN
|
|
Out.Char("0")
|
|
END;
|
|
Out.Int(n, 0)
|
|
END OutInt2;
|
|
|
|
|
|
PROCEDURE OutMonth(n: INTEGER);
|
|
VAR
|
|
str: ARRAY 4 OF CHAR;
|
|
|
|
BEGIN
|
|
|
|
CASE n OF
|
|
| 1: str := "jan"
|
|
| 2: str := "feb"
|
|
| 3: str := "mar"
|
|
| 4: str := "apr"
|
|
| 5: str := "may"
|
|
| 6: str := "jun"
|
|
| 7: str := "jul"
|
|
| 8: str := "aug"
|
|
| 9: str := "sep"
|
|
|10: str := "oct"
|
|
|11: str := "nov"
|
|
|12: str := "dec"
|
|
END;
|
|
|
|
Out.String(str)
|
|
END OutMonth;
|
|
|
|
|
|
PROCEDURE main;
|
|
VAR
|
|
Year, Month, Day, Hour, Min, Sec, Msec: INTEGER;
|
|
|
|
BEGIN
|
|
Out.String("Hello, world!"); Out.Ln;
|
|
Console.SetColor(Console.White, Console.Red);
|
|
DateTime.Now(Year, Month, Day, Hour, Min, Sec, Msec);
|
|
Out.Int(Year, 0); Out.Char("-");
|
|
OutMonth(Month); Out.Char("-");
|
|
OutInt2(Day); Out.Char(" ");
|
|
OutInt2(Hour); Out.Char(":");
|
|
OutInt2(Min); Out.Char(":");
|
|
OutInt2(Sec)
|
|
END main;
|
|
|
|
|
|
BEGIN
|
|
Console.open;
|
|
main;
|
|
In.Ln;
|
|
Console.exit(TRUE)
|
|
END HW_con. |