package tests testclass DeepEntry for statechart DeepEntry { operation enterToSubstate(){ assert x == 0 assert y == 0 assert z == 0 enter assert x == 1 assert y == 1 assert z == 2 raise e cycle assert active ( DeepEntry.r2.B.r.BB ) raise f cycle assert active ( DeepEntry.r2.C ) raise f cycle assert active ( DeepEntry.r2.B.r.BB ) assert y == 1 } }
