[ATL] for [message #535437] |
Sun, 23 May 2010 09:58  |
Eclipse User |
|
|
|
hi,
i have a problem in instruction for :
mismatched input 'for' expecting RPAREN
rule transformation {
from
u: uml!PackageableElement
using {
iniseq : Sequence(uml!PackageableElement) =u.machine;
level :Integer = 0;
}
to
b : eventb!BModel(
name <- 'M'+ level.toString(),
events <- u.Level0->collect(r|thisModule.NewEvent(r))),
fi : distinct eventb!BModel foreach(goal in iniseq)(
name <- 'M'+ ( u.counter(level)).toString()
for(ev in u.AllEvent(goal))
(events<-ev)
}
how i can resolve it?
thanks
|
|
|
|
Re: [ATL] for [message #535924 is a reply to message #535663] |
Wed, 26 May 2010 07:14  |
Eclipse User |
|
|
|
i know,but when i do events <- u.AllEvent(goal)
u.AllEvent(goal) return a sequence :Sequence {IN2!G1:uml!AbstractGoal, IN2!G2:uml!AbstractGoal,IN2!G3:uml!AbstractGoal,....}
it affect to first BModel events=IN2!G1:uml!AbstractGoal
and for exemple u.AllEvent(goal) ={IN2!G4:uml!AbstractGoal, IN2!G5:uml!AbstractGoal,IN2!G6:uml!AbstractGoal,....}
it affect to second BModel events=IN2!G5:uml!AbstractGoal
but i would that affect all element of the sequence in events for each BModel.
|
|
|
Powered by
FUDForum. Page generated in 0.06086 seconds