NonEmptyString 🔗
-
Primitive type:
str🔗
Represent a string with at least one character.
This allows us to model the following constraint.
- Constraint AASd-100🔗
-
An attribute with data type
stringis not allowed to be empty.
Invariants 🔗
-
Constraint AASd-100: An attribute with data type ``string`` is not allowed to be empty.
len(self) >= 1