Lines Matching refs:addTransition
503 C.addTransition(StateNotNull, in evalFopen()
505 C.addTransition(StateNull); in evalFopen()
517 C.addTransition(State); in preFreopen()
561 C.addTransition(StateRetNotNull, in evalFreopen()
563 C.addTransition(StateRetNull); in evalFreopen()
584 C.addTransition(State); in evalFclose()
608 C.addTransition(State); in preFread()
627 C.addTransition(State); in preFwrite()
666 C.addTransition(State); in evalFreadFwrite()
677 C.addTransition(StateNotFailed); in evalFreadFwrite()
705 C.addTransition(StateFailed, constructSetEofNoteTag(C, StreamSym)); in evalFreadFwrite()
707 C.addTransition(StateFailed); in evalFreadFwrite()
725 C.addTransition(State); in preFseek()
765 C.addTransition(StateNotFailed); in evalFseek()
766 C.addTransition(StateFailed, constructSetEofNoteTag(C, StreamSym)); in evalFseek()
787 C.addTransition(State); in evalClearerr()
813 C.addTransition(TrueState->set<StreamMap>( in evalFeofFerror()
823 C.addTransition(FalseState->set<StreamMap>( in evalFeofFerror()
842 C.addTransition(State); in preDefault()
855 C.addTransition(State); in evalSetFeofFerror()
1011 C.addTransition(State); in reportFEofWarning()
1074 C.addTransition(State, N); in checkDeadSymbols()