Lines Matching defs:DK

176     virtual void describe(DescriptionKind DK, const CallEvent &Call,
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,
1066   Out << ((DK == Violation) ? "should be " : "is ");
1169     DescriptionKind DK, const CallEvent &Call, ProgramStateRef State,
1173   if (DK == Violation)
1217     DescriptionKind DK, const CallEvent &Call, ProgramStateRef State,
1221   if (DK == Violation)
1278     DescriptionKind DK, const CallEvent &Call, ProgramStateRef State,
1280   Out << ((DK == Violation) ? "should be " : "is ");