-
Key: UML14-955
-
Legacy Issue Number: 2573
-
Status: closed
-
Source: Anonymous
-
Summary:
Summary: There seems to be an error in the third postcondition for String::concat on page 6-31. It says:
post: result.substring(string.size + 1, string2.size) = string2
It should read:
post: result.substring(string.size + 1, string.size + string2.size) = string2
-
Reported: UML 1.1 — Mon, 29 Mar 1999 05:00 GMT
-
Disposition: Resolved — UML 1.3
-
Disposition Summary:
No Data Available
-
Updated: Fri, 6 Mar 2015 21:37 GMT
UML14 — Error in the third postcondition for String::concat on page 6-31
- Key: UML14-955
- OMG Task Force: UML 1.4 RTF