644                                   unsigned int Space = 0, bool IsDot = false) {  in printObjectsUnderConstructionJson()  argument
648   ++Space;  in printObjectsUnderConstructionJson()
672     Indent(Out, Space, IsDot) << "{ ";  in printObjectsUnderConstructionJson()
682     Indent(Out, --Space, IsDot) << ']'; // End of "location_context".  in printObjectsUnderConstructionJson()
691     unsigned int Space = 0, bool IsDot = false) {  in printIndicesOfElementsToConstructJson()  argument
697   ++Space;  in printIndicesOfElementsToConstructJson()
721     Indent(Out, Space, IsDot) << "{ ";  in printIndicesOfElementsToConstructJson()
745     Indent(Out, --Space, IsDot) << ']'; // End of "location_context".  in printIndicesOfElementsToConstructJson()
753                            unsigned int Space, bool IsDot) const {  in printJson()  argument
754   Indent(Out, Space, IsDot) << "\"constructing_objects\": ";  in printJson()
757     ++Space;  in printJson()
759     LCtx->printJson(Out, NL, Space, IsDot, [&](const LocationContext *LC) {  in printJson()
760       printObjectsUnderConstructionJson(Out, State, NL, LC, Space, IsDot);  in printJson()
763     --Space;  in printJson()
764     Indent(Out, Space, IsDot) << "]," << NL; // End of "constructing_objects".  in printJson()
769   Indent(Out, Space, IsDot) << "\"index_of_element\": ";  in printJson()
771     ++Space;  in printJson()
775     LCtx->printJson(Out, NL, Space, IsDot, [&](const LocationContext *LC) {  in printJson()
776       printIndicesOfElementsToConstructJson(Out, State, NL, LC, Context, Space,  in printJson()
780     --Space;  in printJson()
781     Indent(Out, Space, IsDot) << "]," << NL; // End of "index_of_element".  in printJson()
786   getCheckerManager().runCheckersForPrintStateJson(Out, State, NL, Space,  in printJson()
3515     const unsigned int Space = 1;  in getNodeLabel()  local
3521     Indent(Out, Space, IsDot) << "\"program_points\": [\\l";  in getNodeLabel()
3527           Indent(Out, Space + 1, IsDot) << "{ ";  in getNodeLabel()
3543     Indent(Out, Space, IsDot) << "],\\l";  in getNodeLabel()
3545     State->printDOT(Out, N->getLocationContext(), Space);  in getNodeLabel()