![]() |
|
Navigation |
Synopsis Print an input datetime using the given format string.
Function
Usage
import DateTime;
Examples
rascal>import DateTime; ok rascal>N = now(); datetime: $2014-02-14T09:30:23.451+01:00$ rascal>printDateTime(N); str: "2014-02-14 09:30:23.451+0100" rascal>printDateTime(N, "yyyy-MM-dd\'T\'HH:mm:ss.SSSZZ"); str: "2014-02-14T09:30:23.451+0100" rascal>printDateTime(N, "YYYY/MM/dd/HH/mm/ss"); str: "2014/02/14/09/30/23" ![]() |