Issue 12485: Section 8.2 page 35 InvalidType (ocl2-rtf) Source: (, ) Nature: Clarification Severity: Minor Summary: InvalidType represents a type that conforms to all types. The only instance of InvalidType is Invalid, which is further defined in the standard library. Furthermore Invalid has exactly one runtime instance called OclInvalid. should be replaced by InvalidType InvalidType represents a type that conforms to all types. The only instance of InvalidType is OclInvalid, which is further defined in the standard library. Furthermore OclInvalid has exactly one runtime instance called invalid. This would follow the naming conventions and be in line with the notation for VoidType, OclVoid, null. Resolution: Disposition: See issue 12378 for disposition Revised Text: Actions taken: May 15, 2008: received issue October 16, 2009: closed issue Discussion: Disposition: See issue 12378 for disposition End of Annotations:===== m: webmaster@omg.org Date: 15 May 2008 05:59:34 -0400 To: Subject: Issue/Bug Report Name: Peter H. Schmitt Company: Universität Karlsruhe mailFrom: pschmitt@ira.uka.de Notification: Yes Specification: Object Constraint Language Section: 8.2 FormalNumber: formal/06-05-01 Version: 2.0 RevisionDate: 05/01/06 Page: 35 Nature: Clarification Severity: Minor HTTP User Agent: Mozilla/5.0 (X11; U; Linux i686; en-US; rv:1.8.0.6) Gecko/20060728 SUSE/1.5.0.6-1.3 Firefox/1.5.0.6 Description Section 8.2 page 35 InvalidType InvalidType represents a type that conforms to all types. The only instance of InvalidType is Invalid, which is further defined in the standard library. Furthermore Invalid has exactly one runtime instance called OclInvalid. should be replaced by InvalidType InvalidType represents a type that conforms to all types. The only instance of InvalidType is OclInvalid, which is further defined in the standard library. Furthermore OclInvalid has exactly one runtime instance called invalid. This would follow the naming conventions and be in line with the notation for VoidType, OclVoid, null.