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
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 = 'forAll' and
if s.source.oclIsTypeOf(OCL!OperationCallExp) then
if = 'allInstances' then
else true
else true

to t: OCL!IteratorExp(

name <- 'exists'

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

Current Time: Sun Apr 21 02:48:35 GMT 2019

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

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

Back to the top