Home | History | Annotate | Download | only in Checkers

Lines Matching refs:StreamState

29 struct StreamState {
33 StreamState(Kind k, const Stmt *s) : K(k), S(s) {}
40 bool operator==(const StreamState &X) const {
44 static StreamState getOpened(const Stmt *s) { return StreamState(Opened, s); }
45 static StreamState getClosed(const Stmt *s) { return StreamState(Closed, s); }
46 static StreamState getOpenFailed(const Stmt *s) {
47 return StreamState(OpenFailed, s);
49 static StreamState getEscaped(const Stmt *s) {
50 return StreamState(Escaped, s);
110 struct ProgramStateTrait<StreamState>
111 : public ProgramStatePartialTrait<llvm::ImmutableMap<SymbolRef, StreamState> > {
238 stateNotNull->set<StreamState>(Sym,StreamState::getOpened(CE));
240 stateNull->set<StreamState>(Sym, StreamState::getOpenFailed(CE));
381 const StreamState *SS = state->get<StreamState>(Sym);
404 return state->set<StreamState>(Sym, StreamState::getClosed(CE));
413 const StreamState *SS = state->get<StreamState>(Sym);
433 typedef llvm::ImmutableMap<SymbolRef, StreamState> SymMap;
434 SymMap M = state->get<StreamState>();
437 StreamState SS = I->second;
463 const StreamState *SS = state->get<StreamState>(Sym);
468 state = state->set<StreamState>(Sym, StreamState::getEscaped(S));