Lines Matching refs:State
28 /// State = State->set<Name>(K, V);
29 /// const Value *V = State->get<Name>(K); // Returns NULL if not in the map.
30 /// State = State->remove<Name>(K);
31 /// NameTy Map = State->get<Name>();
44 /// State = State->add<Name>(E);
45 /// State = State->remove<Name>(E);
46 /// bool Present = State->contains<Name>(E);
47 /// NameTy Set = State->get<Name>();
59 /// State = State->add<Name>(E); // Adds to the /end/ of the list.
60 /// bool Present = State->contains<Name>(E);
61 /// NameTy List = State->get<Name>();
74 /// The flag is true if the (state of the execution) has been modified
99 "We should not call the checkers on an empty state.");
115 /// the state of the program before the checker ran. Note, checkers should
116 /// not retain the node in their state since the nodes might get invalidated.
120 /// \brief Check if the checker changed the state of the execution; ex: added
199 /// \brief Generates a new transition in the program state graph
202 /// @param State The state of the generated node. If not specified, the state
208 ExplodedNode *addTransition(ProgramStateRef State = nullptr,
210 return addTransitionImpl(State ? State : getState(), false, nullptr, Tag);
216 /// @param State The state of the generated node.
220 ExplodedNode *addTransition(ProgramStateRef State,
223 return addTransitionImpl(State, false, Pred, Tag);
229 ExplodedNode *generateSink(ProgramStateRef State, ExplodedNode *Pred,
231 return addTransitionImpl(State ? State : getState(), true, Pred, Tag);
238 /// @param State The state of the generated node.
241 ExplodedNode *generateErrorNode(ProgramStateRef State = nullptr,
243 return generateSink(State, Pred,
251 /// @param State The state of the generated node.
255 generateNonFatalErrorNode(ProgramStateRef State = nullptr,
257 return addTransition(State, (Tag ? Tag : Location.getTag()));
316 ExplodedNode *addTransitionImpl(ProgramStateRef State,
320 // The analyzer may stop exploring if it sees a state it has previously
325 // state that is the same as the predecessor state has made a mistake. We
332 if (!State || (State == Pred->getState() && !Tag && !MarkAsSink))
342 node = NB.generateSink(LocalLoc, State, P);
344 node = NB.generateNode(LocalLoc, State, P);
