SpaceOrIndentTo . Prepares for some more content by proper spacing
| 672 | // SpaceOrIndentTo |
| 673 | // . Prepares for some more content by proper spacing |
| 674 | void Emitter::SpaceOrIndentTo(bool requireSpace, std::size_t indent) { |
| 675 | if (m_stream.comment()) |
| 676 | m_stream << "\n"; |
| 677 | if (m_stream.col() > 0 && requireSpace) |
| 678 | m_stream << " "; |
| 679 | m_stream << IndentTo(indent); |
| 680 | } |
| 681 | |
| 682 | void Emitter::PrepareIntegralStream(std::stringstream& stream) const { |
| 683 |