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()
344   C.addTransition(State);  in checkDeadSymbols()
511       C.addTransition(State);  in processComparison()
524     C.addTransition(StateTrue);  in processComparison()
529     C.addTransition(StateFalse);  in processComparison()
556   C.addTransition(State);  in handleIncrement()
582   C.addTransition(State);  in handleDecrement()
617     C.addTransition(State);  in handleRandomIncrOrDecr()
661     C.addTransition(NewState);  in handlePtrIncrOrDecr()
692   C.addTransition(State);  in assignToContainer()