[ http://team.andromda.org:8080/jira/browse/OCL-2?page=comments#action_10392 ] Chad Brandon commented on OCL-2: --------------------------------
Actually this should work (I just tried it and it compiled ok): context StrutsExceptionHandler inv: targettingPage implies targettingFinalState The only thing that won't work from your example is the 'not' keyword, so you're right this won't work: context StrutsExceptionHandler inv: not targettingPage implies targettingFinalState I'll fix it. > missing ocl features > -------------------- > > Key: OCL-2 > URL: http://team.andromda.org:8080/jira/browse/OCL-2 > Project: OCL Translation > Type: Bug > Reporter: Wouter Zoons > Assignee: Chad Brandon > Priority: Minor > > > these expressions are valid OCL, but the translation library generates uncompilable > code: > (let's take the StrutsExceptionHandler example) > context StrutsExceptionHandler > inv: not targettingPage implies targettingFinalState > must be written as: > context StrutsExceptionHandler > inv: (targettingPage = false) implies targettingFinalState = true > so there are 2 problems here: > 1. the 'not keyword is not implemented > 2. evaluating a simple boolean property does not work with a comparator (and this at > the right-hand side of the 'implies' keyword) > I assigned to this you Chad, to make sure you are aware of it.. I will watch this > issue and also work on it (when I do I'll let you know via IM) -- This message is automatically generated by JIRA. - If you think it was sent incorrectly contact one of the administrators: http://team.andromda.org:8080/jira/secure/Administrators.jspa - If you want more information on JIRA, or have a bug to report see: http://www.atlassian.com/software/jira ------------------------------------------------------- This SF.Net email is sponsored by: Sybase ASE Linux Express Edition - download now for FREE LinuxWorld Reader's Choice Award Winner for best database on Linux. http://ads.osdn.com/?ad_id=5588&alloc_id=12065&op=click _______________________________________________ Andromda-devel mailing list [EMAIL PROTECTED] https://lists.sourceforge.net/lists/listinfo/andromda-devel
