source: src/Common/Indenter.h @ 9939dc3

ADTast-experimentalpthread-emulationqualifiedEnum
Last change on this file since 9939dc3 was 9939dc3, checked in by Andrew Beach <ajbeach@…>, 2 years ago

Reduced the number of object files linked into the demangler. Some of the divisions are rather odd, Lvalue2 and FixMain2, but they should be a better base to work from. Also improved the calling of the impurity detector visitors slightly.

  • Property mode set to 100644
File size: 1.3 KB
Line 
1//
2// Cforall Version 1.0.0 Copyright (C) 2015 University of Waterloo
3//
4// The contents of this file are covered under the licence agreement in the
5// file "LICENCE" distributed with Cforall.
6//
7// Indenter.h --
8//
9// Author           : Rob Schluntz
10// Created On       : Fri Jun 30 16:55:23 2017
11// Last Modified By : Andrew Beach
12// Last Modified On : Fri May 13 14:10:00 2022
13// Update Count     : 2
14//
15
16#pragma once
17
18#include <ostream>
19
20struct Indenter {
21        static unsigned tabsize;  ///< default number of spaces in one level of indentation
22
23        unsigned int indent;      ///< number of spaces to indent
24        unsigned int amt;         ///< spaces in one level of indentation
25
26        Indenter( unsigned int indent = 0, unsigned int amt = tabsize )
27        : indent( indent ), amt( amt ) {}
28
29        Indenter & operator+=(int nlevels) { indent += nlevels; return *this; }
30        Indenter & operator-=(int nlevels) { indent -= nlevels; return *this; }
31        Indenter operator+(int nlevels) { Indenter indenter = *this; return indenter += nlevels; }
32        Indenter operator-(int nlevels) { Indenter indenter = *this; return indenter -= nlevels; }
33        Indenter & operator++() { return *this += 1; }
34        Indenter & operator--() { return *this -= 1; }
35};
36
37inline std::ostream & operator<<( std::ostream & out, const Indenter & indent ) {
38        return out << std::string(indent.indent * indent.amt, ' ');
39}
Note: See TracBrowser for help on using the repository browser.