DigitString.extract constructor

DigitString.extract(
  1. String input
)

Extracts decimal digits from a string.

Implementation

factory DigitString.extract(String input) {
  var builder = StringBuffer();

  for (var c in input.characters) {
    var val = int.tryParse(c);
    if (val != null) {
      builder.write(c);
    }
  }
  return DigitString._(builder.toString());
}