Lines Matching refs:addTransition
721 C.addTransition(State); in checkPostCall()
749 C.addTransition(State); in checkBind()
754 C.addTransition(State); in checkBind()
768 C.addTransition(State); in checkPostStmt()
849 C.addTransition(State); in checkDeadSymbols()
904 C.addTransition(State); in handleComparison()
909 C.addTransition(State); in handleComparison()
955 C.addTransition(State); in handleIncrement()
973 C.addTransition(State); in handleDecrement()
1039 C.addTransition(State); in handleRandomIncrOrDecr()
1149 C.addTransition(State); in handleBegin()
1173 C.addTransition(State); in handleEnd()
1188 C.addTransition(State); in assignToContainer()
1264 C.addTransition(State); in handleAssign()
1284 C.addTransition(State); in handleClear()
1290 C.addTransition(State); in handleClear()
1305 C.addTransition(State); in handlePushBack()
1328 C.addTransition(State); in handlePushBack()
1364 C.addTransition(State); in handlePopBack()
1380 C.addTransition(State); in handlePushFront()
1396 C.addTransition(State); in handlePushFront()
1431 C.addTransition(State); in handlePopFront()
1456 C.addTransition(State); in handleInsert()
1485 C.addTransition(State); in handleErase()
1517 C.addTransition(State); in handleErase()
1538 C.addTransition(State); in handleEraseAfter()
1552 C.addTransition(State); in handleEraseAfter()