StaticAnalyzer/Core/DynamicType.cpp

192 static raw_ostream &printJson(const MemRegion *Region, raw_ostream &Out,
194   return Out << "\"region\": \"" << Region << "\"";
197 static raw_ostream &printJson(const SymExpr *Symbol, raw_ostream &Out,
199   return Out << "\"symbol\": \"" << Symbol << "\"";
202 static raw_ostream &printJson(const DynamicTypeInfo &DTI, raw_ostream &Out,
204   Out << "\"dyn_type\": ";
206     Out << "null";
212     Out << '\"' << ToPrint.getAsString() << "\", \"sub_classable\": "
215   return Out;
218 static raw_ostream &printJson(const DynamicCastInfo &DCI, raw_ostream &Out,
220   return Out << "\"from\": \"" << DCI.from().getAsString() << "\", \"to\": \""
226 static raw_ostream &printJson(const std::pair<T, U> &Pair, raw_ostream &Out,
228   printJson(Pair.first, Out, NL, Space, IsDot) << ", ";
229   return printJson(Pair.second, Out, NL, Space, IsDot);
234                                        raw_ostream &Out, const char *NL,
237     return Out << "null";
241   Out << '[' << NL;
245     Indent(Out, Space, IsDot) << "{ ";
246     printJson(Element, Out, NL, Space, IsDot) << " }";
249       Out << ',';
250     Out << NL;
254   return Indent(Out, Space, IsDot) << "]";
257 static raw_ostream &printJson(const CastSet &Set, raw_ostream &Out,
259   Out << "\"casts\": ";
260   return printJsonContainer(Set, Out, NL, Space, IsDot);
264 static void printJsonImpl(raw_ostream &Out, ProgramStateRef State,
271   Indent(Out, Space, IsDot) << "\"" << Name << "\": ";
272   printJsonContainer(Map, Out, NL, Space, IsDot) << "," << NL;
275 static void printDynamicTypesJson(raw_ostream &Out, ProgramStateRef State,
278   printJsonImpl<DynamicTypeMap>(Out, State, "dynamic_types", NL, Space, IsDot);
281 static void printDynamicCastsJson(raw_ostream &Out, ProgramStateRef State,
284   printJsonImpl<DynamicCastMap>(Out, State, "dynamic_casts", NL, Space, IsDot);
287 static void printClassObjectDynamicTypesJson(raw_ostream &Out,
293   printJsonImpl<DynamicClassObjectMap>(Out, State, "class_object_types", NL,
298 void printDynamicTypeInfoJson(raw_ostream &Out, ProgramStateRef State,
300   printDynamicTypesJson(Out, State, NL, Space, IsDot);
301   printDynamicCastsJson(Out, State, NL, Space, IsDot);
302   printClassObjectDynamicTypesJson(Out, State, NL, Space, IsDot);