Name Rascal/Libraries/Prelude/DateTime/printTime

Synopsis Print an input time using the given format string.

Function

1. str printTime(datetime inputTime, str formatString)
2. str printTime(datetime inputTime)

Usage import DateTime;

Examples

rascal>import DateTime;
ok
rascal>N = now();
datetime: $2014-10-28T10:39:42.499+00:00$
rascal>printTime(N);
str: "10:39:42.499+0000"
rascal>printTime(N, "HH/mm/ss");
str: "10/39/42"

[Edit] | [New Subconcept] | [Recompile Course] | [Warnings]