Lines Matching refs:addTransition
211 C.addTransition(State); in checkPostCall()
241 C.addTransition(State); in checkBind()
246 C.addTransition(State); in checkBind()
300 C.addTransition(State); in checkPostStmt()
348 C.addTransition(State); in checkDeadSymbols()
516 C.addTransition(State); in processComparison()
529 C.addTransition(StateTrue); in processComparison()
534 C.addTransition(StateFalse); in processComparison()
561 C.addTransition(State); in handleIncrement()
587 C.addTransition(State); in handleDecrement()
623 C.addTransition(State); in handleRandomIncrOrDecr()
667 C.addTransition(NewState); in handlePtrIncrOrDecr()
698 C.addTransition(State); in assignToContainer()