File: time.k

package info (click to toggle)
kaya 0.4.2-4
  • links: PTS
  • area: main
  • in suites: lenny
  • size: 4,448 kB
  • ctags: 1,694
  • sloc: cpp: 9,536; haskell: 7,461; sh: 3,013; yacc: 910; makefile: 816; perl: 90
file content (23 lines) | stat: -rw-r--r-- 541 bytes parent folder | download | duplicates (8) 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
 
program time;

import Time;

Void main() {
	putStrLn(datestring());
	putStrLn(timestring());
}

"Return a date in String form."
public String datestring(Time t = localTime()) {
    mon = string(t.mon);
    day = string(t.wday);
    return day+" "+String(t.mday)+" "+mon+" "+String(t.year);
}

"Return a time in String form."
public String timestring(Time t = localTime()) {
    min = String(t.minute);
    if (length(min)==1) min = "0"+min;
    return String(t.mday)+"/"+String(int(t.mon))+"/"+String(t.year)+" "+
	String(t.hour)+":"+min;
}