previous next top contents index framed top this page unframed
Figure 46–20. $removeDateAndTime
| STRING PROCEDURE $removeDateAndTime (MODIFIES STRING s; OPTIONAL BITS ctrlBits); |
$removeDateAndTime reads a date and time STRING from the beginning of s. If s begins with a valid substring representing a date, time, or date followed by time (as accepted by $strToDate, $strToTime, or $strToDateAndTime), $removeDateAndTime removes the substring from s and returns it. Otherwise, $removeDateAndTime does not alter s and returns the null STRING.
The only valid ctrlBits bit is discard. If set, initial blank, tab, end-of-page, carriage return, and linefeed characters are removed from s before looking for the date and/or time STRING.
MAINSAIL Language Manual, Section 46.16