有感无刷电机HVBLDC_Sensored例程代码疑问

请教各位前辈，HVBLDC_Sensored的例程代码中，在F280XHALL3_GPIO.H里面有这么一段代码

我怎么感觉根本就永远不会执行HALL3_NEXT_STATE_MACRO(v)。因为只有在HALL3_DEBOUNCE_MACRO(v)中对v.EdgeDebounced 赋值，那么就是说每次进入HALL3_READ_MACRO(v))函数，v.EdgeDebounced都为0，怎么能执行HALL3_NEXT_STATE_MACRO(v)？

还请指点一下，谢谢！