Check des Dateinamens

[TomTomRixRix]

Die Überprüfung, ob der Dateiname des Protokolls valide ist, kann ganz einfach über eine RegEx gelöst werden:

^20\d{2}-(0[1-9]|1[0-2])-(0[1-9]|[12]\d|3[01]).txt{1}$

Dies überprüft, ob

• yyyy-mm-dd als Format vorliegt, also ob die - richtig gesetzt sind
• das Jahr muss zwischen 2000 und 2099 liegen
• der Monat muss zwischen 01 und 12 liegen
• der Tag muss zwischen 01 und 31 liegen
• es wird nicht überprüft, ob der Kalendertag existiert (z.B. ginge auch 2020-02-31)
• die Dateiendung .txt angegeben ist
• der Dateiname mit Endung nicht länger oder kürzer als 14 Zeichen ist

Die Exception ist eigentlich schön, da sollte man dann angeben, wie die Datei benannt sein muss.

Und zum Schluss wäre es schön, wenn die Funktion auch false zurückgibt und nicht nur True oder eine Exeption.