Re: [Gems-users] sequence of transitions

[Milo Martin <milom@xxxxxxxxxxxxx>]

SLICC doesn't allow actions to trigger other events, so the ambiguous  
case you're worried about isn't possible.  As such, once a event  
triggers a specific transition (an event/state pair), all of the  
actions are executed in order and then the state transitions to the  
next state.  This all happens in the same cycle.
- Milo

On Mar 22, 2007, at 6:43 PM, Dave Z. wrote:

> Hi,
>
> Could you please help me with understanding the
> sequence of transitions? For example,
>
> transition (X, event1, Y) {
>   actionA;
>   actionB;
>   actionC;
> }
>
> If actionA triggers another event, in what order will
> the transitions take place? Does everything take place
> in the same cycle?
>
> Let's say actionA triggers event2 for transition Y>Z.
> I get invalid transitions because there is no event1
> from Y. So, I'm confused about the order of actions,
> transitions, and events.
>
> Thanks.
>
> Dave
>
> _______________________________________________
> Gems-users mailing list
> Gems-users@xxxxxxxxxxx
> https://lists.cs.wisc.edu/mailman/listinfo/gems-users
> Use Google to search the GEMS Users mailing list by adding  
> "site:https://lists.cs.wisc.edu/archive/gems-users/"; to your search.
--
Milo M. K. Martin (milom@xxxxxxxxxxxxx)
http://www.cis.upenn.edu/~milom/
Assistant Professor
Computer and Information Sciences Department
University of Pennsylvania