11 #include <hilti/rt/filesystem.h> 12 #include <hilti/rt/util.h> 21 void print(
const std::string& stream,
const std::string& msg);
22 void enable(
const std::string& streams);
24 bool isEnabled(
const std::string& stream) {
return _streams.find(stream) != _streams.end(); }
26 void indent(
const std::string& stream) {
27 if ( isEnabled(stream) )
28 _streams[stream] += 1;
31 void dedent(
const std::string& stream) {
32 if ( isEnabled(stream) ) {
33 auto& indent = _streams[stream];
41 hilti::rt::filesystem::path _path;
42 std::ostream* _output =
nullptr;
43 std::unique_ptr<std::ofstream> _output_file;
44 std::map<std::string, integer::safe<uint64_t>> _streams;
Definition: debug-logger.h:17
Definition: debug-logger.h:14