| Key: |
SPEC-256
|
| Type: |
Change Request
|
| Status: |
Closed
|
| Resolution: |
Fixed
|
| Priority: |
Minor
|
| Reporter: |
Thomas Beale
|
| Votes: |
0
|
| Watchers: |
0
|
|
If you were logged in you would be able to see more operations.
|
|
|
| Change Description: |
The text for the has_extension function is changed to indicate that the Result is True if extension is not empty (rather than not Void).
|
| Impact Analysis: |
Minimal.
|
| Analyst: |
Rong Chen and Thomas Beale
|
|
In UID_BASED_ID, the invariant "extension_validity" requires "extension != void" but the method has_extension checks if extension != void. This should be corrected to be self-consistent. See Support IM
|
|
Description
|
In UID_BASED_ID, the invariant "extension_validity" requires "extension != void" but the method has_extension checks if extension != void. This should be corrected to be self-consistent. See Support IM
|
Show » |
|
Correct extension_validity in UID_BASED_ID class