
jampack: ext1.java:16: Warning state c in transition e3 declaration has not yet been defined
jampack: ext1.java:20: Warning state b in Exit declaration has not yet been defined
layer root1;

import firstPackage.*;

State_machine root extends class common  {
   Delivery_parameters( M m );
   Unrecognizable_state { ignore(m); }

   // in root
   States a, b;
   States c;

   // from ext 1
   States d;
   States e;

   // in root
   Transition e1 : a -> b 
   condition m!=null
   do { /* action 1 */ }

   Exit a { /* action a */ }

   // from ext1
   Transition e2 : d -> e 
   condition m!=null
   do { /* action 2 */ }

   Transition e3 : c -> d
   condition true
   do { /* action 3 */ }

   Exit b { /* action a */ }
}