Lines Matching defs:State
40 ProgramStateRef State = Ctx.getState();
41 const Request *const Req = State->get<RequestMap>(MR);
44 if (Req && Req->CurrentState == Request::State::Nonblocking) {
52 State = State->set<RequestMap>(MR, Request::State::Nonblocking);
53 Ctx.addTransition(State);
75 ProgramStateRef State = Ctx.getState();
81 const Request *const Req = State->get<RequestMap>(ReqRegion);
82 State = State->set<RequestMap>(ReqRegion, Request::State::Wait);
85 ErrorNode = Ctx.generateNonFatalErrorNode(State, &Tag);
86 State = ErrorNode->getState();
95 Ctx.addTransition(State);
97 Ctx.addTransition(State, ErrorNode);
103 ProgramStateRef State = Ctx.getState();
104 const auto &Requests = State->get<RequestMap>();
111 auto ReqMap = State->get<RequestMap>();
114 if (Req.second.CurrentState == Request::State::Nonblocking) {
117 ErrorNode = Ctx.generateNonFatalErrorNode(State, &Tag);
118 State = ErrorNode->getState();
123 State = State->remove<RequestMap>(Req.first);
129 Ctx.addTransition(State);
131 Ctx.addTransition(State, ErrorNode);