![]() |
|
Navigation |
Synopsis Split an existing datetime into a tuple with the date and the time.
Function
tuple[datetime date, datetime time] splitDateTime(datetime dt)
Usage
import DateTime;
Examples
rascal>import DateTime; ok rascal>N = now(); datetime: $2014-02-14T09:30:23.904+01:00$ rascal>splitDateTime(N); tuple[datetime date,datetime time]: <2014-02-14,$T09:30:23.904+01:00$> ![]() |