Skip to main content


Eclipse Community Forums
Forum Search:

Search      Help    Register    Login    Home
Home » Archived » M2M (model-to-model transformation) » counter
counter [message #536187] Thu, 27 May 2010 10:51 Go to next message
graa is currently offline graaFriend
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?
Re: counter [message #536203 is a reply to message #536187] Thu, 27 May 2010 11:18 Go to previous messageGo to next message
wafaa is currently offline wafaaFriend
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)
Re: counter [message #536212 is a reply to message #536203] Thu, 27 May 2010 11:46 Go to previous messageGo to next message
graa is currently offline graaFriend
Messages: 42
Registered: April 2010
Member
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 12:12 Go to previous messageGo to next message
Sylvain EVEILLARD is currently offline Sylvain EVEILLARDFriend
Messages: 556
Registered: July 2009
Senior Member
well, I guess you can use iniseq.indexOf(goal)
Re: counter [message #536255 is a reply to message #536217] Thu, 27 May 2010 13:35 Go to previous message
graa is currently offline graaFriend
Messages: 42
Registered: April 2010
Member
thanks you very much
Previous Topic:transform uml class to a uml property in another class
Next Topic:Create a children for an element
Goto Forum:
  


Current Time: Sat Apr 17 00:44:36 GMT 2021

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

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

Back to the top