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
string
is not allowed to be empty.
Invariants 🔗
-
Constraint AASd-100: An attribute with data type ``string`` is not allowed to be empty.
len(self) >= 1