Eclipse Community Forums: ATL » Refining Transformation on OCL constraints

Help

Home

Home » Modeling » ATL » Refining Transformation on OCL constraints

Show: Today's Messages :: Show Polls :: Message Navigator

Refining Transformation on OCL constraints [message #1792176]

Thu, 12 July 2018 10:48

Sidra Iftikhar

Messages: 1
Registered: July 2018

Junior Member

Hiiii
I am writing a refining transformation for OCL constraints that converts a forALL expression to exists but not getting the expected results the transformed file is the same!!! here is the rule what is wrong with it

rule IteratorExpressionfromforAlltoexists{

from s: OCL!IteratorExp(
s.oclIsTypeOf(OCL!IteratorExp) and s.name = 'forAll' and
--s.source.source.oclIsTypeOf(OCL!OclExpression))
if s.source.oclIsTypeOf(OCL!OperationCallExp) then
if s.source.name = 'allInstances' then
false
else true
endif
else true
endif
)

to t: OCL!IteratorExp(

name <- 'exists'

)
}

Report message to a moderator

Previous Topic:	Long ATL file taking much time to save in Eclipse
Next Topic:	Create cartesian product from list

Goto Forum:

-=] Back to Top [=-

[ Syndicate this forum (XML) ] [

]

Current Time: Tue Apr 23 05:30:39 GMT 2024

.:: Contact :: Home ::.

Breadcrumbs

Sign up to our Newsletter