Name Rascal/Libraries/Prelude/DateTime/decrementMilliseconds

Synopsis Decrement the milliseconds by a given amount or by 1.

Function

1. datetime decrementMilliseconds(datetime dt, int n)
2. datetime decrementMilliseconds(datetime dt)

Usage import DateTime;

Examples

rascal>import DateTime;
ok
rascal>N = now();
datetime: $2014-10-28T10:39:41.502+00:00$
rascal>decrementMilliseconds(N);
datetime: $2014-10-28T10:39:41.501+00:00$
rascal>decrementMilliseconds(N, 5);
datetime: $2014-10-28T10:39:41.497+00:00$

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