Lines Matching refs:addTransition

210       C.addTransition(State);  in checkPostCall()
240     C.addTransition(State);  in checkBind()
245       C.addTransition(State);  in checkBind()
299   C.addTransition(State);  in checkPostStmt()
347   C.addTransition(State);  in checkDeadSymbols()
515       C.addTransition(State);  in processComparison()
528     C.addTransition(StateTrue);  in processComparison()
533     C.addTransition(StateFalse);  in processComparison()
560   C.addTransition(State);  in handleIncrement()
586   C.addTransition(State);  in handleDecrement()
622     C.addTransition(State);  in handleRandomIncrOrDecr()
666     C.addTransition(NewState);  in handlePtrIncrOrDecr()
697   C.addTransition(State);  in assignToContainer()