Home | History | Annotate | Download | only in Checkers

Lines Matching defs:StreamState

31 struct StreamState {
34 StreamState(Kind InK) : K(InK) { }
40 static StreamState getOpened() { return StreamState(Opened); }
41 static StreamState getClosed() { return StreamState(Closed); }
43 bool operator==(const StreamState &X) const {
90 REGISTER_MAP_WITH_PROGRAMSTATE(StreamMap, SymbolRef, StreamState)
133 State = State->set<StreamMap>(FileDesc, StreamState::getOpened());
152 const StreamState *SS = State->get<StreamMap>(FileDesc);
159 State = State->set<StreamMap>(FileDesc, StreamState::getClosed());
163 static bool isLeaked(SymbolRef Sym, const StreamState &SS,