Lines Matching refs:State
39 ProgramStateRef State = Ctx.getState();
40 const Request *const Req = State->get<RequestMap>(MR);
43 if (Req && Req->CurrentState == Request::State::Nonblocking) {
51 State = State->set<RequestMap>(MR, Request::State::Nonblocking);
52 Ctx.addTransition(State);
74 ProgramStateRef State = Ctx.getState();
80 const Request *const Req = State->get<RequestMap>(ReqRegion);
81 State = State->set<RequestMap>(ReqRegion, Request::State::Wait);
84 ErrorNode = Ctx.generateNonFatalErrorNode(State, &Tag);
85 State = ErrorNode->getState();
94 Ctx.addTransition(State);
96 Ctx.addTransition(State, ErrorNode);
102 ProgramStateRef State = Ctx.getState();
103 const auto &Requests = State->get<RequestMap>();
110 auto ReqMap = State->get<RequestMap>();
113 if (Req.second.CurrentState == Request::State::Nonblocking) {
116 ErrorNode = Ctx.generateNonFatalErrorNode(State, &Tag);
117 State = ErrorNode->getState();
122 State = State->remove<RequestMap>(Req.first);
128 Ctx.addTransition(State);
130 Ctx.addTransition(State, ErrorNode);