void RangeConstraintManager::print(ProgramStateRef St, raw_ostream &Out, const char *nl, const char *sep) { ConstraintRangeTy Ranges = St->get<ConstraintRange>(); if (Ranges.isEmpty()) { Out << nl << sep << "Ranges are empty." << nl; return; } Out << nl << sep << "Ranges of symbol values:"; for (ConstraintRangeTy::iterator I = Ranges.begin(), E = Ranges.end(); I != E; ++I) { Out << nl << ' ' << I.getKey() << " : "; I.getData().print(Out); } Out << nl; }