Document ID: /fineweb-2-swissfilter-quality_10-filterrobots/filtered/03657.jsonl.gz/1554

Das Modul DateConversions enthält Prozeduren, die das Konvertieren von Zeit- und Datumswerten in verschiedenen Darstellungen erlaubt. Diese Prozeduren funktionieren nur, wenn sich das Datum zwischen dem 1. März 1900 und dem 28. Februar 2099 befindet.
Im Modul ist ein eigener Typ DateInfo definiert, in dem Datum und Uhrzeit in Form von Anzahl Minuten und Mikrosekunden seit dem 1. März 1900 abgelegt sind.
Die Prozeduren FromDos und ToDos erlauben es, Datum und Zeit im vom Dos gelieferten Format (DosD.Date) zu und von dem Format von DateInfo zu wandeln.
Die Prozeduren FromTimer und ToTimer erlauben es, die Zeit im Format, wie sie vom timer.device geliefert werden (Timer.TimeVal), zu und von demjenigen von DateInfo zu wandeln.
Die Prozeduren DecodeDate und EncodeDate konvertieren ein Datum ohne Uhrzeit in eine Minutenwert, der in einer Variablen vom Typ DateInfo abgelegt werden kann.
DateToStr schliesslich erlaubt die Wandlung von Datum und Zeit in eine Zeichenkette. DateToStr bietet eine sehr flexible Formatierungsmöglichkeit. formatString gibt dabei an, wie die in output erstellte Zeichenkette auszusehen hat. Alle Buchstabenpaare der Formatzeichenkette, die mit einem %-Zeichen beginnen, werden auf spezielle Art behandelt. Alle anderen Buchstaben werden unverändert in output übernommen. Die speziellen Buchstabenpaare sind: