getInts method
Implementation
List<int>? getInts(String key, [String splitPatter = r'(\s*,+\s*)+']) {
final raw = attrs[key];
if (raw.isEmpty) return null;
final rawInts = raw!.split(RegExp(splitPatter));
if (rawInts.isEmpty) return null;
if (rawInts.length == 1 && rawInts[0].isEmpty) return null;
List<int>? ints;
for (var rawInt in rawInts) {
var i = int.tryParse(rawInt);
if (i != null) {
ints ??= [];
ints.add(i);
}
}
return ints;
}