[ http://jira.andromda.org/browse/OCL-12?page=history ]
     
Work on OCL-12 started by Chad Brandon

> usage of 'self' in property names
> ---------------------------------
>
>          Key: OCL-12
>          URL: http://jira.andromda.org/browse/OCL-12
>      Project: OCL Translation
>         Type: Bug
>   Components: AndroMDA Validation
>     Versions: 3.0RC1
>     Reporter: Wouter Zoons
>     Assignee: Chad Brandon

>
> I was adding a property to a metafacade, the property was called 
> 'selfTargetting'
> when I also added an OCL constraint the property was never called although I 
> was using it in the OCL invariance
> the validation library seem to replace all occurences of 'self\.?' by 
> whitespace
> doing so even has further implications, suppose you want to do this:
>   context StrutsUseCase inv:
>    pages->isEmpty() implies activityGraph.finalStates->forAll(targetUseCase 
> <> self)
> self will be replaced by a whitespace, instead of 'this' or 'contextElement'
> rewriting the OCL in this way does not change anything:
>   context StrutsUseCase inv:
>    let thisUseCase = self in pages->isEmpty() implies 
> activityGraph.finalStates->forAll(targetUseCase <> thisUseCase)
> we need to be more careful in handling the reserved 'self' OCL keyword

-- 
This message is automatically generated by JIRA.
-
If you think it was sent incorrectly contact one of the administrators:
   http://jira.andromda.org/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
Andromda-devel@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/andromda-devel

Reply via email to