///
const static bool PRESERVE_STREAM = false;
- /// MAX_COLUMN_PAD - This is the maximum column padding we ever
- /// expect to see.
- ///
- const static unsigned MAX_COLUMN_PAD = 100;
-
private:
/// TheStream - The real stream we output to. We set it to be
/// unbuffered, since we're already doing our own buffering.
ComputeColumn(getBufferStart(), GetNumBytesInBuffer());
// Output spaces until we reach the desired column.
- unsigned num = NewCol - ColumnScanned;
- if (NewCol < ColumnScanned || num < 1)
- num = 1;
-
- // Keep a buffer of spaces handy to speed up processing.
- const char *Spaces = " "
- " ";
-
- assert(num < MAX_COLUMN_PAD && "Unexpectedly large column padding");
- write(Spaces, num);
+ indent(std::max(int(NewCol - ColumnScanned), 1));
}
void formatted_raw_ostream::write_impl(const char *Ptr, size_t Size) {