Name Rascal/Libraries/Prelude/DateTime/parseTime

Synopsis Parse an input time given as a string using the given format string.

Function datetime parseTime(str inputTime, str formatString)

Usage import DateTime;

Examples

rascal>import DateTime;
ok
rascal>parseTime("11/21/19", "HH/mm/ss");
datetime: $T11:21:19.000+01:00$

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