Description Ernesto Posse 2017-11-17 16:15:06 EST

Created attachment 271538 [details]
ParameterTest model

if a transition with a trigger with parameter goes into a choice point, 
it appears that the parameter is only available in
- the effect of the transition going into the choice point, and
- the guards of any transition going out of the choice point, 
but *not* in the effect of any of the transitions going out of the 
choice point. 

This seems odd. Also, looking at the generated code, 'msg' is 
passed into the transitionaction (corresponding to the transitions
going out of a choice), meaning that only a 'define' is missing, as in, 
e.g., 
> #define c ( *(int *)msg->getParam( 0 ) )

A similar problem occurs in local transitions with triggers with 
parameters where the parameter is not available even in the effect
of the transition with the trigger that has the parameter (see second
attached model).