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'
)
}
|
|
|
Powered by
FUDForum. Page generated in 0.01933 seconds