Issue 14594: OCL 2.1 12 Definition uses LetExp (ocl2-rtf) Source: Model Driven Solutions (Dr. Edward Willink, ed(at)willink.me.uk) Nature: Uncategorized Issue Severity: Summary: 12.5 define a definition body as one or more LetExps. No example wraps the expression as a LetExp. Is this an obsolete specification or an unobserved AST structural constraint? 12.5 defines synthesis of a variable or function, but fails to distinguish these from the equivalent property or operation Resolution: Revised Text: Actions taken: October 31, 2009: received issue Discussion: End of Annotations:===== s is issue # 14594 From: Ed Willink OCL 2.1 12 Definition uses LetExp 12.5 define a definition body as one or more LetExps. No example wraps the expression as a LetExp. Is this an obsolete specification or an unobserved AST structural constraint? 12.5 defines synthesis of a variable or function, but fails to distinguish these from the equivalent property or operation