Skip to main content



      Home
Home » Archived » M2M (model-to-model transformation) » called rule
called rule [message #534794] Thu, 20 May 2010 07:14
Eclipse UserFriend
hi,
i would like called this rule in another rule
i do thisModule. AllEvent(goal) but it not accept
iwould like how i can called this rule?
rule AllEvent(goal:Sequence(uml!PackageableElement)) {

to
g : eventb!BAnyEvent (name<-'M1'),

fi : distinct eventb!BAnyEvent foreach(v in goal)(


name<-v.name)
}
thanks
Previous Topic:[QVTO] simple mapping constructs
Next Topic:[ATL]An internal error
Goto Forum:
  


Current Time: Sun Jun 15 17:29:18 EDT 2025

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

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

Back to the top