Issue 12378: Section 8.2 InvalidType (ocl2-rtf) Source: (, ) Nature: Revision Severity: Minor Summary: For the InvalidType it is stated that: "The only instance of InvalidType is Invalid, which is further defined in the standard library. Furthermore Invalid has exactly one runtime instance called OclInvalid." It should read: "The only instance of InvalidType is OclInvalid, which is further defined in the standard library. Furthermore OclInvalid has exactly one runtime instance called invalid." because this is in line with ch. 11.2.4, p. 138:"It [OclInvalid] has one single instance called invalid. [...] OclInvalid is itself an instance of the metatype InvalidType Resolution: Revised Text: Actions taken: April 14, 2008: received issue Discussion: End of Annotations:===== m: webmaster@omg.org Date: 14 Apr 2008 10:31:15 -0400 To: Subject: Issue/Bug Report -------------------------------------------------------------------------------- Name: Torsten Binias Company: Steria Mummert Consulting AG mailFrom: torsten.binias@gmx.de Notification: Yes Specification: Object Constraint Language Section: 8.2 FormalNumber: ? Version: 2.0 RevisionDate: 70/02/05 Page: 35 Nature: Revision Severity: Minor HTTP User Agent: Mozilla/5.0 (Windows; U; Windows NT 5.1; de; rv:1.8.1.13) Gecko/20080311 Firefox/2.0.0.13 Description For the InvalidType it is stated that: "The only instance of InvalidType is Invalid, which is further defined in the standard library. Furthermore Invalid has exactly one runtime instance called OclInvalid." It should read: "The only instance of InvalidType is OclInvalid, which is further defined in the standard library. Furthermore OclInvalid has exactly one runtime instance called invalid." because this is in line with ch. 11.2.4, p. 138:"It [OclInvalid] has one single instance called invalid. [...] OclInvalid is itself an instance of the metatype InvalidType."