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

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

Thu, 27 May 2010 06:51

Eclipse User

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?

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

Thu, 27 May 2010 07:18

Eclipse User

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)

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

Thu, 27 May 2010 07:46

Eclipse User

you do not understand my question, I means an integer counter in the stack of execution.

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

Thu, 27 May 2010 08:12

Eclipse User

well, I guess you can use iniseq.indexOf(goal)

Re: counter [message #536255 is a reply to message #536217]

Thu, 27 May 2010 09:35

Eclipse User

thanks you very much