关于此任务
例如,在以下转换中,通过 updateOcc() 事件传递的使用参数由 OccSensor 对象接收,作为 set_occStat() 操作的第二个参数传递:
updateOcc()/
OccSensor_set_occStat(me, params->occupancy);
在本例中,updateOcc() 事件转换的触发器,且 OccSensor_set_occStat() 调用是作为结果执行的操作的一部分。
换言之,当 OccSensor 对象接收参数为 1 的 updateOcc() 事件 updateOcc(1) 时,传感器的 occStat 属性由值 1 更新作为结果。