extractUserNumber function

BigInt? extractUserNumber(
  1. String s
)

Implementation

BigInt? extractUserNumber(String s) {
  final i = s.indexOf(" ");
  if (i != -1 && parseUserNumber(s.substring(0, i)) != null) {
    return parseUserNumber(s.substring(0, i));
  } else {
    return null;
  }
}