Eclipse Community Forums: M2M (model-to-model transformation)

Help

Home

Home » Archived » M2M (model-to-model transformation) » counter

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

counter [message #536187]

Thu, 27 May 2010 10:51

graa

Messages: 42
Registered: April 2010

Member

hi,
when I followed the execution of :

fi : distinct eventb!BModel foreach(goal in iniseq)(

events<-u.AllEventfinal)

I note the existence of a counter
how can I access this counter?

Report message to a moderator

Re: counter [message #536203 is a reply to message #536187]

Thu, 27 May 2010 11:18

wafaa

Messages: 163
Registered: January 2010
Location: Egypt

Senior Member

most of the iterator operation could be in 3 ways
1- operation(<expression>)
2- operation(iter | <expression>)
3- operation(iter ; accu : Type = basicval | expression with accu and iter)
such as collect or summation

u can try the second one

foreach(i | ur expression)

Report message to a moderator