setLengths method
Set lengths using decimal numbers like "10123".
Implementation
void setLengths(List<String> strings) {
if (strings.length != valueCount) {
throw ArgumentError('unexpected journal line: $strings');
}
try {
for (var i = 0; i < strings.length; i++) {
lengths[i] = int.parse(strings[i]);
}
} on FormatException {
throw ArgumentError('unexpected journal line: $strings');
}
}