test code check code oper gener except goe wrong test check gener except object obj model us case factori creat actor ocl context actor inv ocl context actor inv ocl interpret interpret ocl interpret ocl model interpret ocl interpret interpret ocl interpret ocl model interpret interpret check obj interpret check obj 