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
 Assigned to: 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
[email protected]
https://lists.sourceforge.net/lists/listinfo/andromda-devel

Reply via email to