Searched defs:CallEvent (Results 1 – 8 of 8) sorted by relevance
375 CallEvent section in Basics of Implementation
50 bool reachedWithNoContradiction(const CallEvent &, CheckerContext &C) const { in reachedWithNoContradiction() argument54 bool reachedWithContradiction(const CallEvent &, CheckerContext &C) const { in reachedWithContradiction() argument
46 class CallEvent; variable
44 friend class CallEvent; variable
78 class CallEvent; variable178 CallEvent(const Expr *E, ProgramStateRef state, const LocationContext *lctx) in CallEvent() function181 CallEvent(const Decl *D, ProgramStateRef state, const LocationContext *lctx) in CallEvent() function185 CallEvent(const CallEvent &Original) in CallEvent() function1235 friend class CallEvent; variable
80 class CallEvent; variable
38 class CallEvent; variable
41 class CallEvent; variable