1820   void printJson(raw_ostream &Out, ProgramStateRef State, const char *NL = "\n",
1825                         const char *NL = "\n", unsigned int Space = 0,
1828                                const char *NL = "\n", unsigned int Space = 0,
1831                           const char *NL = "\n", unsigned int Space = 0,
3170                                        const char *NL, unsigned int Space,  in printJson()  argument
3172   printConstraints(Out, State, NL, Space, IsDot);  in printJson()
3173   printEquivalenceClasses(Out, State, NL, Space, IsDot);  in printJson()
3174   printDisequalities(Out, State, NL, Space, IsDot);  in printJson()
3193                                               const char *NL,  in printConstraints()  argument
3200     Out << "null," << NL;  in printConstraints()
3217   Out << '[' << NL;  in printConstraints()
3224       Out << NL;  in printConstraints()
3231   Out << NL;  in printConstraints()
3234   Indent(Out, Space, IsDot) << "]," << NL;  in printConstraints()
3264                                                      const char *NL,  in printEquivalenceClasses()  argument
3271     Out << "null," << NL;  in printEquivalenceClasses()
3280   Out << '[' << NL;  in printEquivalenceClasses()
3287       Out << NL;  in printEquivalenceClasses()
3292   Out << NL;  in printEquivalenceClasses()
3295   Indent(Out, Space, IsDot) << "]," << NL;  in printEquivalenceClasses()
3300                                                 const char *NL,  in printDisequalities()  argument
3307     Out << "null," << NL;  in printDisequalities()
3326   Out << '[' << NL;  in printDisequalities()
3335       Out << NL;  in printDisequalities()
3337     Indent(Out, Space, IsDot) << "{" << NL;  in printDisequalities()
3343       Out << "," << NL;  in printDisequalities()
3344       Indent(Out, DisEqSpace, IsDot) << "\"disequal_to\": [" << NL;  in printDisequalities()
3352           Out << ',' << NL;  in printDisequalities()
3357       Out << "]" << NL;  in printDisequalities()
3361   Out << NL;  in printDisequalities()
3364   Indent(Out, Space, IsDot) << "]," << NL;  in printDisequalities()