[ http://thecla.homeftp.net:8380/jira/browse/OCL-2?page=history ]
     
Chad Brandon closed OCL-2:
--------------------------

     Resolution: Fixed
    Fix Version: 3.0RC1

> missing ocl features
> --------------------
>
>          Key: OCL-2
>          URL: http://thecla.homeftp.net:8380/jira/browse/OCL-2
>      Project: OCL Translation
>         Type: Bug
>     Versions: 3.0M3
>     Reporter: Wouter Zoons
>     Assignee: Chad Brandon
>     Priority: Minor
>      Fix For: 3.0RC1

>
>
> 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://thecla.homeftp.net:8380/jira/secure/Administrators.jspa
-
If you want more information on JIRA, or have a bug to report see:
   http://www.atlassian.com/software/jira



-------------------------------------------------------
SF email is sponsored by - The IT Product Guide
Read honest & candid reviews on hundreds of IT Products from real users.
Discover which products truly live up to the hype. Start reading now.
http://ads.osdn.com/?ad_id=6595&alloc_id=14396&op=click
_______________________________________________
Andromda-devel mailing list
[email protected]
https://lists.sourceforge.net/lists/listinfo/andromda-devel

Reply via email to