Skip to main content


Eclipse Community Forums
Forum Search:

Search      Help    Register    Login    Home
Home » Archived » M2M (model-to-model transformation) » called rule
called rule [message #534794] Thu, 20 May 2010 11:14
graa is currently offline graaFriend
Messages: 42
Registered: April 2010
Member
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: Thu Apr 18 02:41:31 GMT 2024

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

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

Back to the top