Issue 10433: 11.2.3 (ocl2-rtf) Source: NIST (Mr. Peter Denno, peter.denno(at)nist.gov) Nature: Uncategorized Issue Severity: Summary: "The type OclVoid is a type that conforms to all other types. It has one single instance called null which corresponds with the UML Null Literal value specification. " This text could be clearer. What does "called null" mean? Is it saying that the name "null" refers to this instance? A suggested rewrite: "It has one instance, identified by 'null.' The instance null corresponds to the UML Null Literal." Resolution: Revised Text: Update Section 11.2.3 to read: The type OclVoid is a type that conforms to all other types except OclInvalid. It has one single instance, identified as null, that corresponds with the UML LiteralNull value specification. Actions taken: November 2, 2006: 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:===== s is issue # 10433 11.2.3 "The type OclVoid is a type that conforms to all other types. It has one single instance called null which corresponds with the UML Null Literal value specification. " This text could be clearer. What does "called null" mean? Is it saying that the name "null" refers to this instance? A suggested rewrite: "It has one instance, identified by 'null.' The instance null corresponds to the UML Null Literal."