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: Update the description in Section 8.2 The Types Package InvalidType represents a type that conforms to all types except the VoidType type. The only instance of InvalidType is OclInvalid, which is further defined in the standard library. Furthermore OclInvalid has exactly one runtime instance identified as invalid. Actions taken: April 14, 2008: received issue October 16, 2009: closed issue Discussion: The statements in the discussion of both OclVoid to OclInvalid that they conform to all other types is problematic, because that implies that they conform to one another, resulting in a generalization cycle. They should neither of them conform to the other, as both are intended as undefined values of ordinary expressions in degenerate situations 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."