package tests testclass NamedInterfaceAccess for statechart NamedInterfaceAccess{ operation SafeOpenSuccess(){ enter cycle raise User.numberPressed : 3 cycle raise User.numberPressed : 7 cycle raise User.numberPressed : 5 cycle assert Safe.open } }
