Invariants not implemented in class DvText
Bug #609156 reported by
Sergio Miranda Freire
This bug affects 1 person
Affects | Status | Importance | Assigned to | Milestone | |
---|---|---|---|---|---|
OSHIPpy |
Fix Committed
|
High
|
Wagner Mezaroba |
Bug Description
The following invariants are not implemented:
Mappings_valid: mappings /= void implies not mappings.is_empty
Formatting_valid: formatting /= void implies not formatting.is_empty
Value_valid: value /= void and then not value.is_empty and then not (value.has(CR) or value.has(LF))
Language_valid: language /= Void implies code_set(
Encoding_valid: encoding /= Void implies code_set(
Here we will need to use openehr terminology.
Maybe it is interesting to implement a representation method for this class.
Related branches
Changed in oship: | |
importance: | Undecided → High |
milestone: | none → 1.5 |
Changed in oship: | |
assignee: | nobody → Wagner Mezaroba (wagnerfrancisco) |
Changed in oship: | |
status: | New → Fix Committed |
affects: | oship → oshippy |
Changed in oshippy: | |
milestone: | 1.5 → none |
To post a comment you must log in.