Skip to main content


Eclipse Community Forums
Forum Search:

Search      Help    Register    Login    Home
Home » Modeling » ATL » Refining Transformation on OCL constraints
Refining Transformation on OCL constraints [message #1792176] Thu, 12 July 2018 10:48
Sidra Iftikhar is currently offline Sidra IftikharFriend
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'

)
}
Previous Topic:Create cartesian product from list
Next Topic:Calling EMFTVM programmatically error
Goto Forum:
  


Current Time: Fri Nov 16 08:12:13 GMT 2018

Powered by FUDForum. Page generated in 0.02712 seconds
.:: Contact :: Home ::.

Powered by: FUDforum 3.0.2.
Copyright ©2001-2010 FUDforum Bulletin Board Software

Back to the top