Hi Are you sure your parameter goal is a sequence ? Regards Tristan FAURE
Le 20/05/2010 13:56, Topcased user list where issues are discussed a écrit :
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 <http://v.name>)
}
thanks
_______________________________________________
Topcased-users mailing list
[email protected]
http://lists.gforge.enseeiht.fr/mailman/listinfo/topcased-users
<<attachment: tristan_faure.vcf>>
_______________________________________________ Topcased-users mailing list [email protected] http://lists.gforge.enseeiht.fr/mailman/listinfo/topcased-users
