Issue 18882: Unify @pre, ^, ^^, ? as extensibility mechanisms (ocl2-rtf) Source: Model Driven Solutions (Dr. Edward Willink, ed(at)willink.me.uk) Nature: Enhancement Severity: Minor Summary: The OCL expression syntax is difficult to extend for other purposes. The @pre postcondition operator, and the ^,^^,? tokens are examples of extension of the core syntax. Perhaps @pre could be generalized as an instance of an @token{....} suffix which could be parsed as an AnnotationExp for tooling to ignore but support extension for. Can more arbitrary punctuation such as ^,^^,?,#,% be generalized? Resolution: Revised Text: Actions taken: August 30, 2013: received issue Discussion: End of Annotations:===== m: webmaster@omg.org Date: 30 Aug 2013 01:52:45 -0400 To: Subject: Issue/Bug Report ******************************************************************************* Name: Edward Willink Employer: mailFrom: ed@willink.me.uk Terms_Agreement: I agree Specification: OCL Section: 9 FormalNumber: 12-01-01 Version: 2.3.1 Doc_Year: 2012 Doc_Month: January Doc_Day: 01 Page: n/a Title: Unify @pre, ^, ^^, ? as extensibility mechanisms Nature: Enhancement Severity: Minor CODE: 3TMw8 B1: Report Issue Remote Name: edwillink.plus.com Remote User: HTTP User Agent: Mozilla/5.0 (Windows NT 6.0; rv:23.0) Gecko/20100101 Firefox/23.0 Time: 01:52 AM Description: The OCL expression syntax is difficult to extend for other purposes. The @pre postcondition operator, and the ^,^^,? tokens are examples of extension of the core syntax. Perhaps @pre could be generalized as an instance of an @token{....} suffix which could be parsed as an AnnotationExp for tooling to ignore but support extension for. Can more arbitrary punctuation such as ^,^^,?,#,% be generalized?