Skip to main content

handler_commits

Function handler_commits 

Source
pub fn handler_commits(agent: &AgentDecl, handler: &Handler) -> bool
Expand description

Whether handler commits: whether its body writes any of agent’s store fields anywhere, the emitter’s condition for wrapping it in the commit that checks transitions. This recomputes bynk_lower::body_writes_state syntactically; bynk-lower’s tests pin the two together (#2220).