Skip to main content



      Home
Home » Archived » M2M (model-to-model transformation) » counter
counter [message #536187] Thu, 27 May 2010 06:51 Go to next message
Eclipse UserFriend
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 Go to previous messageGo to next message
Eclipse UserFriend
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 Go to previous messageGo to next message
Eclipse UserFriend
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 Go to previous messageGo to next message
Eclipse UserFriend
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 Go to previous message
Eclipse UserFriend
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: Sun Jun 15 21:32:47 EDT 2025

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

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

Back to the top