将状态条从开始值变更为结束值 @param begin @param end @return
(int begin, int end)
source not stored for this graph (policy: none)
nothing calls this directly
no test coverage detected