Lines Matching refs:DK
176 virtual void describe(DescriptionKind DK, const CallEvent &Call, in describe() argument
291 void describe(DescriptionKind DK, const CallEvent &Call,
383 void describe(DescriptionKind DK, const CallEvent &Call,
430 void describe(DescriptionKind DK, const CallEvent &Call,
488 void describe(DescriptionKind DK, const CallEvent &Call,
1060 DescriptionKind DK, const CallEvent &Call, ProgramStateRef State, in describe() argument
1066 Out << ((DK == Violation) ? "should be " : "is "); in describe()
1169 DescriptionKind DK, const CallEvent &Call, ProgramStateRef State, in describe() argument
1173 if (DK == Violation) in describe()
1217 DescriptionKind DK, const CallEvent &Call, ProgramStateRef State, in describe() argument
1221 if (DK == Violation) in describe()
1278 DescriptionKind DK, const CallEvent &Call, ProgramStateRef State, in describe() argument
1280 Out << ((DK == Violation) ? "should be " : "is "); in describe()