3 #ifndef DUNE_COMMON_INDENT_HH
4 #define DUNE_COMMON_INDENT_HH
53 std::string basic_indent;
61 inline Indent(
const std::string& basic_indent_ =
" ",
unsigned level_ = 0)
62 : parent(0), basic_indent(basic_indent_), level(level_)
67 : parent(0), basic_indent(
" "), level(level_)
75 const std::string& basic_indent_ =
" ",
unsigned level_ = 1)
76 : parent(parent_), basic_indent(basic_indent_), level(level_)
81 : parent(parent_), basic_indent(
" "), level(level_)
86 return Indent(
this, newindent);
90 return Indent(parent, basic_indent, level+morelevel);
98 friend inline std::ostream&
operator<<(std::ostream& s,
106 for(
unsigned i = 0; i < indent.level; ++i)
107 s << indent.basic_indent;
115 #endif // DUNE_COMMON_INDENT_HH