Issue 16260: on page 153 oclIsInState is used instead of oclInState (ocl2-rtf) Source: (, ) Nature: Clarification Severity: Minor Summary: On page 153 oclIsInState(statespec : OclState) is used to check if an object is in a specified state. But in Section 7.5.9 on page 22 oclInState(statespec : OclState) is used for this purpose and examples are given. There is one more occurrence of oclIsInState on page 47 of Section 8.3.1, but this is talking about the abstract syntax, therefore it could be valid. But I think definitely not for the concrete syntax of the OCL. Strangely enough the Eclipse Interactive OCL Console implements oclIsInState() and not oclInState(). I would appreciate a clarification which statement to use very much! Resolution: If it was a popularity contest, oclInState would win because there are many occurences in Clause 7, but Clause 7 is not normative. Excluding clause 7, oclIsInState has two occurences to oclInState's one. More importantly, the definition in 11.3.1 is oclIsInState. Stylistically, all other ocl-prefixed methods returning boolean are oclIs... Let's go for oclIsInState Revised Text: Replace all (8) occurrences of oclInState by oclIsInState Actions taken: May 20, 2011: received issue December 23, 2013: closed issue Discussion: End of Annotations:===== m: webmaster@omg.org Date: 20 May 2011 05:01:54 -0400 To: Subject: Issue/Bug Report ******************************************************************************* Name: Bernhard Hoisl Employer: WU Vienna mailFrom: bernhard.hoisl@wu.ac.at Terms_Agreement: I agree Specification: Object Constraint Language Section: 11.3.1 FormalNumber: ptc/2010-11-42 Version: 2.3 Doc_Year: 2010 Doc_Month: December Doc_Day: Day Page: 153 Title: on page 153 oclIsInState is used instead of oclInState Nature: Clarification Severity: Minor CODE: 3TMw8 B1: Report Issue Description: On page 153 oclIsInState(statespec : OclState) is used to check if an object is in a specified state. But in Section 7.5.9 on page 22 oclInState(statespec : OclState) is used for this purpose and examples are given. There is one more occurrence of oclIsInState on page 47 of Section 8.3.1, but this is talking about the abstract syntax, therefore it could be valid. But I think definitely not for the concrete syntax of the OCL. Strangely enough the Eclipse Interactive OCL Console implements oclIsInState() and not oclInState(). I would appreciate a clarification which statement to use very much! Thank you, X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AvAFAGZ93k3Unw4R/2dsb2JhbABPBoJSm3CHCWVwCMcHgzGCawSUcopY Date: Thu, 26 May 2011 17:25:15 +0100 From: Ed Willink User-Agent: Mozilla/5.0 (Windows; U; Windows NT 6.0; en-GB; rv:1.9.2.13) Gecko/20101207 Thunderbird/3.1.7 To: "ocl2-rtf@omg.org" CC: bernhard.hoisl@wu.ac.at Subject: Re: issue 16260 -- OCL 2 RTF issue Hi Bernard If it was a popularity contest, oclInState would win because there are many occurences in Clause 7, but Clause 7 is not normative. Excluding clause 7, oclIsInState has two occurences to oclInState's one. More importantly, the definition in 11.3.1 is oclIsInState. Stylistically, all other ocl-prefixed methods returning boolean are oclIs..., so I would be surprised if the eventual resolution selects anything other than oclIsInState. Regards Ed Willink On 26/05/2011 16:39, Juergen Boldt wrote: From: webmaster@omg.org Date: 20 May 2011 05:01:54 -0400 To: Subject: Issue/Bug Report ******************************************************************************* Name: Bernhard Hoisl Employer: WU Vienna mailFrom: bernhard.hoisl@wu.ac.at Terms_Agreement: I agree Specification: Object Constraint Language Section: 11.3.1 FormalNumber: ptc/2010-11-42 Version: 2.3 Doc_Year: 2010 Doc_Month: December Doc_Day: Day Page: 153 Title: on page 153 oclIsInState is used instead of oclInState Nature: Clarification Severity: Minor CODE: 3TMw8 B1: Report Issue Description: On page 153 oclIsInState(statespec : OclState) is used to check if an object is in a specified state. But in Section 7.5.9 on page 22 oclInState(statespec : OclState) is used for this purpose and examples are given. There is one more occurrence of oclIsInState on page 47 of Section 8.3.1, but this is talking about the abstract syntax, therefore it could be valid. But I think definitely not for the concrete syntax of the OCL. Strangely enough the Eclipse Interactive OCL Console implements oclIsInState() and not oclInState(). I would appreciate a clarification which statement to use very much! Thank you, Bernhard Hoisl Juergen Boldt Director, Member Services 140 Kendrick Street, Building A Suite 300 Needham, MA 02494 USA Tel: 781 444 0404 x 132 fax: 781 444 0320 www.omg.org -------------------------------------------------------------------------------- No virus found in this message. Checked by AVG - www.avg.com Version: 10.0.1375 / Virus Database: 1509/3660 - Release Date: 05/25/11 Bernhard Hoisl