fiveDigitStr top-level property

String fiveDigitStr
getter/setter pair

Implementation

String fiveDigitStr = r'^\d{5}$';