missing ocl features
--------------------

         Key: OCL-2
         URL: http://team.andromda.org:8080/jira/browse/OCL-2
     Project: OCL Translation
        Type: Bug
    Reporter: Wouter Zoons
 Assigned to: 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

Reply via email to