Synopsis Create a new datetime by combining a date and a time.
Function datetime joinDateAndTime(datetime date, datetime time)
Usage import DateTime;
rascal>import DateTime;
rascal>D = createDate(2012, 1, 1);
datetime: 2012-01-01
rascal>T = createTime(8, 15, 45, 30);
datetime: $T08:15:45.030+01:00$
rascal>joinDateAndTime(D, T);
datetime: $2012-01-01T08:15:45.030+01:00$
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