197 static void addCastTransition(const CallEvent &Call, DefinedOrUnknownSVal DV,  in addCastTransition()
259                                     DefinedOrUnknownSVal DV,  in addInstanceOfTransition()
341                                           DefinedOrUnknownSVal DV,  in evalNonNullParamNonNullReturn()
349                                        DefinedOrUnknownSVal DV,  in evalNonNullParamNullReturn()
356                                     DefinedOrUnknownSVal DV,  in evalNullParamNullReturn()
366 void CastValueChecker::evalCast(const CallEvent &Call, DefinedOrUnknownSVal DV,  in evalCast()
372                                    DefinedOrUnknownSVal DV,  in evalDynCast()
379                                       DefinedOrUnknownSVal DV,  in evalCastOrNull()
386                                          DefinedOrUnknownSVal DV,  in evalDynCastOrNull()
398                                        DefinedOrUnknownSVal DV,  in evalZeroParamNonNullReturn()
406                                     DefinedOrUnknownSVal DV,  in evalZeroParamNullReturn()
413                                   DefinedOrUnknownSVal DV,  in evalCastAs()
418 void CastValueChecker::evalGetAs(const CallEvent &Call, DefinedOrUnknownSVal DV,  in evalGetAs()
428 void CastValueChecker::evalIsa(const CallEvent &Call, DefinedOrUnknownSVal DV,  in evalIsa()
444                                          DefinedOrUnknownSVal DV,  in evalIsaAndNonNull()
472   Optional<DefinedOrUnknownSVal> DV;  in evalCall()  local