Navigation
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-02-14T09:30:23.675+01:00$
rascal>printTime(N);
str: "09:30:23.675+0100"
rascal>printTime(N, "HH/mm/ss");
str: "09/30/23"
Is this page unclear, or have you spotted an error? Please add a comment below and help us to improve it. For all other questions and remarks, visit ask.rascal-mpl.org.