isbn13MaybeRegStr top-level property
The pattern used to match exactly 13 numeric digits.
This pattern ensures that the string is composed strictly of 13 digits from start (^) to end ($), using a non-capturing group.
Pattern: ^(?:[0-9]{13})$
Implementation
String isbn13MaybeRegStr = r'^(?:[0-9]{13})$';