convertFileNameToDate function

DateTime convertFileNameToDate(
  1. String filename
)

Convert a filename to a DateTime by parsing the ISO-like name. Filenames use - in place of : and . in ISO timestamps.

Implementation

DateTime convertFileNameToDate(String filename) {
  final baseName = filename.split('.').first;
  final isoStr = baseName.replaceAllMapped(
    RegExp(r'T(\d{2})-(\d{2})-(\d{2})-(\d{3})Z'),
    (m) => 'T${m[1]}:${m[2]}:${m[3]}.${m[4]}Z',
  );
  return DateTime.parse(isoStr);
}