assumed_value : String list : Set<List<String>> list_open : Boolean pattern : String | View: | Hide Browser | Browser on the left | Browser on the right | Dictionary |
| Report: | General Info | Attributes | Constraints |
| Attributes | ||||
| Signature | Optionality | Multiplicity | Constant | Documentation |
| assumed_value : String | 0..1 | -- | The value to assume if this item is not included in data, due to being part of an optional structure. | |
| list : Set<List<String>> | 0..1 | 0..* | List of Strings specifying constraint | |
| list_open : Boolean | 0..1 | -- | True if the list is being used to specify the constraint but is not considered exhaustive. | |
| pattern : String | 0..1 | -- | Regular expression pattern for proposed instances of String to match. | |
| Constraints | ||
| Name | Expression | |
| pattern_exists | inv: pattern <> Void implies not pattern.is_empty | |
| consistency | inv: pattern <> Void xor list <> Void | |